Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

If we program by conjuring spirits

Name: Anonymous 2016-10-02 15:58

Where in the CPU the spirit is located?

Name: Anonymous 2016-10-05 7:09

>>6
program verification is not just typechecking though. you can formally verify whether program has rounding errors or not. you are right though - the current state of things makes testing more practical than formal verification.
Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode + RSS -