3 ms·
I'll be honest I couldn't bring myself to read the whole thing, but it leads me to hoping we never entrust vibe-coders to work on mission-critical systems...
by datameta 1y ago
I'll be honest I couldn't bring myself to read the whole thing, but it leads me to hoping we never entrust vibe-coders to work on mission-critical systems...
- deleted 1y ago[deleted]
- emchammer 1y agoTherac-25 is also on the front page right now. I like to reread the reports about that every few years, especially the human effects. Maybe we need formally-verified methods to be more accessible.
- datameta 1y agoTherac-25 is the poster child for this kind of failure mode. Formal verification and behavioral equivalences would be invaluable, I think, but I can't pretend I understand much about the underlying math of the former.