🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Join the Community: Shaping ODE’s Future with AI & Open Sessions
blog.okfn.org·17h
🔓Open Source Software
Live: Final hour of voting for Tasmanians in another early election
abc.net.au·13h
📝ABNF Parsing
One Year of Hacking Workshops
rhaas.blogspot.com·1d·
Discuss: rhaas.blogspot.com
🧬PostgreSQL Forensics
It's Our 1400th Post - Yay!
psychotronicpaul.blogspot.com·21h·
Discuss: www.blogger.com
⭐Awesome lists
Simply Plural Web App
app.apparyllis.com·1d
🌀Brotli Dictionary
OWASP's cure for a sick AI supply chain
scworld.com·1d·
Discuss: Hacker News
🔒WASM Capabilities
Why we finally allowed arbitrary waits in our tests
octomind.dev·23h·
Discuss: Hacker News, r/programming
🔍Concolic Testing
John Wheeler and the "It from Bit" (2023)
johnhorgan.org·1d·
Discuss: Hacker News
⚛️Quantum Archives
'AI is not intelligent at all': Why our dignity is at risk
phys.org·1d
🌍Cultural Algorithms
Training a Chunker with Burn
elijahpotter.dev·2d·
Discuss: Hacker News
📝Concrete Syntax
Top AI scientists warn: We're losing our only window into how AI thinks
qz.com·2d·
Discuss: Hacker News
🧠Intelligence Compression
How to run an LLM on your laptop
technologyreview.com·1d·
Discuss: Hacker News, Hacker News
💻Local LLMs
Day 37: When Your Body Rebels Against Medical Advice
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
STAGED: A Multi-Agent Neural Network for Learning Cellular Interaction Dynamics
arxiv.org·2d
🔲Cellular Automata
finished my first full CI/CD pipeline project (GitHub/ ArgoCD/K8s) would love feedback
reddit.com·1d·
Discuss: r/kubernetes
🌊Streaming Systems
What Most AI Tools Get Wrong About Real Productivity
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Why Good Ideas Go Nowhere
kb.buildingbetterteams.de·23h·
Discuss: Hacker News
🦋Format Evolution
Among the A.I. Doomsayers
newyorker.com·22h·
Discuss: Hacker News
🧲Magnetic Philosophy
Building Smarter Systems with AI Agent Builders
dev.to·13h·
Discuss: DEV
🌍Cultural Algorithms
Capturing Dynamics in Online Public Discourse: A Case Study of Universal Basic Income Discussions on Reddit
arxiv.org·3d
📰RSS Archaeology