Following

Hillel is on Social Media Break @hillelwayne.com Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out July-ish) Newsletter: https://buttondown.email/hillelwayne/
@k4rs73n.bsky.social @k4rs73n.bsky.social