So what's interesting here is that programming languages have been tuned for "developer ergonomics" over correctness. What if your AI is writing F*?
https://m.primal.net/QcRt.webp
Please Login to reply.
"Regular vibe coding errors" / "Incomprehensible vibe coding errors"
😂
