2025-10-25
Notes:
It's definitely an interesting approach. They defined an algorithm that is a coarse verification (their global theorem), and then defined an algorithm that verifies a shape works with such coarse verification (their local theorem). Then they had to find such a shape that works that way.
/dev/null Is an ACID
Compliant Database
Thank you @hackernews::jihadjihad for sharing
This just blows my mind, it is so utterly delightful!!!! While the basic analogy (\0 as an
electron, generally build up) is clear to me, the details (specifically the .c and .sh files) are a bit
beyond me. I will buy a coffee (or a lunch!) for someone to take my to the side and explain it to me.
Also I was slightly tickled that changes require time to resolve, just like in real circuits.
I like this comment from @hackernews::genuineresponse.