dunham

25 ms·

271.
by dunham 3y ago
Hopefully the sync tech being developed for it is solidly open, but it's good to have access to your data regardless. The thing that always bothered me about that article is: > Notably, the object server is open source and self-host
272.
by dunham 3y ago
And it often involved a hard-fought battle with the internals of a configure script.
273.
by dunham 3y ago
I enjoyed working through "Theorem Proving in Lean 4", although it doesn't go deep into the mathematics side of things. I intend to work through "Mathematics in Lean"[2] to get more detail on that, but I want to fin
274.
by dunham 3y ago
A couple of months ago I was playing around with a similar technique, Mogensen-Scott encoding, in typescript. I was mainly interested in it as a way to express sum types without a bunch of if statements (instead a "value" of a typ
275.
by dunham 3y ago
It doesn’t look like it covers what I had to deal with to fix my Hunter Douglas blinds. (The kind you can lift and close by hand and they magically hold their position.) They have a spring loaded thing called a “motor” and something with tw
276.
by dunham 3y ago
Do you know if there were any inputs on this problem that had non-prime numbers? Like others, I used LCM in my code, but mine were all prime numbers.
277.
by dunham 3y ago
Yeah, lockdown mode might have handled it. If I'm reading the article right, the first step of the exploit was a PDF file sent with iMessage. When I tried out lockdown mode out of curiousity, I found that it was aggressive about blocki
278.
by dunham 3y ago
It's been a few decades, but I recall having to write in all caps in my high school drafting class. We were told the all caps and the letterforms we were told to use helped legibility when the drawings are stored on microfiche.
279.
by dunham 3y ago
On my iPhone I have a wireguard VPN set up with "Allowed IPs" 10.200.200.0/24 When the VPN is on, the phone directs any traffic for 10.200.200.0/24 through the VPN and the rest of the traffic through the normal network s
280.
by dunham 3y ago
I'm following Rick Bayless' directions to check the _bottom_ of the avocado and use it or put it in the refrigerator (for 3-7 days) when it gives slightly. https://www.rickbayless.com/ingredient/avocado-1&#x2F
281.
by dunham 3y ago
And before the web existed, people would distribute software packaged inside executable shell scripts ( https://en.wikipedia.org/wiki/Shar ). It looks like that practice goes back at least 40 years.
282.
by dunham 3y ago
I haven't had a chance to look at this in detail, but it reminds me of Ben Lynn's compiler. It also compiles a haskell like language to combinators, is self-hosting, and won a prize in the obfuscated C code contest. His blog descr
283.
by dunham 3y ago
The guy behind the xena project, Kevin Buzzard, recently got a grant to formalize Wiles' proof of Fermat's theorem in Lean4: https://mathstodon.xyz/@xenaproject/111170563403967905
284.
by dunham 3y ago
When I went to college in 1990 the university was still using punch cards for enrollment. You'd get a handful of cards representing yourself, then go around picking up cards that represented open spots in classes, and finally turn in
285.
by dunham 3y ago
They can't let you leave or they wouldn't be able to see where you're going.
286.
by dunham 3y ago
I would think so too. As a quick test I added chinook.db to a fresh repository, committed it, added a row to a table, committed again, and then did a git gc. The resulting pack file, with two revisions of the database, is 329k. The raw dat
287.
by dunham 3y ago
Not sure if it's what you're asking for, but in lean, you can put `sorry` to skip a proof. It's `believe_me` in Idris2, and I think the Agda version is `trustMe`. You can also use stuff like ! when you don't want to prov
288.
by dunham 3y ago
Yeah, I believe they said they intend for it to be used as a general purpose programming language. I used it to complete Advent of Code last year. There are some really interesting features for general purpose programming in there. For exam
289.
by dunham 3y ago
I remember needing 8MB to run a graphical web browser with Linux/X11 (I believe it was Netscape Navigator). 8MB was sufficient, 16MB a bit more comfortable.
290.
by dunham 3y ago
(I didn't notice the reply until now.) I like Conor McBride's writing style. But a lot of the files are stuff I want to look at someday but don't have time to read or need more background before reading. I need to sort them o
291.
by dunham 3y ago
I'd say around 10 also. For the past year, my 3 year old wanted to watch the same episode over and over and my 10 year old tried to talk her into whatever the new episode was.
292.
by dunham 3y ago
Fortunately I am not tempted by that particular bale of hay, but I do have 316 pdf files on my desktop. (Mostly about type theory.)
293.
by dunham 3y ago
I've never heard this, and I occasionally read the news. How did you hear about it?
294.
by dunham 3y ago
No, it was not using CRDTs when I last checked (more than a year ago). If you're designing for online-only, you can cheat a little and be "good enough". Setting properties is a last write (to the server) wins (set path foo on
295.
by dunham 3y ago
My ordinary grocery store has it (Kroger affiliate in the US near Seattle). I'm usually buying stew meat for saag or ground for keema or kofta, but I've cooked shanks and rack before. (I also get it from the farmer's market.
296.
by dunham 3y ago
They're expensive, too. At least when epicurious ran a similar article, they also recommended wide-mouth ball jars. The biggest problem for me is cabinet space. The jars don't stack compactly, and the glass lock tend to live up t
297.
by dunham 3y ago
I was thinking the same thing. All I could find via a quick google is: https://www.leg.state.nv.us/NRS/NRS-463.html It looks like members of the gaming control board and gaming commission must be citizens. But i
298.
by dunham 3y ago
Interesting that the colors are different for parks and water.
299.
by dunham 3y ago
I usually put grocery store basil in a glass of water on the window sill until it gets roots, and then transplant it. Basil has a tough time in the winter (not enough light). It works with sage, rosemary, thyme, and mint. I've even don
300.
by dunham 3y ago
It's interesting that this is a classroom assignment, like the sibling comment, I'd curious which university / class this was. I did the read part (+ query planning) on my own as an exercise, but I haven't gotten around

More ›