buttondown.com/hillelwayne

Latest posts

• Logic for Programmers v0.15, Livecoding

  Jun 17, 2026
• Nontrailing separators do not spark joy

  Jun 10, 2026
• Logic for Programmers extra credits

  Jun 02, 2026
• Knowing about things is cheaper than knowing things

  May 28, 2026
• Assumptions weaken properties

  May 20, 2026
• Points are a weird and inconsistent unit of measure

  May 13, 2026
• New Logic for Programmers (and the future of this newsletter)

  May 06, 2026
• Illegal vs Unwanted States

  Apr 28, 2026
• People get confused when language implementations break language guarantees

  Apr 21, 2026
• A sufficiently comprehensive spec is not (necessarily) code

  Apr 15, 2026
• April Cools Post: New York vs Chicago Pizza

  Apr 01, 2026
• Choose Boring Technology and Innovative Practices

  Mar 24, 2026
• LLMs are bad at vibing specifications

  Mar 10, 2026
• Free Books

  Mar 03, 2026
• New Blog Post: Some Silly Z3 Scripts I Wrote

  Feb 23, 2026
• Stream of Consciousness Driven Development

  Feb 18, 2026
• Proving What's Possible

  Feb 11, 2026
• Logic for Programmers New Release and Next Steps

  Feb 04, 2026
• Refinement without Specification

  Jan 20, 2026
• My Gripes with Prolog

  Jan 14, 2026
• The Liskov Substitution Principle does more than you think

  Jan 06, 2026
• Some Fun Software Facts

  Dec 10, 2025
• One more week to the Logic for Programmers Food Drive

  Nov 24, 2025
• Get Logic for Programmers 50% off & Support Chicago Foodbanks

  Nov 10, 2025
• I'm taking a break

  Oct 27, 2025
• Modal editing is a weird historical contingency we have through sheer happenstance

  Oct 21, 2025
• The Phase Change

  Oct 16, 2025
• Three ways formally verified code can go wrong in practice

  Oct 10, 2025
• New Blog Post: " A Very Early History of Algebraic Data Types"

  Sep 25, 2025
• Many Hard Leetcode Problems are Easy Constraint Problems

  Sep 10, 2025