Post #2550224
2025-11-24 07:36 UTC
OH: "I think #Lean is cool because it's like they trapped a graduate student in the compiler and they just prove your array accesses are in bound for you"
@Vierkantor blink twice if you are trapped in a compiler
Replies (1)
-
@Vierkantor@mastodon.vierkantor.com 2025-11-24 07:43
@leftpaddotpy@hachyderm.io Don't worry about me, I'm not a grad student! :3