Hacker News
Linking pages
- GitHub - rockerBOO/awesome-neovim: Collections of awesome neovim plugins. https://github.com/rockerBOO/awesome-neovim 117 comments
- Minerva: Solving Quantitative Reasoning Problems with Language Models – Google AI Blog http://ai.googleblog.com/2022/06/minerva-solving-quantitative-reasoning.html 103 comments
- Proofs about programs | Busy Beavers! https://busy-beavers.tigyog.app/proofs-about-programs 70 comments
- GitHub - xgrommx/awesome-functional-programming: Yet another resource for collecting articles, videos etc. regarding functional programming https://github.com/xgrommx/awesome-functional-programming 59 comments
- GitHub - dselsam/certigrad: Bug-free machine learning on stochastic computation graphs https://github.com/dselsam/certigrad 52 comments
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments
- TLA+ in Practice and TheoryPart 1: The Principles of TLA+ https://pron.github.io/posts/tlaplus_part1 44 comments
- A Formal Verification of Rust's Binary Search Implementation https://kha.github.io/2016/07/22/formally-verifying-rusts-binary-search.html 43 comments
- Let's Prove Leftpad https://www.hillelwayne.com/post/lpl/ 30 comments
- You Already Know Formal Methods - Galois, Inc. https://galois.com/blog/2021/10/you-already-know-formal-methods/ 17 comments
- GitHub - jozefg/learn-tt: A collection of resources for learning type theory and type theory adjacent fields. https://github.com/jozefg/learn-tt 17 comments
- Console #114 -- Interview with Martin about MoonZoon - a Rust Full Stack Framework https://console.substack.com/p/console-114?r=3cbez&s=w 10 comments
- GitHub - Kha/electrolysis: Simple verification of Rust programs via functional purification in Lean 2(!) https://github.com/kha/electrolysis 8 comments
- Should Machines Replace Mathematicians? - Scientific American https://www.scientificamerican.com/article/should-machines-replace-mathematicians/ 3 comments
- Barebones lambda cube in OCaml · GitHub https://gist.github.com/Hirrolot/89c60f821270059a09c14b940b454fd6 2 comments
- Google AI Developed a Language Model to Solve Quantitative Reasoning Problems https://www.infoq.com/news/2022/07/google-ai-minerva/ 2 comments
- GitHub - lecopivo/SciLean: Scientific computing in Lean 4 https://github.com/lecopivo/SciLean 2 comments
- The Empirical Metamathematics of Euclid and Beyond—Stephen Wolfram Writings https://writings.stephenwolfram.com/2020/09/the-empirical-metamathematics-of-euclid-and-beyond/ 1 comment
- Poleiro, the Coq blog - Quotients in Coq http://poleiro.info/posts/2019-12-25-quotients-in-coq.html 1 comment
- Console #114 -- Interview with Martin about MoonZoon - a Rust Full Stack Framework https://console.substack.com/p/console-114 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:leanprover.github.io
Search title: Lean
See how to search.