Reliable Software in the LLM Era
Posted 3 hours ago by
mempirate
12
points
https://quint-lang.org/posts/llm_era
0
comments