you are viewing a single comment's thread
view the rest of the comments
[–] 9 points 2 weeks ago (1 child)

It it is unsafe to code, full stop.

The things we're expecting our code to handle, with the lack of formal verification testing we're expecting our code to ship with, there's no such thing as safe. It took 50 years to "build the stack" to where we're at, and we did it fast and cheap. There's so many bugs hiding in the lasagna it's amazing it doesn't eat itself.

If you re-build your system from first principles, open source silicon with peer review and constant scrutiny, then the BIOS, then the OS, then the application compilers, and the libraries, all open AND reviewed by multiple concerned parties with formal demonstration of correctness all the way up - the entrenched bug filled lasagna stack owners will smother you, they can't withstand that kind of competition on an open playing field, your project will die of financial starvation, regulation, buyouts and treachery.

  • source
  • parent
  • hideshow 2 child comments
  • [–] 1 point 2 weeks ago (1 child)

    All the shortcut technical debt is coming due, especially now that there's a tool able to undertake mass analysis with fairly general rules.

    It's getting bad out there, and it's not visible on the surface but a tsunami of bug reports and patches has been sweeping the internet and drowning anything unable to swim.

    For anything that sinks underwater, metaphorically, they're getting grabbed by automated sharks that are now actively on the attack. If you're not rapidly fixing everything and monitoring everything closely you're probably being eaten alive without knowing.

  • source
  • parent
  • hideshow 2 child comments