🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Concrete types yield better maintainability
alejo.ch·7h·
Discuss: r/programming
🔗Dependently Typed
Flag this post
Formal or not formal? That is the question in AI for theorem proving.
xenaproject.wordpress.com·3d
⚔️Lean Theorem
Flag this post
HigherOrderCO/Bend2
github.com·48m
🔗Functional Compilers
Flag this post
We Programmers Need "Results"
rockyj-blogs.web.app·14h·
Discuss: Hacker News
📜Proof Carrying Code
Flag this post
Interpretability Framework for LLMs in Undergraduate Calculus
arxiv.org·3d
🏗️Constructive Logic
Flag this post
Typst's Math Mode Problem
laurmaedje.github.io·1d·
Discuss: Hacker News
🔗Lisp
Flag this post
Book Review: "High Output Management"
lockboxx.blogspot.com·5h·
Discuss: www.blogger.com
🕵️Metadata Mining
Flag this post
Programming Modern Systems Like It Was 1984 (2014)
prog21.dadgum.com·8h·
Discuss: Lobsters
🔩Systems Programming
Flag this post
Title: Algorithmic Discrepancy Theory
informatics.ed.ac.uk·2d
🎯Performance Proofs
Flag this post
Book review: Overfitting and heuristics in philosophy
ndpr.nd.edu·11h·
Discuss: Hacker News
🔲Proof Irrelevance
Flag this post
Almost Integers, almost incredible
pballew.blogspot.com·20h·
Discuss: www.blogger.com
📐Interval Arithmetic
Flag this post
A Vision for Future Low-Level Languages
antelang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Borrowing
Flag this post
MIT 6.851: Advanced Data Structures (Spring'21)
courses.csail.mit.edu·15h·
Discuss: Hacker News
💻CS
Flag this post
Proof of Prompt
cjauvin.github.io·11h·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
Empirical Partial Derivatives
brianschrader.com·2d·
Discuss: Hacker News
📚Archive Mathematics
Flag this post
Corecursion
en.wikipedia.org·1d·
Discuss: Hacker News
λLambda Encodings
Flag this post
A Proof of the Riemann Hypothesis
future.forem.com·2d·
Discuss: DEV
⚔️Lean Theorem
Flag this post
💻 Leveling Up My Python Skills – 3 Weeks, 150 Problems!
dev.to·16h·
Discuss: DEV
λLambda Formalization
Flag this post
AI Writes 100% of My Code and 0% of My Code
danieljeffries.substack.com·12h·
Discuss: Substack
⚡Proof Automation
Flag this post
STOC 2026 Experimental Program Announcement
thmatters.wordpress.com·1d
🧮Theoretical Computer Science
Flag this post