🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Update: Coastal flood advisory issued for Northern California until 2 a.m. Friday
mercurynews.com·1d
💻Local first
Summer Is the Time for Off Broadway Comedy
newyorker.com·22h
🔬Projection Optics
The most accurate report of Destiny on the entire internet
stariver.me·2d·
Discuss: Hacker News
🔗Data Provenance
Detecting Organic Contaminants with Less Data
mirawelner.com·4d·
Discuss: Lobsters, Hacker News
🌈Spectroscopy
Piastri sets dominant pole for Belgian GP sprint race
bbc.com·16h
⚙Backus-Naur Form
Holy Shit. I built the X post generator
twyg.vercel.app·1d·
Discuss: Hacker News
🏛Digital humanities
What role can (should) economists play in shaping the future of AI?
voxdev.org·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Agentic AI Threat Modeling Framework: Maestro
cloudsecurityalliance.org·1d·
Discuss: Hacker News
🎯Threat Hunting
AI model rapidly assesses flood building damage using satellite images
phys.org·1d
🤖Advanced OCR
My Two Lives as a Programmer
maxmynter.com·4d·
Discuss: Hacker News
🔩Systems Programming
How to Run a Hugging Face Model in Jax (Part 1)
huggingface.co·6d·
Discuss: Hacker News
⬆️Lambda Lifting
Ask HN: What Makes a Meaningful Pursuit for an Early-Stage Startup?
news.ycombinator.com·18h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Gemini-Powered AI app in 3 prompts
dev.to·6h·
Discuss: DEV
⚡Proof Automation
Python Fundamentals: click
dev.to·2d·
Discuss: DEV
💧Liquid Types
How the universe stores information
robinsloan.com·2d
🔲Cellular Automata
Machine-learning application makes advanced chemical predictions easier and faster, no deep programming skills required
phys.org·1d
🎵Audio ML
The Future of Software Development Consulting in an AI-Driven World
dev.to·1d·
Discuss: DEV
🏠Homelab Orchestration
Neural Corrective Machine Unranking
arxiv.org·1d
🧠Learned Indexing
Why Python is Still the Best Programming Language to Learn in 2025
dev.to·18h·
Discuss: DEV
📝Concrete Syntax
Complete Hummingbot Arbitrage Usage Guide
dev.to·2d·
Discuss: DEV
⚡Hardware Transactional Memory