🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

How to get ahead in the AI Space Race
techradar.com·58m
👁️Observatory Systems
garbage collection
jwz.org·1d
🧠Memory Allocators
What I Learned Rebuilding Search Three Times
nsavage.substack.com·4h·
Discuss: Substack
🗄️Database Internals
Beginners can do things that experts cannot
omarshehata.substack.com·23h·
Discuss: Substack
🌈Color Archaeology
How Causal Reasoning Addresses the Limitations of LLMs in Observability
infoq.com·1d·
Discuss: Hacker News
⚙️TLA+
Seeing like a software company
seangoedecke.com·1d·
Discuss: Hacker News, Hacker News
⚙️Proof Engineering
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·3d·
Discuss: Hacker News
🔍Type Inference
The Paradigm
nonint.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Quirks of Common Lisp Types
fosskers.ca·4d·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
Deploy, Don’t Dream: Why Practicality Beats Perfection in Warehouse Robotics
hackernoon.com·19h
⚙️Proof Engineering
Approximate constrained stochastic optimal control via parameterized input inference
arxiv.org·11h
🔄Finite State Machines
Identifying Causal Direction via Dense Functional Classes
arxiv.org·1d
🧠Machine Learning
The Future of Artificial Intelligence and the Mathematical and Physical Sciences (AI+MPS)
arxiv.org·11h
🔲Cellular Automata
On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios
arxiv.org·11h
✓Automated Theorem Proving
On Entropy Control in LLM-RL Algorithms
arxiv.org·11h
💻Local LLMs
Hidden Convexity in Active Learning: A Convexified Online Input Design for ARX Systems
arxiv.org·11h
🧠Machine Learning
Rethinking LLM-Powered Apps: Ditching Tool Overload for Smarter Query Abstraction
dev.to·1d·
Discuss: DEV
🧩WASM Components
Accelerating PDE Solvers with Equation-Recast Neural Operator Preconditioning
arxiv.org·1d
📊Quantization
Mental Math: Early Subtraction
denisegaskins.com·1d
📐Interval Arithmetic
Normality and the Turing Test
arxiv.org·3d
🎯Automata theory