Hacker News
Lobsters
Linked pages
- Gödel's incompleteness theorems - Wikipedia https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems 343 comments
- GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. https://github.com/magmide/magmide 220 comments
- Research Debt http://distill.pub/2017/research-debt/ 153 comments
- Halting problem - Wikipedia https://en.wikipedia.org/wiki/halting_problem#oracle_machines 129 comments
- Quanta Magazine https://www.quantamagazine.org/formal-verification-creates-hacker-proof-code-20160920/ 115 comments
- Software Foundations https://softwarefoundations.cis.upenn.edu/ 61 comments
- Query-based compiler architectures | Olle Fredriksson's blog https://ollef.github.io/blog/posts/query-based-compilers.html 40 comments
- End-to-end auditable voting systems - Wikipedia http://en.wikipedia.org/wiki/End-to-end_auditable_voting_systems 28 comments
- Provably correct software is possible and necessary - YouTube https://www.youtube.com/watch?v=Lf7ML_ErWvQ 23 comments
- Liquid Haskell Tutorial https://liquid.kosmikus.org/01-intro.html 10 comments
- Coq - Wikipedia https://en.wikipedia.org/wiki/Coq 5 comments
- InterPlanetary File System - Wikipedia https://en.wikipedia.org/wiki/InterPlanetary_File_System 3 comments
- Syntax extensions and notation scopes — Coq 8.16.0 documentation https://coq.inria.fr/refman/user-extensions/syntax-extensions.html#coq:cmd.declare-custom-entry 1 comment
- http://www0.cs.ucl.ac.uk/staff/p.ohearn/papers/Marktoberdorf11LectureNotes.pdf 0 comments
- Self-hosting (compilers) - Wikipedia https://en.wikipedia.org/wiki/Self-hosting_(compilers) 0 comments
- Tony Hoare - Wikipedia http://en.wikipedia.org/wiki/Tony_Hoare#Quotations 0 comments
- Rice's theorem - Wikipedia https://en.wikipedia.org/wiki/Rice%27s_theorem 0 comments
- Error detection and correction - Wikipedia http://en.wikipedia.org/wiki/Error_detection_and_correction 0 comments
- [2207.04034] Flux: Liquid Types for Rust https://arxiv.org/abs/2207.04034 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.