Pinned
So here's the biggest thing that happened to me since I was last here: I wrote a book!
*Logic for Programmers* is about math, software, and using one to fix the other. Available in PDF, epub, and print!
Hillel
@hillelogram
Developer educator at @AntithesisHQ. Formal methods, software history, chocolatiering.
Newsletter: is.gd/zWfYjd
Book: logicforprogrammers.com
