Viewing profile — dnmc

This has been on my mind lately! Especially in light of the many incomprehensible but machine-checkable proofs we've been hearing about. Occam's Razor is a useful heuristic, but it…

They're targeting something like a 5th grade reading level — I'm not convinced it's slop.

When you have two monitors, is your head always turned to one side? That always hurts my neck, so I wind up with the second monitor relegated to the side, where I never actually lo…

There are languages like Dafny that permit you to declare pre- and post-conditions for functions. Dafny in particular tries to automatically verify or disprove these claims with an…

Maybe this isn't what you're suggesting, but it's already possible to make an interface that prevents callers from doing math on indices in Rust — just return a struct that has a p…

And If `jj absorb` gets it wrong, you can run `jj undo`. This is such a killer feature to me. I'm not scared to start potentially gnarly rebases anymore because I can painlessly un…

In response, I expect the open-source community to make an optimal square packing window manager. https://en.wikipedia.org/wiki/Square_packing

Is this the Stephen Dolan of "mov is Turing Complete" fame?

Are you suggesting we move to C++++?

I've never verified this, but it feels like scp starts a new TCP connection per file. If that's the case, then scp-ing a tarred directory would be faster because you only hit the s…

I don't think the OP ever returned with a conclusive answer, but I'm somewhat convinced by the commenters that it was either a low-frequency engine sound rattling the neighbor's wi…

Here's another for your collection. - Putting the car in reverse sets off the neighbor's home security system. https://www.reddit.com/r/cars/comments/7k12fs/neighbors_hous...

There are yet more interesting docs in the parent directory :) https://chromium.googlesource.com/chromium/src/+/main/styleg...

Oh no! I can run it on my phone, which is a few years old, so I figured it wouldn't lock anybody's computers up. It's pretty CPU-heavy because it's constantly creating and updating…

Hah, believe me, the flamethrower feature is first in line for the v2 milestone!

Oh, those are great ideas. On that note, I was also considering simulating nutrients and rewarding the roots that find them.

This is just a goofy thing I cooked up over the weekend. It's kind of like a screensaver, but with more reading and sliders. (It's not terribly efficient, so expect phone batteries…