Hillel
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q2 2026)
Newsletter: buttondown.email/hillelwayne/
- Help me settle an IRL argument. Imagine we could construct magic boxes, no bigger than a cubic meter in volume, that altered the flow of time inside them when shut. Would it be more revolutionary to society if the boxes A) slowed down time by 100x or B) sped up time by 100x?
- In the past year I went from never eating herring to it being a breakfast staple. Goddamn I love herring
- Day three of quitting all forms of scrolling cold turkey: damn this sucks
- Wrote a bit about the changes to and timeline for finishing Logic for Programmers in the newsletter buttondown.com/hillelwayne/...
- After four months of edits and multiple mental breakdowns, I am delighted to announce the release of *Logic for Programmers* v0.13! All content is in, all that's left is copyediting (and technical editing and layout and proofreading and) logicforprogrammers.com
- I used to pride myself in how fast I could code up scripts. When I can bash out an automation in half an hour, I write a lot more automations and am a lot more productive in the long run. Nowadays that skill has been rendered almost entirely obsolete by LLMs.
- Logic for Programmers now has a website! Right now it's just a redirect to the leanpub page but one day it'll have, like, "blurbs" www.logicforprogrammers.com
- Man a proof that 2 + 4 + 6 + ... + 2*n = n*(n+1) is a lot easier to follow than a proof that (1 + 2 + 3 + ... n) = n*(n+1)/2, even though both are the exact same proof with the exact same meaning
- Reposted by Hillel[Not loaded yet]
- Logic for Programmers has now passed 50,000 words, making it officially the longest text I have ever written.
- One of the things that's driving me crazy with the book is I see this great connection between the Liskov Substitution principle, database data models, and formal spec refinements, but I'm struggling to clearly convey it in the book. And now I'm worried that I'm writing it for me and not the reader
- I'm speaking at Software Should Work in July 16! Really pumped to not have to travel overseas for once :) softwareshould.work
- I hate this book I hate this book I hate this book I hate this book I hate this book
- Jesus Christ, AI journalism is so bad right now. Exhibit one, Gizmodo is raving about an article that 'proves' LLMs have a "mathematical limit" and can't possibly do tasks that are too complex. Let's look at the actual paper, shall we? gizmodo.com/ai-agents-ar...
