News for hackers. Stuff that matters.

A comment on Compiler Bug Causes Compiler Bug: How a 12-Year-Old G++ Bug Took Down Solidity. Parent comment

Re:Compiler Bug Causes Compiler Bug: How a 12-Year-Old G++ B... by saghm on Saturday August 16, 2025 @04:56PM (#44926873)
I guess I'm just skeptical that writing more code to try to protect against code being buggy will result in a system that works better than what we have today. Software with tests written for it still has plenty of bugs, after all.
[ Parent | on HN ]
Re:Compiler Bug Causes Compiler Bug: How a 12-Year-Old G++ B... by charcircuit on Saturday August 16, 2025 @05:01PM (#44926900)
Expecting code to be perfect and code complete the first time around is typically a losing bet.
[ Parent | on HN ]
Re:Compiler Bug Causes Compiler Bug: How a 12-Year-Old G++ B... by saghm on Saturday August 16, 2025 @08:13PM (#44927894)
I completely agree, which is why I don't think that contracts should be expressed in code in the first place. You have to spend a lot of effort up front just to reach parity with contractual systems that don't rely on code, and even if you get to that point, it's not really clear to me what benefits you'd get over what we have today.
[ Parent | on HN ]