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

danodowd.com

3 pointsf1shy5 comments

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

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://www.ghs.com/

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!

Sounds like you’ve worked with their tools! Can you tell us more about them please?

I think they're more than bold claims. They're utter BS.

Reply on news.ycombinator.com