5 ms·

Source for Software That Never Fails and Can't Be Hacked

• f1shy 2y ago
  These are BOLD claims: I can program any system so it will never fail I can find every bug in any program I write The last time I couldn’t find a bug, it was 1975
  • vintagedave 2y ago
    Yes they are. But they also claim to have written and maintain a RTOS, a C++20-supporting compiler, to have worked with Nintendo, ARM and the DoD, and on Boeing software. And they seem to have invented or at least implemented a time travel debugger six years before GDB. https://en.wikipedia.org/wiki/Green_Hills_Software https://en.wikipedia.org/wiki/Green_Hills_Software https://www.ghs.com/ https://www.ghs.com/
    • f1shy 2y ago
      The RTOS is just a scheduler (no memory mngmt) C++20 my ass! You have to ve lucky to get working C++14 features. The output code is SLOW!
      • vintagedave 2y ago
        Sounds like you’ve worked with their tools! Can you tell us more about them please?
  • JohnFen 2y ago
    I think they're more than bold claims. They're utter BS.