Hacker Neus
Intro to TLA+ for the LLM Era: Prompt Your Way to Victory
(emptysqua.re)
124 points
by zdw
3 days ago |
27 comments
