corpus.blog
41,554 blogs · 5,038,968 posts Claim your blog
Record · corpus.blog/posts/01a07df4-4172-731a-9c5f-c64cc5782866

Formal methods with Hillel Wayne

Pragmatic Engineer Newsletter · published 29 July 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at newsletter.pragmaticengineer.com Wayback capture
3blogs citing
First cited
30 Jul 2026
Most recent
30 Sept 2026
Rank this month
not ranked
External links
69
Words captured
1,735

Cited by

Blog
In the post
Date
Buttondown Newsletters
What TLA+ can and can't check Read at the source ↗
30 Sept 2026
andysylvester.com
Podcast about using formal methods in software development Read at the source ↗
12 Aug 2026
Annie Vella
Verification Without Inspection Read at the source ↗
30 Jul 2026

Links from this post

Link
Host
https://youtu.be/KSkcgIYQy0U
youtu.be
https://podcasts.apple.com/us/podcast/formal-methods-with-hillel-wayne/id1769051199?i=1000778935586
podcasts.apple.com
https://open.spotify.com/episode/7pF97J4VB96PpLJdPShK7W
open.spotify.com
https://substackcdn.com/image/fetch/$s_!YCsL!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F39bdfbb4-fb73-41d8-83cb-0ca4832aed49_1280x80.png
substackcdn.com
https://antithesis.com/pragmatic
antithesis.com
https://workos.com/
workos.com
https://turbopuffer.com/pragmatic
turbopuffer.com
https://logicforprogrammers.com
logicforprogrammers.com
https://www.hillelwayne.com/tags/crossover-project/
hillelwayne.com
https://cacm.acm.org/research/how-amazon-web-services-uses-formal-methods/
cacm.acm.org
https://en.wikipedia.org/wiki/Symbolic_link
en.wikipedia.org
https://www.linkedin.com/posts/hillel-wayne_the-following-can-all-be-true-1-vibe-coders-activity-7341040574319206401-F0C6/
linkedin.com
https://www.amazon.com/First-Snap-Fit-Handbook-Creating-Attachments/dp/1569902798
amazon.com
https://www.youtube.com/watch?v=KSkcgIYQy0U
youtube.com
https://www.youtube.com/watch?v=KSkcgIYQy0U&t=272s
youtube.com
https://www.youtube.com/watch?v=KSkcgIYQy0U&t=697s
youtube.com
https://www.youtube.com/watch?v=KSkcgIYQy0U&t=930s
youtube.com
https://www.youtube.com/watch?v=KSkcgIYQy0U&t=1097s
youtube.com
https://www.youtube.com/watch?v=KSkcgIYQy0U&t=1772s
youtube.com
https://www.youtube.com/watch?v=KSkcgIYQy0U&t=2218s
youtube.com
https://www.youtube.com/watch?v=KSkcgIYQy0U&t=2290s
youtube.com
https://www.youtube.com/watch?v=KSkcgIYQy0U&t=2463s
youtube.com
https://www.youtube.com/watch?v=KSkcgIYQy0U&t=2780s
youtube.com
https://www.youtube.com/watch?v=KSkcgIYQy0U&t=3023s
youtube.com
https://www.youtube.com/watch?v=KSkcgIYQy0U&t=3170s
youtube.com
https://www.youtube.com/watch?v=KSkcgIYQy0U&t=3533s
youtube.com
https://www.youtube.com/watch?v=KSkcgIYQy0U&t=3684s
youtube.com
https://www.youtube.com/watch?v=KSkcgIYQy0U&t=3931s
youtube.com
https://www.youtube.com/watch?v=KSkcgIYQy0U&t=4349s
youtube.com
https://www.youtube.com/watch?v=KSkcgIYQy0U&t=4475s
youtube.com
https://www.youtube.com/watch?v=KSkcgIYQy0U&t=4890s
youtube.com
http://linkedin.com/in/hillel-wayne
linkedin.com
https://vanderburg.org/blog/series/real-software-engineering/
vanderburg.org
https://en.wikipedia.org/wiki/New_Austrian_tunneling_method
en.wikipedia.org
https://link.springer.com/chapter/10.1007/978-3-642-04391-8_33
link.springer.com
https://en.wikipedia.org/wiki/Time-of-check_to_time-of-use
en.wikipedia.org
LLMs are bad at vibing specifications Read at the source ↗
buttondown.com
https://www.linkedin.com/posts/hillel-wayne_the-following-can-all-be-true-1-vibe-coders-share-7341040573711073281-3V8C
linkedin.com
https://penname.co/
penname.co
https://buttondown.com/hillelwayne
buttondown.com
https://www.hillelwayne.com
hillelwayne.com
https://www.hillelwayne.com/tags/crossover-project
hillelwayne.com
https://www.amazon.com/dp/0465050654
amazon.com
https://www.amazon.com/dp/1569902798
amazon.com
https://nusmv.fbk.eu/
nusmv.fbk.eu
https://github.com/tlaplus
github.com
https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf
lamport.azurewebsites.net
https://alloytools.org
alloytools.org
https://github.com/p-org/P
github.com
https://quint.sh
quint.sh
https://www.prismmodelchecker.org
prismmodelchecker.org
https://nusmv.fbk.eu
nusmv.fbk.eu
https://buttondown.com/hillelwayne/archive/i-formally-modeled-dreidel-for-no-good-reason
buttondown.com
https://buttondown.com/hillelwayne/archive/formally-modeling-dreidel-the-sequel
buttondown.com
https://eventb-soton.github.io/en-us
eventb-soton.github.io
https://mcrl2.org/web/index.html
mcrl2.org
https://keymaerax.org
keymaerax.org
https://dafny.org
dafny.org
https://www.openjml.org
openjml.org
https://frama-c.com
frama-c.com
https://www.adacore.com/languages/spark
adacore.com
The Coming AI Revolution in Distributed Systems Read at the source ↗
zfhuang99.github.io
https://github.com/zfhuang99/lamport-agent/blob/main/spec/CRAQ/CRAQ.tla
github.com
https://claudiacauli.com/2026/03/08/my-eurosys-2026-paper-is-obsolete
claudiacauli.com
https://gwern.net/doc/technology/2004-03-30-shirky-situatedsoftware.html
gwern.net
Lamport Agent - AI-assisted Formal Specification Read at the source ↗
zfhuang99.github.io
https://www.amazon.com/dp/0262533693
amazon.com
https://www.amazon.com/dp/1935504215
amazon.com
https://www.amazon.com/Debugging-Indispensable-Software-Hardware-Problems/dp/0814474578
amazon.com
Elsewhere on newsletter.pragmaticengineer.com (7)