🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.org·13h·
Discuss: Hacker News
📐Document Calculus
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
dev.to·7h·
Discuss: DEV
🔗Topological Sorting
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·1d·
Discuss: Hacker News
🔤Type Theory
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.com·1d
💎Information Crystallography
The future of microoptimization
goldenstack.net·1d·
Discuss: Hacker News
🧮Compute Optimization
[D] Math foundations to understand Convergence proofs?
reddit.com·3d·
Discuss: r/MachineLearning
🎯Performance Proofs
On training binary neural networks
kevinmartinjose.com·1h
📊Quantization
Claude Code
michal.sapka.pl·1d
🦀Rust Macros
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·3d·
Discuss: Hacker News
💧Liquid Types
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·1h·
Discuss: Hacker News
💻Programming languages
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·4d
🔤Type Theory
My Lobsters Interview
susam.net·2d
⚙️Proof Engineering
Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
arxiv.org·3d
📝ABNF Parsing
Choosing Rust for LLM-generated code
runmat.org·2d·
Discuss: Hacker News
🦀Rust Macros
An Afternoon at the Recursive Café: Two Threads Interleaving
ipfs.io·5h·
Discuss: Hacker News
🔲Cellular Automata
Energy-Based Transformers Are Scalable Learners and Thinkers
alexiglad.github.io·1d·
Discuss: Hacker News
⚡Incremental Computation
MiniRust
github.com·1d·
Discuss: Hacker News
🔒Linear Types
An introduction to program synthesis
mchav.github.io·2d·
Discuss: Hacker News, r/programming
📝Compiler Design
Gauss, an Agent for Autoformalization
math.inc·3d·
Discuss: Hacker News, Hacker News, Hacker News
🏛️Agda
The Capability-Tractability Tradeoff (2023)
buttondown.com·2d·
Discuss: Hacker News
💧Liquid Types