4 ms·
You don’t know if your shit works just from “types”, and formal methods are not applicable to anything real. You’re arguing for the sake of argument, you know I
by ein0p 2y ago
You don’t know if your shit works just from “types”, and formal methods are not applicable to anything real. You’re arguing for the sake of argument, you know I’m right.
- akkartik 2y agoI know nothing of the sort. I'll stop arguing now.