zlacker
[parent]
[thread]
0 comments
1. justab+(OP)
[view]
[source]
2026-01-27 04:34:34
We may as well have the LLMs use the hardest most provably-correct language possible
[go to top]