Neural Nets vs. Cellular Automata (nets-vs-automata.net)
46 points by todsacerdoti 2d ago 5 comments
Reverse Engineering All the Raspberry Pis (jeffgeerling.com)
91 points by speckx 13h ago 20 comments
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
2 galapago 0 8/25/2025, 2:20:46 PM github.com ↗
No comments yet