Intro to TLA+ for the LLM Era: Prompt Your Way to Victory | Hacker News

Intro to TLA+ for the LLM Era: Prompt Your Way to Victory (emptysqua.re)

123 points by zdw 3 days ago | 27 comments

Loading...