Hacker News new | ask | show | jobs
by philzook 162 days ago
https://www.philipzucker.com/ I blog regularly about egraphs, SMT solvers, assembly verification, theorem proving