Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

How to Use Zorn's Lemma
gowers.wordpress.com·11h·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
Concrete types yield better maintainability
alejo.ch·1d·
🔗Dependently Typed
Flag this post
Thinking Clearly
lemire.me·16h
🔬Lean
Flag this post
Habits of Highly Mathematical People
medium.com·5h·
Discuss: Hacker News
🔬Lean
Flag this post
A moonlit week
blog.mitrichev.ch·14h·
λLambda Encodings
Flag this post
Math Workmats
guidedmath.wordpress.com·9h
📚Proof Pedagogy
Flag this post
VENI, VINDy, VICI: a generative reduced-order modeling framework with uncertainty quantification
arxiv.org·3h
Effect Handlers
Flag this post
Problems from the Land down Under
pballew.blogspot.com·2h·
📜Manuscript Calculus
Flag this post
A bestiary of single-file programming language implementations
github.com·10h·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Weekly Challenge: The one about arrays
dev.to·19h·
Discuss: DEV
📊APL Heritage
Flag this post
Lore Laundering Machines - by Ben Recht - arg min
argmin.net·1h
🎯Performance Proofs
Flag this post
The Power of Framework Dimensions: What Data Scientists Should Know
towardsdatascience.com·15h
📇Indexing Strategies
Flag this post
Card Dealing Math
blog.tanyakhovanova.com·16h
🎯Arithmetic Coding Theory
Flag this post
Formal or not formal? That is the question in AI for theorem proving.
xenaproject.wordpress.com·4d·
🔬Lean
Flag this post
A Proof of the Riemann Hypothesis
future.forem.com·3d·
Discuss: DEV
🎯Arithmetic Coding Theory
Flag this post
The End of Shouting: Prompts as Programs in GPT-5
robert-glaser.de·12h·
Automated Theorem Proving
Flag this post
Goodbye Guesswork: Code Generation That Knows What It Doesn't Know
dev.to·2h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
We Programmers Need "Results"
rockyj-blogs.web.app·1d·
Discuss: Hacker News
📜Proof Carrying Code
Flag this post
Learning Regular Languages with RPNI Algorithm
rahul.gopinath.org·13h·
Discuss: Hacker News
📐Format Grammars
Flag this post
HigherOrderCO/Bend2
github.com·1d
🔗Functional Compilers
Flag this post