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

by zdw | View on Hacker News