Using a graphics tablet as a programming tool (2018)(jeandavidmoisan.com)61 points by akkartik 1 year ago | 26 comments
The Hat, the Spectre and SAT Solvers (2024)(nhatcher.com)98 points by todsacerdoti 1 year ago | 8 comments
MinorMiner: We turn your kid's maths homework into Bitcoin(robertheaton.com)20 points by pimterry 1 year ago | 5 comments
We see something that works, and then we understand it(lemire.me)198 points by surprisetalk 5 months ago | 77 comments