E emptysqua.re Intro to TLA+ for the LLM Era: Prompt Your Way to Victory 147 points zdw 5 months ago 35 comments
