https://www.philipzucker.com/ I blog regularly about egraphs, SMT solvers, assembly verification, theorem proving