dnmc

8 ms·

1.
by dnmc 3mo ago
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 biases us towards simpler explanations.
2.
by dnmc 3mo ago
They're targeting something like a 5th grade reading level — I'm not convinced it's slop.
3.
by dnmc 4mo ago
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 look at it.
4.
by dnmc 4mo ago
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 SMT solver. It would be neat if LLMs could read a human-wri
5.
by dnmc 5mo ago
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 private member for the index. The caller can
6.
by dnmc 5mo ago
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 undo.
7.
by dnmc 5mo ago
In response, I expect the open-source community to make an optimal square packing window manager. https://en.wikipedia.org/wiki/Square_packing
8.
by dnmc 6mo ago
Is this the Stephen Dolan of "mov is Turing Complete" fame?
9.
by dnmc 6mo ago
Are you suggesting we move to C++++?
10.
by dnmc 8mo ago
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 slow start once. https://www.rfc-editor.
11.
by dnmc 8mo ago
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 windows or something to do with the car's
12.
by dnmc 8mo ago
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...
13.
by dnmc 8mo ago
There are yet more interesting docs in the parent directory :) https://chromium.googlesource.com/chromium/src/+/main/styleg...
14.
by dnmc 8mo ago
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 SVG elements. I may attempt to rewrite
15.
by dnmc 8mo ago
Hah, believe me, the flamethrower feature is first in line for the v2 milestone!
16.
by dnmc 8mo ago
Oh, those are great ideas. On that note, I was also considering simulating nutrients and rewarding the roots that find them.
17.
Show HN: Artificial Ivy in the Browser(da.nmcardle.com)
96 points by dnmc 8mo ago|18 comments