https://blossom.primal.net/022e9c160480e756d80fc35178a79f937b70f9804b26952b30c28ce612f3590e.webp
Discussion
So what's interesting here is that programming languages have been tuned for "developer ergonomics" over correctness. What if your AI is writing F*?