Comment by tkz1312
4 hours ago
the only substantive difference I've noticed is between languages with a proof system and those without, where with a proof system is orders of magnitude better for agentic work.
4 hours ago
the only substantive difference I've noticed is between languages with a proof system and those without, where with a proof system is orders of magnitude better for agentic work.
No comments yet
Contribute on Hacker News ↗