5 ms·
Please tell me about this method of writing bug-free software and building bug-free hardware that you have; I am very interested. Can you also detect whether a
by dsr_ 9y ago
Please tell me about this method of writing bug-free software and building bug-free hardware that you have; I am very interested.
Can you also detect whether a program will loop forever?
- still_grokking 9y ago> Can you also detect whether a program will loop forever? Assumed the current state of knowledge about our universe no program will loop forever. But maybe our universe is a kind of infinite loop by itself. Who knows.
- fooker 9y agoI have an oracle machine that I'd like to sell you! ;)
- nwmcsween 9y agoI know you're just being an ass but I'll entertain you. You write post-install scripts to ensure basic functionality.
- banku_brougham 9y agoHey i wonder if such an app would be a great startup idea? The 'predict if program will terminate' one.
- still_grokking 9y agoFor a long time now many people are already working on this topic. This apps are called static program analyzers and some can prove totality of code.