Hacker Next
The Hat, the Spectre and SAT Solvers (2024)nhatcher.com
76 points by todsacerdoti 10 hours ago | 4 comments