Hacker News
- What I've Learned About Formal Methods in Half a Year https://jakob.space/blog/what-ive-learned-about-formal-methods.html 70 comments
Linked pages
- Home | seL4 https://sel4.systems 502 comments
- Rubber duck debugging - Wikipedia https://en.wikipedia.org/wiki/Rubber_duck_debugging 187 comments
- GitHub - emacs-lsp/lsp-mode: Emacs client/library for the Language Server Protocol https://github.com/emacs-lsp/lsp-mode/ 114 comments
- ZFS - Wikipedia http://en.wikipedia.org/wiki/zfs 76 comments
- Curry–Howard correspondence - Wikipedia https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence 63 comments
- GitHub - joaotavora/eglot: A client for Language Server Protocol servers https://github.com/joaotavora/eglot 47 comments
- Boolean satisfiability problem - Wikipedia http://en.wikipedia.org/wiki/Boolean_satisfiability_problem 45 comments
- Timsort - Wikipedia https://en.wikipedia.org/wiki/Timsort 35 comments
- http://alloytools.org/ 21 comments
- Structure and Interpretation of Computer Programs - Wikipedia https://en.wikipedia.org/wiki/Structure_and_Interpretation_of_Computer_Programs 16 comments
- Checking Firewall Equivalence with Z3 - https://ahelwer.ca/post/2018-02-13-z3-firewall/ 14 comments
- Sorting algorithm - Wikipedia http://en.wikipedia.org/wiki/Sorting_algorithm#List_of_sorting_algorithms 13 comments
- The Natural Number Game https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/ 5 comments
- Sledgehammer https://isabelle.in.tum.de/website-Isabelle2009-1/sledgehammer.html 0 comments
- GitHub - Z3Prover/FirewallChecker: A self-contained firewall checker https://github.com/Z3Prover/FirewallChecker 0 comments
Related searches:
Search whole site: site:jakob.space
Search title: What I've Learned About Formal Methods In Half a Year â Jakob's Personal Webpage
See how to search.