Record · corpus.blog/posts/01a0875a-d765-735f-9f36-cd4642879f71

LLMs are bad at vibing specifications

Buttondown Newsletters · published 10 March 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 buttondown.com Wayback capture

3blogs citing

First cited: 23 Mar 2026
Most recent: 29 Jul 2026
Rank this month: not ranked
Links from this post: 19
Words captured: 1,223

Cited by

Blog

In the post

Date

Pragmatic Engineer Newsletter

Formal methods with Hillel Wayne Read at the source ↗

29 Jul 2026

A. Jesse Jiryu Davis

Intro to TLA+ for the LLM Era: Prompt Your Way to Victory Read at the source ↗

13 May 2026

Murat Demirbas

TLA+ mental models Read at the source ↗

23 Mar 2026

Murat Demirbas

TLA+ mental models Read at the source ↗

23 Mar 2026

Links from this post

Link

Host

https://qconlondon.com/

qconlondon.com

https://buttondown.com/hillelwayne/archive/ai-is-a-gamechanger-for-tla-users/

buttondown.com

https://github.com/search?q=path%3A*.tla+NOT+is%3Afork+claude&type=code

github.com

https://github.com/myProjectsRavi/sentinel-protocol/tree/main/docs/formal/specs

github.com

https://github.com/myProjectsRavi/sentinel-protocol/blob/main/docs/formal/specs/threat-intel-mesh.als

github.com

https://alloy.readthedocs.io/en/latest/modules/boolean.html

alloy.readthedocs.io

https://github.com/myProjectsRavi/sentinel-protocol/blob/main/docs/formal/specs/serialization-firewall.tla

github.com

https://buttondown.com/hillelwayne/archive/some-tests-are-stronger-than-others/

buttondown.com

Prediction: AI will make formal verification go mainstream Read at the source ↗

martin.kleppmann.com

https://leodemoura.github.io/blog/2026/02/28/when-ai-writes-the-worlds-software.html

leodemoura.github.io

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://github.com/deepseek-ai/3FS/tree/main/specs/DataStorage

github.com

https://www.hillelwayne.com/post/safety-and-liveness/

hillelwayne.com

https://www.hillelwayne.com/post/action-properties/

hillelwayne.com

https://logicforprogrammers.com

logicforprogrammers.com

https://leanpub.com/logic/c/E5A55F7B482C3

leanpub.com

https://leanpub.com/logic/c/ADC664C95B6D1

leanpub.com

https://leanpub.com/logic/c/U1250212A9070

leanpub.com