corpus.blog
41554 blogs · [ { "id": "01a07d5d-7083-71fc-8037-c846b5f74de9", "title": "A Crash Course in Predicate Logic", "url": "https://www.hillelwayne.com/post/predicate-logic/", "published_at": "2026-09-01T00:00:00+00:00" }, { "id": "01a07d5d-7083-71fc-8037-c846b6380c88", "title": "Logic for Programmers is Now Available", "url": "https://www.hillelwayne.com/post/lfp/", "published_at": "2026-07-29T00:00:00+00:00" }, { "id": "01a07d5d-7083-71fc-8037-c846b7285f46", "title": "Chicago vs New York Pizza is the Wrong Argument", "url": "https://www.hillelwayne.com/post/pizza/", "published_at": "2026-04-01T00:00:00+00:00" }, { "id": "01a07d5d-7083-71fc-8037-c846b7ddee11", "title": "Some Silly Z3 Scripts I Wrote", "url": "https://www.hillelwayne.com/post/z3-examples/", "published_at": "2026-02-23T00:00:00+00:00" }, { "id": "01a07d5d-7083-71fc-8037-c846b86e9ca6", "title": "A Very Early History of Algebraic Data Types", "url": "https://www.hillelwayne.com/post/algdt-history/", "published_at": "2025-09-25T00:00:00+00:00" }, { "id": "01a07d5d-7084-712a-9bad-83e4201bcd31", "title": "Gamer Games for Non-Gamers", "url": "https://www.hillelwayne.com/post/vidja-games/", "published_at": "2025-04-01T00:00:00+00:00" }, { "id": "01a07d5d-7084-712a-9bad-83e420badcb9", "title": "A Perplexing Javascript Parsing Puzzle", "url": "https://www.hillelwayne.com/post/javascript-puzzle/", "published_at": "2025-03-12T00:00:00+00:00" }, { "id": "01a07d5d-7084-712a-9bad-83e421271ed9", "title": "The Hierarchy of Controls (or how to stop devs from dropping prod)", "url": "https://www.hillelwayne.com/post/hoc/", "published_at": "2025-03-04T00:00:00+00:00" }, { "id": "01a07d5d-7084-712a-9bad-83e421b00ebf", "title": "Hiatus", "url": "https://www.hillelwayne.com/post/hiatus/", "published_at": "2024-09-11T00:00:00+00:00" }, { "id": "01a07d5d-7084-712a-9bad-83e42282b71d", "title": "Toolbox languages", "url": "https://www.hillelwayne.com/post/toolbox-languages/", "published_at": "2024-07-15T00:00:00+00:00" }, { "id": "01a07d5d-7084-712a-9bad-83e4232e18fb", "title": "Composing TLA+ Specifications with State Machines", "url": "https://www.hillelwayne.com/post/composing-tla/", "published_at": "2024-06-17T00:00:00+00:00" }, { "id": "01a07d5d-7084-712a-9bad-83e42374e151", "title": "What We Know We Don't Know: Empirical Software Engineering", "url": "https://www.hillelwayne.com/talks/ese/ddd/", "published_at": "2024-05-29T00:00:00+00:00" }, { "id": "01a07d5d-7084-712a-9bad-83e42410c3e1", "title": "Comment Section: Software Friction", "url": "https://www.hillelwayne.com/comments/software-friction/", "published_at": "2024-05-14T00:00:00+00:00" }, { "id": "01a07d5d-7084-712a-9bad-83e42440471f", "title": "Software Friction", "url": "https://www.hillelwayne.com/post/software-friction/", "published_at": "2024-05-01T00:00:00+00:00" }, { "id": "01a07d5d-7084-712a-9bad-83e4245b3aa6", "title": "Don't let Alloy facts make your specs a fiction", "url": "https://www.hillelwayne.com/post/alloy-facts/", "published_at": "2024-04-10T00:00:00+00:00" }, { "id": "01a07d5d-7084-712a-9bad-83e4248524ae", "title": "How old is the name 'Daniel'?", "url": "https://www.hillelwayne.com/post/tale-of-daniel/", "published_at": "2024-04-01T00:00:00+00:00" }, { "id": "01a07d5d-7084-712a-9bad-83e424f93499", "title": "Comment Section: The Hunt For The Missing Data Type", "url": "https://www.hillelwayne.com/comments/graph-types/", "published_at": "2024-03-18T00:00:00+00:00" }, { "id": "01a0b5c4-9b20-7379-86fd-342a8bb4f02d", "title": "Ten weird things you can buy online (and why you would)", "url": "https://www.hillelwayne.com/post/weird-things-you-can-buy/", "published_at": "2023-04-01T00:00:00+00:00" }, { "id": "01a0b5c4-9b20-7379-86fd-342a8f0ba207", "title": "I ❤️ Microscopes", "url": "https://hillelwayne.com/post/microscopy/", "published_at": "2022-04-01T00:00:00+00:00" }, { "id": "01a0e27c-7917-71c8-8319-807364ece5a7", "title": "Performance Matters", "url": "https://www.hillelwayne.com/post/performance-matters/", "published_at": "2019-08-09T16:15:43+00:00" } ] posts Claim your blog
Back to Hillel Wayne
Blog · corpus.blog/blogs/hillelwayne.com/posts

Hillel Wayne

hillelwayne.com

2026

A Crash Course in Predicate Logicoriginal ↗
1 Sept 2026
Logic for Programmers is Now Availableoriginal ↗
29 Jul 2026
Chicago vs New York Pizza is the Wrong Argumentoriginal ↗
1 Apr 2026
Some Silly Z3 Scripts I Wroteoriginal ↗
23 Feb 2026

2025

A Very Early History of Algebraic Data Typesoriginal ↗
25 Sept 2025
Gamer Games for Non-Gamersoriginal ↗
1 Apr 2025
A Perplexing Javascript Parsing Puzzleoriginal ↗
12 Mar 2025
The Hierarchy of Controls (or how to stop devs from dropping prod)original ↗
4 Mar 2025

2024

Hiatusoriginal ↗
11 Sept 2024
Toolbox languagesoriginal ↗
15 Jul 2024
Composing TLA+ Specifications with State Machinesoriginal ↗
17 Jun 2024
What We Know We Don't Know: Empirical Software Engineeringoriginal ↗
29 May 2024
Comment Section: Software Frictionoriginal ↗
14 May 2024
Software Frictionoriginal ↗
1 May 2024
Don't let Alloy facts make your specs a fictionoriginal ↗
10 Apr 2024
How old is the name 'Daniel'?original ↗
1 Apr 2024
Comment Section: The Hunt For The Missing Data Typeoriginal ↗
18 Mar 2024

2023

Ten weird things you can buy online (and why you would)original ↗
1 Apr 2023

2022

I ❤️ Microscopesoriginal ↗
1 Apr 2022

2019

Performance Mattersoriginal ↗
9 Aug 2019