Hacker News
- The Software Foundations: mathematical underpinnings of reliable software https://softwarefoundations.cis.upenn.edu/ 24 comments
- Software Foundations https://softwarefoundations.cis.upenn.edu/ 22 comments
- Equivalent of Software Foundations for learning OCaml? https://softwarefoundations.cis.upenn.edu/ 8 comments ocaml
Linking pages
- 1/0 = 0 • Hillel Wayne https://www.hillelwayne.com/post/divide-by-zero/ 850 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
- Formally Verifying Rust's Opaque Types | dylanj.xyz https://dylanj.xyz/posts/rust-coq-opaque-types/ 66 comments
- bollu.github.io/stuff-i-learnt-this-year-2018.md at master · bollu/bollu.github.io · GitHub https://github.com/bollu/blog/blob/master/content/blog/stuff-i-learnt-this-year-2018.md#introduction 19 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/blainehansen/magma 18 comments
- You Already Know Formal Methods - Galois, Inc. https://galois.com/blog/2021/10/you-already-know-formal-methods/ 17 comments
- PLV@MIT – Untangling mechanized proofs https://plv.csail.mit.edu/blog/alectryon.html 16 comments
- Making PL Ideas Accessible: An Open-Source, Open-Access, Interactive Journal | SIGPLAN Blog https://blog.sigplan.org/2021/04/13/making-pl-ideas-accessible-an-open-source-open-access-interactive-journal/ 1 comment
- GitHub - err0r500/foundational-knowledge-for-programmers: List of resources about foundational knowledge for programmers (supposed to last a few decades) https://github.com/err0r500/foundational-knowledge-for-programmers 1 comment
- Mechanized Proofs for PL: Past, Present, and Future | SIGPLAN Blog https://blog.sigplan.org/2020/01/29/mechanized-proofs-for-pl-past-present-and-future/ 0 comments
- The Curry-Howard Correspondence | Grant Jurgensen https://grant.jurgensen.dev/2022/01/08/CurryHoward.html 0 comments
- GitHub - stepchowfun/proofs: My personal repository of formally verified mathematics. https://github.com/stepchowfun/proofs 0 comments
- GitHub - coq-community/awesome-coq: A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog] https://github.com/coq-community/awesome-coq 0 comments
- GitHub - jeanqasaur/learn-programming-languages: Resources for the working programmer to learn more about the fundamentals and theory of programming languages. https://github.com/jeanqasaur/learn-programming-languages 0 comments
- Meetups in the U.S.A!. One unbeatable perk of living in the… | by Pramod Biligiri | Pramod Biligiri’s Blog | Medium https://medium.com/pramod-biligiris-blog/meetups-in-the-u-s-a-3b1e9a79ac32 0 comments
Related searches:
Search whole site: site:softwarefoundations.cis.upenn.edu
Search title: Software Foundations
See how to search.