🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Why is Bob Smith termination for Ethernet recommended if it's wrong?
electronics.stackexchange.com·10h·
Discuss: Hacker News
🧲Cassette Physics
Practical CI-friendly Performance Tests
solidean.com·8h·
Discuss: Lobsters, r/cpp
⚡Performance Mythology
Master Foo and LLM Mountain
tusshah.github.io·22h·
Discuss: Hacker News
🏗️Compiler Archaeology
An objective Bayesian analysis of life's early start and our late arrival (2020)
pnas.org·1d·
Discuss: Hacker News
🔲Cellular Automata
The Business Consultant
quarter--mile.com·6h·
Discuss: Hacker News
🔓Hacking
I'm Using Perplexity
fldr.zip·1d·
Discuss: Hacker News
🔍BitFunnel
Eating the Future: The Metabolic Logic of AI Slop
e-flux.com·12h·
Discuss: Hacker News
🔲Cellular Automata
The Vector Bottleneck: Limitations of Embedding-Based Retrieval
shaped.ai·1d·
Discuss: Hacker News
🗂️Vector Databases
Skip to the End
thenanyu.com·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
A polyglot's guide to multiple-dispatch
eli.thegreenplace.net·2d·
Discuss: Hacker News
🔄Lens Laws
On This Day in Math - September 6
pballew.blogspot.com·3d·
Discuss: www.blogger.com
📚Archive Mathematics
AI Homework Help Creates Learned Helplessness - Here's How to Prevent It
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Beyond Code: How to Use AI to Modernize Software Architecture
dev.to·22h·
Discuss: DEV
🔌Interface Evolution
Sparse Sensor Allocation for Inverse Problems of Detecting Sparse Leaking Emission Sources
arxiv.org·19h
🧮Kolmogorov Bounds
The Ping Pong Ball Paradox
en.wikipedia.org·3d·
Discuss: Hacker News
🔲Cellular Automata
Interactive Physics Unleashed: Differentiable Simulations for the Real World
dev.to·23h·
Discuss: DEV
📟Terminal Physics
The Disappearance of Responsibility: AI Decisions Nobody Signs
dev.to·8h·
Discuss: DEV
🌍Cultural Algorithms
Exploring approaches to computational representation and classification of user-generated meal logs
arxiv.org·19h
🎛️Feed Filtering
Focusing by Contrastive Attention: Enhancing VLMs' Visual Reasoning
arxiv.org·19h
📊Learned Metrics
Yet Another TypeSafe and Generic Programming Candidate for C
github.com·3d·
Discuss: Hacker News
🧬Functional Programming