https://buttondown.com/hillelwayne/archive/the-llms-yearn-for-the-spines/2026-09-16monthlyhttps://buttondown.com/hillelwayne/archive/new-post-a-crash-course-in-predicate-logic/2026-09-01monthlyhttps://buttondown.com/hillelwayne/archive/vim-wants-you-to-control-vscode-wants-you-to/2026-08-18monthlyhttps://buttondown.com/hillelwayne/archive/logic-for-programmers-is-done/2026-07-29monthlyhttps://buttondown.com/hillelwayne/archive/im-still-alive/2026-07-14monthlyhttps://buttondown.com/hillelwayne/archive/logic-for-programmers-v015-livecoding/2026-06-17monthlyhttps://buttondown.com/hillelwayne/archive/nontrailing-separators-do-not-spark-joy/2026-06-10monthlyhttps://buttondown.com/hillelwayne/archive/logic-for-programmers-extra-credits/2026-06-02monthlyhttps://buttondown.com/hillelwayne/archive/knowing-about-things-is-cheaper-than-knowing/2026-05-28monthlyhttps://buttondown.com/hillelwayne/archive/assumptions-weaken-properties/2026-05-20monthlyhttps://buttondown.com/hillelwayne/archive/points-are-a-weird-and-inconsistent-unit-of/2026-05-13monthlyhttps://buttondown.com/hillelwayne/archive/new-logic-for-programmers-and-the-future-of-this/2026-05-06monthlyhttps://buttondown.com/hillelwayne/archive/illegal-vs-unwanted-states/2026-04-28monthlyhttps://buttondown.com/hillelwayne/archive/people-get-confused-when-language-implementations/2026-04-21monthlyhttps://buttondown.com/hillelwayne/archive/a-sufficiently-comprehensive-spec-is-not/2026-04-15monthlyhttps://buttondown.com/hillelwayne/archive/april-cools-post-new-york-vs-chicago-pizza/2026-04-01monthlyhttps://buttondown.com/hillelwayne/archive/choose-boring-technology-and-innovative-practices/2026-03-24monthlyhttps://buttondown.com/hillelwayne/archive/llms-are-bad-at-vibing-specifications/2026-03-10monthlyhttps://buttondown.com/hillelwayne/archive/free-books/2026-03-03monthlyhttps://buttondown.com/hillelwayne/archive/new-blog-post-some-silly-z3-scripts-i-wrote/2026-02-23monthlyhttps://buttondown.com/hillelwayne/archive/stream-of-consciousness-driven-development/2026-02-18monthlyhttps://buttondown.com/hillelwayne/archive/proving-whats-possible/2026-02-11monthlyhttps://buttondown.com/hillelwayne/archive/logic-for-programmers-new-release-and-next-steps/2026-02-04monthlyhttps://buttondown.com/hillelwayne/archive/refinement-without-specification/2026-01-20monthlyhttps://buttondown.com/hillelwayne/archive/my-gripes-with-prolog/2026-01-14monthlyhttps://buttondown.com/hillelwayne/archive/the-liskov-substitution-principle-does-more-than/2026-01-06monthlyhttps://buttondown.com/hillelwayne/archive/some-fun-software-facts/2025-12-10monthlyhttps://buttondown.com/hillelwayne/archive/one-more-week-to-the-logic-for-programmers-food/2025-11-24monthlyhttps://buttondown.com/hillelwayne/archive/get-logic-for-programmers-50-off-support-chicago/2025-11-10monthlyhttps://buttondown.com/hillelwayne/archive/im-taking-a-break/2025-10-27monthlyhttps://buttondown.com/hillelwayne/archive/modal-editing-is-a-weird-historical-contingency/2025-10-21monthlyhttps://buttondown.com/hillelwayne/archive/the-phase-change/2025-10-16monthlyhttps://buttondown.com/hillelwayne/archive/three-ways-formally-verified-code-can-go-wrong-in/2025-10-10monthlyhttps://buttondown.com/hillelwayne/archive/new-blog-post-a-very-early-history-of-algebraic/2025-09-25monthlyhttps://buttondown.com/hillelwayne/archive/many-hard-leetcode-problems-are-easy-constraint/2025-09-10monthlyhttps://buttondown.com/hillelwayne/archive/the-angels-and-demons-of-nondeterminism/2025-09-04monthlyhttps://buttondown.com/hillelwayne/archive/logical-duals-in-software-engineering/2025-08-27monthlyhttps://buttondown.com/hillelwayne/archive/sapir-whorf-does-not-apply-to-programming/2025-08-21monthlyhttps://buttondown.com/hillelwayne/archive/software-books-i-wish-i-could-read/2025-08-06monthlyhttps://buttondown.com/hillelwayne/archive/2000-words-about-arrays-and-tables/2025-07-30monthlyhttps://buttondown.com/hillelwayne/archive/programming-language-escape-hatches/2025-07-24monthlyhttps://buttondown.com/hillelwayne/archive/maybe-writing-speed-actually-is-a-bottleneck-for/2025-07-17monthlyhttps://buttondown.com/hillelwayne/archive/logic-for-programmers-turns-one/2025-07-08monthlyhttps://buttondown.com/hillelwayne/archive/logical-quantifiers-in-software/2025-07-02monthlyhttps://buttondown.com/hillelwayne/archive/you-can-cheat-a-test-suite-with-a-big-enough/2025-06-24monthlyhttps://buttondown.com/hillelwayne/archive/solving-linkedin-queens-with-smt/2025-06-12monthlyhttps://buttondown.com/hillelwayne/archive/ai-is-a-gamechanger-for-tla-users/2025-06-05monthlyhttps://buttondown.com/hillelwayne/archive/what-does-undecidable-mean-anyway/2025-05-28monthlyhttps://buttondown.com/hillelwayne/archive/finding-hard-24-puzzles-with-planner-programming/2025-05-20monthlyhttps://buttondown.com/hillelwayne/archive/modeling-awkward-social-situations-with-tla/2025-05-14monthlyhttps://buttondown.com/hillelwayne/archive/write-the-most-clever-code-you-possibly-can/2025-05-08monthlyhttps://buttondown.com/hillelwayne/archive/requirements-change-until-they-dont/2025-04-24monthlyhttps://buttondown.com/hillelwayne/archive/the-halting-problem-is-a-terrible-example-of-np/2025-04-16monthlyhttps://buttondown.com/hillelwayne/archive/solving-a-layton-puzzle-with-prolog/2025-04-08monthlyhttps://buttondown.com/hillelwayne/archive/april-cools-gaming-games-for-non-gamers/2025-04-01monthlyhttps://buttondown.com/hillelwayne/archive/betteridges-law-of-software-engineering/2025-03-26monthlyhttps://buttondown.com/hillelwayne/archive/verification-first-development/2025-03-18monthlyhttps://buttondown.com/hillelwayne/archive/new-blog-post-a-perplexing-javascript-parsing/2025-03-12monthlyhttps://buttondown.com/hillelwayne/archive/five-kinds-of-nondeterminism/2025-02-19monthlyhttps://buttondown.com/hillelwayne/archive/are-efficiency-and-horizontal-scalability-at-odds/2025-02-12monthlyhttps://buttondown.com/hillelwayne/archive/what-hard-thing-does-your-tech-make-easy/2025-01-29monthlyhttps://buttondown.com/hillelwayne/archive/the-jugglers-curse/2025-01-22monthlyhttps://buttondown.com/hillelwayne/archive/what-are-the-rosettas-of-formal-specification/2025-01-15monthlyhttps://buttondown.com/hillelwayne/archive/logic-for-programmers-project-update/2025-01-07monthlyhttps://buttondown.com/hillelwayne/archive/formally-modeling-dreidel-the-sequel/2024-12-18monthlyhttps://buttondown.com/hillelwayne/archive/stroustrups-rule/2024-12-11monthlyhttps://buttondown.com/hillelwayne/archive/hyperproperties/2024-11-19monthlyhttps://buttondown.com/hillelwayne/archive/five-unusual-raku-features/2024-11-12monthlyhttps://buttondown.com/hillelwayne/archive/a-list-of-ternary-operators/2024-11-05monthlyhttps://buttondown.com/hillelwayne/archive/tla-from-first-principles/2024-10-22monthlyhttps://buttondown.com/hillelwayne/archive/be-suspicious-of-success/2024-10-16monthlyhttps://buttondown.com/hillelwayne/archive/how-to-convince-engineers-that-formal-methods-is/2024-10-08monthlyhttps://buttondown.com/hillelwayne/archive/refactoring-invariants/2024-09-24monthlyhttps://buttondown.com/hillelwayne/archive/goodharts-law-in-software-engineering/2024-09-17monthlyhttps://buttondown.com/hillelwayne/archive/why-not-comments/2024-09-10monthlyhttps://buttondown.com/hillelwayne/archive/what-could-be-added-to-tla/2024-09-04monthlyhttps://buttondown.com/hillelwayne/archive/state-and-time-are-the-same-thing/2024-08-27monthlyhttps://buttondown.com/hillelwayne/archive/an-idea-for-teaching-formal-methods-better/2024-08-21monthlyhttps://buttondown.com/hillelwayne/archive/texttools-dot-py/2024-08-14monthlyhttps://buttondown.com/hillelwayne/archive/why-i-prefer-rst-to-markdown/2024-07-31monthlyhttps://buttondown.com/hillelwayne/archive/my-patented-miracle-tonic-would-have-prevented/2024-07-23monthlyhttps://buttondown.com/hillelwayne/archive/keep-perfecting-your-config/2024-07-16monthlyhttps://buttondown.com/hillelwayne/archive/logic-for-programmers-now-in-early-access/2024-07-08monthlyhttps://buttondown.com/hillelwayne/archive/solving-a-math-problem-with-planner-programming/2024-07-02monthlyhttps://buttondown.com/hillelwayne/archive/a-brief-introduction-to-interval-arithmetic/2024-06-25monthlyhttps://buttondown.com/hillelwayne/archive/logic-for-programmers-update/2024-06-21monthlyhttps://buttondown.com/hillelwayne/archive/new-blog-post-composing-tla-specifications/2024-06-17monthlyhttps://buttondown.com/hillelwayne/archive/nondeterminism-in-formal-specification/2024-06-11monthlyhttps://buttondown.com/hillelwayne/archive/ive-been-thinking-about-tradeoffs-all-wrong/2024-06-05monthlyhttps://buttondown.com/hillelwayne/archive/nocode-will-not-bring-computing-to-the-masses/2024-05-21monthlyhttps://buttondown.com/hillelwayne/archive/what-i-look-for-in-empirical-software-papers/2024-05-16monthlyhttps://buttondown.com/hillelwayne/archive/paradigms-succeed-when-you-can-scavenge-from/2024-05-07monthlyhttps://buttondown.com/hillelwayne/archive/integration-tests-are-just-vibes/2024-05-01monthlyhttps://buttondown.com/hillelwayne/archive/testing-can-show-the-presence-of-bugs-but-not-the/2024-04-23monthlyhttps://buttondown.com/hillelwayne/archive/what-makes-concurrency-so-hard/2024-04-16monthlyhttps://buttondown.com/hillelwayne/archive/some-notes-on-for-loops/2024-04-10monthlyhttps://buttondown.com/hillelwayne/archive/why-do-regexes-use-and-as-line-anchors/2024-03-25monthlyhttps://buttondown.com/hillelwayne/archive/what-if-the-spec-doesnt-match-the-code/2024-03-19monthlyhttps://buttondown.com/hillelwayne/archive/what-mob-programming-is-bad-at/2024-03-14monthlyhttps://buttondown.com/hillelwayne/archive/how-to-advocate-something-without-any-scientific/2024-03-06monthlyhttps://buttondown.com/hillelwayne/archive/know-of-the-right-tool-for-the-job/2024-02-27monthlyhttps://buttondown.com/hillelwayne/archive/planning-vs-model-checking/2024-02-20monthlyhttps://buttondown.com/hillelwayne/archive/strings-do-too-many-things/2024-02-08monthlyhttps://buttondown.com/hillelwayne/archive/what-does-tla-mean-anyway/2024-01-30monthlyhttps://buttondown.com/hillelwayne/archive/github-search-for-research-and-learning/2024-01-24monthlyhttps://buttondown.com/hillelwayne/archive/unusual-basis-types-in-programming-languages/2024-01-17monthlyhttps://buttondown.com/hillelwayne/archive/why-all-is-true-prod-is-1-etc/2024-01-09monthlyhttps://buttondown.com/hillelwayne/archive/advice-for-new-software-devs-whove-read-all-those/2023-12-19monthlyhttps://buttondown.com/hillelwayne/archive/i-formally-modeled-dreidel-for-no-good-reason/2023-12-12monthlyhttps://buttondown.com/hillelwayne/archive/when-would-you-ever-want-bubblesort/2023-12-04monthlyhttps://buttondown.com/hillelwayne/archive/how-do-you-take-the-average-of-two-timestamps/2023-11-10monthlyhttps://buttondown.com/hillelwayne/archive/some-thoughts-on-software-expertise/2023-11-07monthlyhttps://buttondown.com/hillelwayne/archive/i-shouldnt-be-so-harsh-on-teaching-tla-with/2023-11-02monthlyhttps://buttondown.com/hillelwayne/archive/raku-is-surprisingly-good-for-clis/2023-10-26monthlyhttps://buttondown.com/hillelwayne/archive/i-wish-people-would-do-historical-arguments-better/2023-10-24monthlyhttps://buttondown.com/hillelwayne/archive/some-thoughts-on-good-spec-properties/2023-10-10monthlyhttps://buttondown.com/hillelwayne/archive/picat-is-my-favorite-new-toolbox-language/2023-10-03monthlyhttps://buttondown.com/hillelwayne/archive/did-brendan-eich-really-make-javascript-in-10-days/2023-09-28monthlyhttps://buttondown.com/hillelwayne/archive/formal-methods-cant-fix-everything-and-thats-okay/2023-09-26monthlyhttps://buttondown.com/hillelwayne/archive/the-best-model-checker-is-your-head/2023-09-19monthlyhttps://buttondown.com/hillelwayne/archive/if-you-work-on-a-big-language-id-like-to-talk/2023-09-13monthlyhttps://buttondown.com/hillelwayne/archive/time-zones-are-hard-because-people-are-hard/2023-09-04monthlyhttps://buttondown.com/hillelwayne/archive/my-painful-futile-quest-for-programmable/2023-08-29monthlyhttps://buttondown.com/hillelwayne/archive/educational-codebases/2023-08-21monthlyhttps://buttondown.com/hillelwayne/archive/turing-kicked-us-out-of-heaven/2023-08-14monthlyhttps://buttondown.com/hillelwayne/archive/symmetric-properties/2023-08-10monthlyhttps://buttondown.com/hillelwayne/archive/raku-a-language-for-gremlins/2023-08-07monthlyhttps://buttondown.com/hillelwayne/archive/github-has-too-many-hidden-features/2023-07-31monthlyhttps://buttondown.com/hillelwayne/archive/queryability-and-the-sublime-mediocrity-of-sql/2023-07-21monthlyhttps://buttondown.com/hillelwayne/archive/more-software-projects-need-defenses-of-design/2023-07-18monthlyhttps://buttondown.com/hillelwayne/archive/in-defense-of-slow-feedback-loops/2023-07-11monthlyhttps://buttondown.com/hillelwayne/archive/what-chocolatiering-taught-me-about-programming/2023-07-07monthlyhttps://buttondown.com/hillelwayne/archive/programming-language-perversity/2023-06-30monthlyhttps://buttondown.com/hillelwayne/archive/maybe-software-engineers-could-learn-something/2023-06-26monthlyhttps://buttondown.com/hillelwayne/archive/agile-is-people-the-rest-is-commentary/2023-06-21monthlyhttps://buttondown.com/hillelwayne/archive/some-tests-are-stronger-than-others/2023-06-14monthlyhttps://buttondown.com/hillelwayne/archive/whats-lives-between-a-set-and-a-sequence/2023-06-09monthlyhttps://buttondown.com/hillelwayne/archive/tech-sneering-the-wildernesss-and-the-magic-of/2023-06-06monthlyhttps://buttondown.com/hillelwayne/archive/in-defense-of/2023-05-31monthlyhttps://buttondown.com/hillelwayne/archive/mostly-announcements-and-plans-but-also-some-fun/2023-05-16monthlyhttps://buttondown.com/hillelwayne/archive/problems-harder-than-np-complete/2023-05-11monthlyhttps://buttondown.com/hillelwayne/archive/the-seven-specification-ur-languages/2023-05-09monthlyhttps://buttondown.com/hillelwayne/archive/when-to-prefer-inheritance-to-composition/2023-05-05monthlyhttps://buttondown.com/hillelwayne/archive/some-of-my-workshop-teaching-tricks/2023-05-02monthlyhttps://buttondown.com/hillelwayne/archive/gpt4-should-be-part-of-your-toolkit/2023-04-25monthlyhttps://buttondown.com/hillelwayne/archive/in-defense-of-no-codes-potential/2023-04-21monthlyhttps://buttondown.com/hillelwayne/archive/what-tla-cant-check/2023-04-17monthlyhttps://buttondown.com/hillelwayne/archive/i-really-like-powershell/2023-04-11monthlyhttps://buttondown.com/hillelwayne/archive/the-capability-tractability-tradeoff/2023-04-04monthlyhttps://buttondown.com/hillelwayne/archive/recycling-hotel-keycards/2023-04-01monthlyhttps://buttondown.com/hillelwayne/archive/everythings-an-api/2023-03-28monthlyhttps://buttondown.com/hillelwayne/archive/gpt-is-revolutionary/2023-03-24monthlyhttps://buttondown.com/hillelwayne/archive/ergonomic-apis-channel-invariants-and-data-views/2023-03-22monthlyhttps://buttondown.com/hillelwayne/archive/making-memes/2023-03-16monthlyhttps://buttondown.com/hillelwayne/archive/how-much-can-you-code/2023-03-13monthlyhttps://buttondown.com/hillelwayne/archive/formalizing-stability-and-resilience-properties/2023-03-08monthlyhttps://buttondown.com/hillelwayne/archive/predicate-logic-for-programmers-status-report/2023-03-06monthlyhttps://buttondown.com/hillelwayne/archive/hype-cycles-arent-gaslighting-you/2023-03-02monthlyhttps://buttondown.com/hillelwayne/archive/teaching-implication-better/2023-02-27monthlyhttps://buttondown.com/hillelwayne/archive/code-review-vs-code-proofreading/2023-02-20monthlyhttps://buttondown.com/hillelwayne/archive/programming-ais-worry-me/2023-02-16monthlyhttps://buttondown.com/hillelwayne/archive/maybe-people-do-care-about-performance-and/2023-02-13monthlyhttps://buttondown.com/hillelwayne/archive/creatively-misusing-tla/2023-02-07monthlyhttps://buttondown.com/hillelwayne/archive/improve-your-debugging-by-asking-broad-questions/2023-02-02monthlyhttps://buttondown.com/hillelwayne/archive/tag-systems/2023-01-30monthlyhttps://buttondown.com/hillelwayne/archive/new-workshop-some-data-ish-pipeline-tricks/2023-01-23monthlyhttps://buttondown.com/hillelwayne/archive/funny-programming-languages/2023-01-19monthlyhttps://buttondown.com/hillelwayne/archive/use-the-wrong-tool-for-the-job/2023-01-17monthlyhttps://buttondown.com/hillelwayne/archive/in-defense-of-testing-mocks/2023-01-09monthlyhttps://buttondown.com/hillelwayne/archive/microfeatures-id-like-to-see-in-more-languages/2023-01-05monthlyhttps://buttondown.com/hillelwayne/archive/why-modeling-finds-bugs-without-model-checking/2023-01-02monthlyhttps://buttondown.com/hillelwayne/archive/bugs-that-literally-cost-money/2022-12-21monthlyhttps://buttondown.com/hillelwayne/archive/2022-in-review/2022-12-19monthlyhttps://buttondown.com/hillelwayne/archive/universal-se-topics/2022-12-13monthlyhttps://buttondown.com/hillelwayne/archive/making-chatgpt-useful/2022-12-07monthlyhttps://buttondown.com/hillelwayne/archive/i-am-disappointed-by-dynamic-typing/2022-11-29monthlyhttps://buttondown.com/hillelwayne/archive/lets-prove-leftpad-content-aggregation/2022-11-16monthlyhttps://buttondown.com/hillelwayne/archive/why-do-we-call-it-boilerplate-code/2022-11-14monthlyhttps://buttondown.com/hillelwayne/archive/notes-on-every-strangeloop-2022-talk-i-attended-8693/2022-11-02monthlyhttps://buttondown.com/hillelwayne/archive/software-moves-6713/2022-11-01monthlyhttps://buttondown.com/hillelwayne/archive/software-isomorphisms/2022-10-25monthlyhttps://buttondown.com/hillelwayne/archive/teaching-accidental-and-essential-complexity/2022-10-18monthlyhttps://buttondown.com/hillelwayne/archive/what-a-wedding-taught-me-about-software/2022-10-12monthlyhttps://buttondown.com/hillelwayne/archive/i-am-a-sql-injection-attack-5019/2022-10-04monthlyhttps://buttondown.com/hillelwayne/archive/snippet-praxis/2022-09-27monthlyhttps://buttondown.com/hillelwayne/archive/new-article-the-five-minute-feedback-fix-7080/2022-09-19monthlyhttps://buttondown.com/hillelwayne/archive/on-the-benefits-of-humanities-in-software/2022-09-14monthlyhttps://buttondown.com/hillelwayne/archive/data-invariants/2022-09-07monthlyhttps://buttondown.com/hillelwayne/archive/giving-names-to-things/2022-08-30monthlyhttps://buttondown.com/hillelwayne/archive/why-do-arrays-start-at-0/2022-08-23monthlyhttps://buttondown.com/hillelwayne/archive/i-have-complicated-feelings-about-tdd-8403/2022-08-16monthlyhttps://buttondown.com/hillelwayne/archive/excel-is-pretty-dang-cool/2022-08-12monthlyhttps://buttondown.com/hillelwayne/archive/search-less-browse-more-7595/2022-08-02monthlyhttps://buttondown.com/hillelwayne/archive/information-camouflage/2022-07-26monthlyhttps://buttondown.com/hillelwayne/archive/on-metafiles/2022-07-19monthlyhttps://buttondown.com/hillelwayne/archive/six-programming-languages-id-like-to-see/2022-07-13monthlyhttps://buttondown.com/hillelwayne/archive/beyond-the-four-document-model/2022-07-06monthlyhttps://buttondown.com/hillelwayne/archive/the-new-learntla-is-now-online/2022-07-01monthlyhttps://buttondown.com/hillelwayne/archive/updates-on-learntla/2022-06-16monthlyhttps://buttondown.com/hillelwayne/archive/reader-mailbag-june-crunch-edition/2022-05-26monthlyhttps://buttondown.com/hillelwayne/archive/codebases-as-communication/2022-05-16monthlyhttps://buttondown.com/hillelwayne/archive/how-to-memorize-a-larger-multiplication-table/2022-05-03monthlyhttps://buttondown.com/hillelwayne/archive/technology-changes-fast/2022-04-25monthlyhttps://buttondown.com/hillelwayne/archive/update-on-learntla-and-a-new-writing-process/2022-04-22monthlyhttps://buttondown.com/hillelwayne/archive/software-mise-en-place/2022-04-18monthlyhttps://buttondown.com/hillelwayne/archive/you-can-automate-more-than-you-think/2022-04-13monthlyhttps://buttondown.com/hillelwayne/archive/the-esotech-lit-gap/2022-04-04monthlyhttps://buttondown.com/hillelwayne/archive/take-back-april-fools-also-new-post/2022-04-01monthlyhttps://buttondown.com/hillelwayne/archive/the-software-iron-triangle/2022-03-29monthlyhttps://buttondown.com/hillelwayne/archive/i-finally-found-a-use-for-xml/2022-03-21monthlyhttps://buttondown.com/hillelwayne/archive/that-time-indiana-almost-made-p-32/2022-03-14monthlyhttps://buttondown.com/hillelwayne/archive/the-parable-of-the-crow/2022-03-08monthlyhttps://buttondown.com/hillelwayne/archive/software-im-thankful-for/2022-03-01monthlyhttps://buttondown.com/hillelwayne/archive/a-short-treatise-on-bugs/2022-02-21monthlyhttps://buttondown.com/hillelwayne/archive/website-haitus-info-on-the-learntla-rewrite/2022-02-14monthlyhttps://buttondown.com/hillelwayne/archive/why-you-should-read-data-and-reality/2022-02-07monthlyhttps://buttondown.com/hillelwayne/archive/regexes-are-cool-and-good/2022-01-31monthlyhttps://buttondown.com/hillelwayne/archive/software-artifacts-and-programming-vs-engineering/2022-01-25monthlyhttps://buttondown.com/hillelwayne/archive/please-stop-falling-for-conspiracy-theories/2022-01-11monthlyhttps://buttondown.com/hillelwayne/archive/the-outside-view/2022-01-03monthlyhttps://buttondown.com/hillelwayne/archive/2nd-annual-end-of-year-essay-retrospective/2021-12-27monthlyhttps://buttondown.com/hillelwayne/archive/sup-nerds-we-doin-a-mailbag/2021-12-20monthlyhttps://buttondown.com/hillelwayne/archive/uncomfortable-truths-in-software-engineering/2021-12-14monthlyhttps://buttondown.com/hillelwayne/archive/a-better-explanation-of-the-monty-hall-problem/2021-12-09monthlyhttps://buttondown.com/hillelwayne/archive/new-post-alloy-6-its-about-time/2021-11-29monthlyhttps://buttondown.com/hillelwayne/archive/principles-of-software-evangelism/2021-11-22monthlyhttps://buttondown.com/hillelwayne/archive/alloy-6-first-impressions/2021-11-15monthlyhttps://buttondown.com/hillelwayne/archive/documentation-could-be-so-much-better/2021-11-10monthlyhttps://buttondown.com/hillelwayne/archive/finding-alloys-niche/2021-11-01monthlyhttps://buttondown.com/hillelwayne/archive/a-very-brief-splash-writeup/2021-10-25monthlyhttps://buttondown.com/hillelwayne/archive/the-myth-of-self-documenting-code/2021-10-18monthlyhttps://buttondown.com/hillelwayne/archive/defense-in-depth-is-actually-a-good-thing/2021-10-14monthlyhttps://buttondown.com/hillelwayne/archive/new-essay-and-thoughts-on-clickfarm/2021-10-11monthlyhttps://buttondown.com/hillelwayne/archive/jewmain-driven-design/2021-10-04monthlyhttps://buttondown.com/hillelwayne/archive/optimizing-state-spaces-with-combinatorics/2021-09-27monthlyhttps://buttondown.com/hillelwayne/archive/there-was-no-formal-methods-winter/2021-09-20monthlyhttps://buttondown.com/hillelwayne/archive/how-acoup-made-me-a-better-programmer-5857/2021-09-14monthlyhttps://buttondown.com/hillelwayne/archive/hiatus-3357/2021-08-16monthlyhttps://buttondown.com/hillelwayne/archive/art-vs-engineering/2021-08-09monthlyhttps://buttondown.com/hillelwayne/archive/algorithm-monocultures/2021-08-02monthlyhttps://buttondown.com/hillelwayne/archive/i-ing-hate-science/2021-07-19monthlyhttps://buttondown.com/hillelwayne/archive/program-spaces-and-interesting-counterexamples/2021-07-12monthlyhttps://buttondown.com/hillelwayne/archive/10-misconceptions-about-formal-methods/2021-07-05monthlyhttps://buttondown.com/hillelwayne/archive/what-is-a-specification/2021-06-29monthlyhttps://buttondown.com/hillelwayne/archive/physical-vs-logical-time/2021-06-21monthlyhttps://buttondown.com/hillelwayne/archive/comment-the-why-and-the-what/2021-06-14monthlyhttps://buttondown.com/hillelwayne/archive/designing-software-with-predicate-logic/2021-06-10monthlyhttps://buttondown.com/hillelwayne/archive/users-are-nondeterministic-agents-of-chaos/2021-06-07monthlyhttps://buttondown.com/hillelwayne/archive/predicate-logic-for-programmers/2021-06-01monthlyhttps://buttondown.com/hillelwayne/archive/scaffolding-tla/2021-05-20monthlyhttps://buttondown.com/hillelwayne/archive/new-essay-some-thoughts-on-method-vs-process/2021-05-18monthlyhttps://buttondown.com/hillelwayne/archive/esolangs/2021-05-04monthlyhttps://buttondown.com/hillelwayne/archive/can-formal-methods-succeed-where-uml-failed/2021-04-30monthlyhttps://buttondown.com/hillelwayne/archive/why-uml-really-died/2021-04-27monthlyhttps://buttondown.com/hillelwayne/archive/the-jame-of-life/2021-04-21monthlyhttps://buttondown.com/hillelwayne/archive/grind-smarter-not-harder/2021-04-19monthlyhttps://buttondown.com/hillelwayne/archive/reject-simplicity-embrace-complexity/2021-04-07monthlyhttps://buttondown.com/hillelwayne/archive/function-sets-and-specification/2021-04-05monthlyhttps://buttondown.com/hillelwayne/archive/why-property-testing-finds-bugs-unit-testing-does/2021-04-01monthlyhttps://buttondown.com/hillelwayne/archive/some-rambling-about-structured-text-940/2021-03-29monthlyhttps://buttondown.com/hillelwayne/archive/the-antipattern-scripting-language/2021-03-27monthlyhttps://buttondown.com/hillelwayne/archive/a-binder-full-of-questions/2021-03-22monthlyhttps://buttondown.com/hillelwayne/archive/no-seriously-hate-your-tools/2021-03-16monthlyhttps://buttondown.com/hillelwayne/archive/vim-is-turing-complete/2021-03-08monthlyhttps://buttondown.com/hillelwayne/archive/code-is-data-is-yaml/2021-03-01monthlyhttps://buttondown.com/hillelwayne/archive/new-post-blub-studies-and-theorycrafting/2021-02-25monthlyhttps://buttondown.com/hillelwayne/archive/j-as-a-desktop-calculator/2021-02-22monthlyhttps://buttondown.com/hillelwayne/archive/naming-things-is-a-poor-name-for-naming-things/2021-02-16monthlyhttps://buttondown.com/hillelwayne/archive/no-reasoning-about-code-is-not-a-scam/2021-02-01monthlyhttps://buttondown.com/hillelwayne/archive/adversarial-nondeterminism/2021-01-30monthlyhttps://buttondown.com/hillelwayne/archive/new-essay-are-we-really-engineers/2021-01-18monthlyhttps://buttondown.com/hillelwayne/archive/how-i-got-into-formal-methods/2021-01-11monthlyhttps://buttondown.com/hillelwayne/archive/write-code-that-delivers-value-to-clients/2021-01-01monthlyhttps://buttondown.com/hillelwayne/archive/100th-issue-end-of-year-bonanza/2020-12-28monthlyhttps://buttondown.com/hillelwayne/archive/cross-branch-testing/2020-12-21monthlyhttps://buttondown.com/hillelwayne/archive/the-most-important-video-game-ever-made/2020-12-14monthlyhttps://buttondown.com/hillelwayne/archive/oracle-testing/2020-12-07monthlyhttps://buttondown.com/hillelwayne/archive/safety-and-liveness-properties/2020-11-30monthlyhttps://buttondown.com/hillelwayne/archive/computer-things-vacation-phone-in-edition/2020-11-23monthlyhttps://buttondown.com/hillelwayne/archive/knights-puzzles-and-hypermodels/2020-11-16monthlyhttps://buttondown.com/hillelwayne/archive/why-i-still-use-vim/2020-11-11monthlyhttps://buttondown.com/hillelwayne/archive/no-your-clean-code-wont-save-the-planet/2020-11-05monthlyhttps://buttondown.com/hillelwayne/archive/programs-writing-programs/2020-11-03monthlyhttps://buttondown.com/hillelwayne/archive/tla-helped-me-count-to-six/2020-10-26monthlyhttps://buttondown.com/hillelwayne/archive/the-pendulum-swings-eternal/2020-10-19monthlyhttps://buttondown.com/hillelwayne/archive/edge-case-poisoning/2020-10-12monthlyhttps://buttondown.com/hillelwayne/archive/we-have-met-the-excelnemy-and-he-is-us/2020-10-06monthlyhttps://buttondown.com/hillelwayne/archive/mystery-knowledge-worskshop-discount/2020-09-28monthlyhttps://buttondown.com/hillelwayne/archive/software-engineers-dont-have-disciplines/2020-09-22monthlyhttps://buttondown.com/hillelwayne/archive/updates-on-the-crossover-project/2020-09-14monthlyhttps://buttondown.com/hillelwayne/archive/write-notes-for-your-code/2020-09-10monthlyhttps://buttondown.com/hillelwayne/archive/that-time-i-almost-joined-a-software-cult/2020-09-08monthlyhttps://buttondown.com/hillelwayne/archive/formal-specification-languages/2020-08-28monthlyhttps://buttondown.com/hillelwayne/archive/please-read-the-paper-before-you-comment/2020-08-24monthlyhttps://buttondown.com/hillelwayne/archive/whats-the-deal-with-message-passing-anyway/2020-08-21monthlyhttps://buttondown.com/hillelwayne/archive/new-essay-and-a-very-peculiar-optimization/2020-08-14monthlyhttps://buttondown.com/hillelwayne/archive/new-workshop-test-inference/2020-08-11monthlyhttps://buttondown.com/hillelwayne/archive/how-knowing-math-helps-you-write-better-software/2020-08-03monthlyhttps://buttondown.com/hillelwayne/archive/syntax-highlighting-is-a-waste-of-an-information/2020-07-20monthlyhttps://buttondown.com/hillelwayne/archive/merchants-on-the-ivory-road/2020-07-14monthlyhttps://buttondown.com/hillelwayne/archive/i-have-become-ideas-guy/2020-07-07monthlyhttps://buttondown.com/hillelwayne/archive/situated-software/2020-07-03monthlyhttps://buttondown.com/hillelwayne/archive/why-you-should-always-blindly-chase-industry/2020-06-29monthlyhttps://buttondown.com/hillelwayne/archive/new-tla-workshop-new-pbt-essay/2020-06-20monthlyhttps://buttondown.com/hillelwayne/archive/monads-and-transducers-are-literally-100-the-same/2020-06-15monthlyhttps://buttondown.com/hillelwayne/archive/some-ranting-about-examples/2020-06-03monthlyhttps://buttondown.com/hillelwayne/archive/defects-are-not-the-fault-of-programmers/2020-05-27monthlyhttps://buttondown.com/hillelwayne/archive/workshop-innovations-and-new-website-essay/2020-05-18monthlyhttps://buttondown.com/hillelwayne/archive/if-inheritance-is-so-bad-why-does-everyone-use-it/2020-05-15monthlyhttps://buttondown.com/hillelwayne/archive/new-essay-in-praise-of-autohotkey/2020-05-13monthlyhttps://buttondown.com/hillelwayne/archive/rage-against-the-god-machine/2020-05-08monthlyhttps://buttondown.com/hillelwayne/archive/how-i-write-talks/2020-05-04monthlyhttps://buttondown.com/hillelwayne/archive/new-essay-office-hours-and-a-short-essay/2020-04-28monthlyhttps://buttondown.com/hillelwayne/archive/this-newsletter-is-too-popular/2020-04-21monthlyhttps://buttondown.com/hillelwayne/archive/making-illegal-states-unrepresentable/2020-04-17monthlyhttps://buttondown.com/hillelwayne/archive/announcing-alloydocs-updates-on-major-projects/2020-04-13monthlyhttps://buttondown.com/hillelwayne/archive/a-very-brief-intro-to-formal-methods-aka-my-job/2020-04-06monthlyhttps://buttondown.com/hillelwayne/archive/whats-the-most-expensive-software-per-byte/2020-04-02monthlyhttps://buttondown.com/hillelwayne/archive/language-warts-and-vim-trix/2020-03-30monthlyhttps://buttondown.com/hillelwayne/archive/please-dont-write-your-documentation-in-markdown/2020-03-23monthlyhttps://buttondown.com/hillelwayne/archive/special-purpose-languages/2020-03-18monthlyhttps://buttondown.com/hillelwayne/archive/on-customization/2020-03-11monthlyhttps://buttondown.com/hillelwayne/archive/online-workshops-project-updates-new-post/2020-03-09monthlyhttps://buttondown.com/hillelwayne/archive/the-opposite-of-documentation-is-superstition/2020-03-05monthlyhttps://buttondown.com/hillelwayne/archive/on-scaling-mental-models/2020-02-24monthlyhttps://buttondown.com/hillelwayne/archive/donald-knuth-was-framed/2020-02-22monthlyhttps://buttondown.com/hillelwayne/archive/happy-precedence-day/2020-02-17monthlyhttps://buttondown.com/hillelwayne/archive/new-essay-feature-interaction-bugs/2020-02-05monthlyhttps://buttondown.com/hillelwayne/archive/project-updates-request-for-help-braindump/2020-02-03monthlyhttps://buttondown.com/hillelwayne/archive/on-emulation/2020-01-29monthlyhttps://buttondown.com/hillelwayne/archive/new-essay-the-business-case-for-formal-methods/2020-01-23monthlyhttps://buttondown.com/hillelwayne/archive/a-totally-polished-and-not-at-all-half-baked-take/2020-01-20monthlyhttps://buttondown.com/hillelwayne/archive/three-ways-juggling-is-like-programming/2020-01-17monthlyhttps://buttondown.com/hillelwayne/archive/new-essay-intentional-errors-and-a-tla-cli/2020-01-13monthlyhttps://buttondown.com/hillelwayne/archive/bill-kentstravaganza/2020-01-10monthlyhttps://buttondown.com/hillelwayne/archive/updates-on-the-too-many-projects/2020-01-06monthlyhttps://buttondown.com/hillelwayne/archive/back-up-your-arguments-plz/2020-01-03monthlyhttps://buttondown.com/hillelwayne/archive/on-marketing-formal-methods/2019-12-30monthlyhttps://buttondown.com/hillelwayne/archive/why-python-is-my-favorite-language/2019-12-27monthlyhttps://buttondown.com/hillelwayne/archive/computer-things-yow-roundup-edition/2019-12-16monthlyhttps://buttondown.com/hillelwayne/archive/science-turf-war/2019-11-25monthlyhttps://buttondown.com/hillelwayne/archive/new-essay-also-workshop-field-notes/2019-11-22monthlyhttps://buttondown.com/hillelwayne/archive/a-few-smaller-updates/2019-11-15monthlyhttps://buttondown.com/hillelwayne/archive/what-is-a-beautiful-proof/2019-11-11monthlyhttps://buttondown.com/hillelwayne/archive/back-on-windows/2019-11-08monthlyhttps://buttondown.com/hillelwayne/archive/canonical-examples/2019-11-04monthlyhttps://buttondown.com/hillelwayne/archive/we-are-not-special/2019-10-30monthlyhttps://buttondown.com/hillelwayne/archive/new-post-plus-upkeep/2019-10-28monthlyhttps://buttondown.com/hillelwayne/archive/automation-vs-augmentation/2019-10-21monthlyhttps://buttondown.com/hillelwayne/archive/software-isnt-designed-for-power-users/2019-10-16monthlyhttps://buttondown.com/hillelwayne/archive/data-and-reality-2nd-edition/2019-10-14monthlyhttps://buttondown.com/hillelwayne/archive/on-documentation/2019-10-11monthlyhttps://buttondown.com/hillelwayne/archive/new-post-formally-modeling-database-migrations/2019-10-09monthlyhttps://buttondown.com/hillelwayne/archive/on-hating-your-tools/2019-10-04monthlyhttps://buttondown.com/hillelwayne/archive/the-kind-of-thing-this-is-gonna-be/2019-10-03monthlyhttps://buttondown.com/hillelwayne2019-10-03monthlyhttps://buttondown.com/hillelwayne/archive/2019-10-03monthly