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

 (emptysqua.re)

145 points | by zdw 4 days ago

35 comments