Lobsters
- Why Writing Correct Software Is Hard (2016) https://pron.github.io/posts/correctness-and-complexity 3 comments compilers , formalmethods , math
Linking pages
- GitHub - glyh/awesome-pl-concepts: An menu/quick reference for Programming Language concepts https://github.com/glyh/awesome-pl-concepts 21 comments
- GitHub - polendri/awesome-dev-articles: A collection of awesome articles that are relevant to software developers. https://github.com/pshendry/awesome-dev-articles 13 comments
- People Don't Write Programs https://pron.github.io/posts/people-dont-write-programs 1 comment
Linked pages
- Shtetl-Optimized » Blog Archive » The 8000th Busy Beaver number eludes ZF set theory: new paper by Adam Yedidia and me http://www.scottaaronson.com/blog/?p=2725 275 comments
- CompCert - Main page http://compcert.inria.fr/ 191 comments
- http://blog.paralleluniverse.co/2015/08/07/scoped-continuations/ 130 comments
- The Gödel Letter | Gödel's Lost Letter and P=NP http://rjlipton.wordpress.com/the-gdel-letter/ 122 comments
- Infrastructure as code would be easy if we cared - No Fun Allowed http://m50d.github.io/2015/09/23/infrastructure-as-code-would-be-easy.html 106 comments
- Busy beaver - Wikipedia http://en.wikipedia.org/wiki/Busy_beaver 62 comments
- Boolean satisfiability problem - Wikipedia http://en.wikipedia.org/wiki/Boolean_satisfiability_problem 45 comments
- http://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf 33 comments
- Tower of Hanoi - Wikipedia http://en.wikipedia.org/wiki/tower_of_hanoi#four_pegs_and_beyond 28 comments
- https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-yuan.pdf 15 comments
- http://www.paultaylor.eu/stable/prot.pdf 8 comments
- State space visualization examples - ProB Documentation https://www3.hhu.de/stups/prob/index.php/State_space_visualization_examples 5 comments
- Zermelo–Fraenkel set theory - Wikipedia https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory 0 comments
- Time hierarchy theorem - Wikipedia https://en.wikipedia.org/wiki/Time_hierarchy_theorem 0 comments
- Milner Symposium 2012 http://events.inf.ed.ac.uk/Milner2012/J_Harrison-html5-mp4.html 0 comments
- Shtetl-Optimized » Blog Archive » Rosser’s Theorem via Turing machines http://www.scottaaronson.com/blog/?p=710 0 comments
- Rice's theorem - Wikipedia https://en.wikipedia.org/wiki/Rice%27s_theorem 0 comments
- Mythical Man-Month, The: Essays on Software Engineering, Anniversary Edition: Brooks Jr., Frederick: 8580001065793: Amazon.com: Books http://www.amazon.com/The-Mythical-Man-Month-Engineering-Anniversary/dp/0201835959 0 comments
- Temporal logic - Wikipedia https://en.wikipedia.org/wiki/Temporal_logic 0 comments
- Sean McDirmid - The Future of Programming will be Live - Curry On - YouTube https://www.youtube.com/watch?v=bnqkglrSqrg 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:pron.github.io
Search title: Why Writing Correct Software Is Hard
See how to search.