Hacker News new | ask | show | jobs
by t43562 37 days ago
Software does allow errors hence, IMO, we overload the complexity and "underload" the proof of correctness. We're not really that afraid of failures most of the time.

Vibe code a bridge! Arf. I am sure someone will.