🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Go interfaces and json.Unmarshal
fbrs.io·1d
🔧Binary Parsers
What’s new in Google Workspace: Integrations that actually make a difference for SMBs
ghacks.net·1d
🤖Archive Automation
Agent OS | A free Spec-Driven Development System for AI-Powered Coding
buildermethods.com·15h
⚡Proof Automation
Arva AI (YC S24) Is Hiring an AI Research Engineer (London, UK)
arva.ai·4h·
Discuss: Hacker News
🎙️Whisper
Thoughts on edent's 'We've got to stop sending files to each other'
neilzone.co.uk·21h
✅Document Verification
What makes us persist toward long-term goals?
phys.org·1d
🔲Cellular Automata
Inheritance over composition, sometimes
death.andgravity.com·3d
🦀Rust Macros
Don't Fall for AI: Reasons for Writers to Reject Slop
mythcreants.com·14h·
Discuss: Hacker News
🎧Learned Audio
What Doesn’t Change
terriblesoftware.org·3d·
Discuss: r/compsci, r/programming
🕹Emulation Theory
AB Volvo (publ) (VLVLY) Q2 2025 Earnings Call Transcript
seekingalpha.com·20h
⚙️Swedish Assembly
Agent DB
agentdb.dev·16h·
Discuss: Hacker News
🗄️Database Internals
Differentiable Programming for Learnable Graphs: Optimizing LLM Workflows W DSPy
viksit.substack.com·4d·
Discuss: Substack
⚡Incremental Computation
Build Your Own Simple Data Pipeline with Python and Docker
kdnuggets.com·22h
🔄Archive Workflows
What AI Can Do, and What we Can Build
hackernoon.com·6h
🤖AI Paleography
How To Use ~ChatGPT Without Degrading
dev.to·3d·
Discuss: DEV
🌳Context free grammars
Eventify: Revolutionizing Event Planning with Bolt.new
dev.to·13h·
Discuss: DEV
🌊Stream Processing
A Deep Dive into Clustering for Customer Segmentation
dev.to·2d·
Discuss: DEV
🌊Spectral Clustering
Minimum-Peak-Cost Flows Over Time
arxiv.org·3d
🧠Query Planners
Interpretable Artificial Intelligence for Detecting Acute Heart Failure on Acute Chest CT Scans
arxiv.org·3d
🤖Advanced OCR
How Apex Fusion and Well-Typed Are Shaping the Future of Institutional DeFi on Cardano
hackernoon.com·1d
🤝Distributed Consensus