- A New Crisis in Mathematics?
- The HoTT Game
- Ask HN: Which important problem are you working on?
- "The PlusCal Tutorial" by Leslie Lamport
- What are some good resources for learning about the calculus of constructions?
- Did Bertrand Russell’s more rigorous ‘bottom up’ reconstruction of basic arithmetic lead to any significant novel results?
- Propositional logic exercises with the lean theorem prover
- Why is simplicity so unreasonably effective at scientific explanation?
- This is just an attempt I'm trying to get better at writing proofs I know I'm an idiot so please be constructive if you are criticizing
- Tongue-in-cheek summaries of areas of mathematics
- Galois Groups and the Symmetries of Polynomials
- Is there a program/website that can create and organize lists of mathematical theorems?
- Mathematicians welcome computer-assisted proof in ‘grand unification’ theory
- What are some SOLVED mysteries?
- Learn coq or agda before diving into idris2?
- ITS MOCHIZUKI TIME
- Is there a book like Russell's Principia Mathematica but for modern day mathematics?
- A simple ray tracer in Lean 4
- Why do you think Scala isn't more popular?
- Recently i started Problems in Mathematical Analysis 1: Real Numbers, Sequences and Series by Kaczor Nowak. Its problems are very tough. So i need some books which have a huge amount of hard problems on sequence and series in the examples. Do you know any
- Scala usage in the industry / real world