🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Turning 35, I don’t have answers but I have learned one thing: we’re all just winging it | Alexander Hurst
theguardian.com·4h
🏠Personal Archives
Improving End-to-End Tests to Reduce Flakiness: Tools and Strategies
blog.testresult.co·2h·
Discuss: Hacker News
🐛Fuzzing
AI demand could drive up US electricity bills – even if it fizzles
newscientist.com·10h
🏠Homelab Federation
Perennial Task Just Got More Flexible
arthurdick.com·1d·
Discuss: Hacker News
🦋Format Metamorphosis
Crawling a billion web pages in just over 24 hours, in 2025
andrewkchan.dev·1d·
Discuss: Hacker News, r/programming
⚡Redis Internals
Make Your AI SaaS in a Weekend with ShipThing Boilerplate
shipthing.com·42m·
Discuss: Hacker News
📡RSS Automation
Underused Techniques for Effective Emails
refactoringenglish.com·1d·
Discuss: Lobsters, Hacker News
📰RSS Reading Practices
Helping cities evolve
news.mit.edu·11h
⚙️systems theory
The AI Application Land Grab
frontierai.substack.com·13h·
Discuss: Substack
🔍BitFunnel
New Benchmark suite for analytical DBs using real-world SQL queries
github.com·2d·
Discuss: Hacker News
📝Database WAL
The three great virtues of an AI-assisted programmer
seangoedecke.com·4d·
Discuss: Hacker News
🔩Systems Programming
How To Build an AI Health Care Agent on Amazon Bedrock
thenewstack.io·17h
🔌Archive APIs
Ongoing genome doubling shapes evolvability and immunity in ovarian cancer
nature.com·1d
🧬Copy Number Variants
Massively parallel and universal approximation of nonlinear functions using diffractive processors
arxiv.org·4d
🌀Fractal Compression
How AI Detects Cancer in Whole Slide Images
hackernoon.com·1d
🧠Machine Learning
"Ode to Advanced TypeScript", a poem by Grok
dev.to·6d·
Discuss: DEV
🎯Gradual Typing
CompassJudger-2: Towards Generalist Judge Model via Verifiable Rewards
arxiv.org·3d
📊Learned Metrics
Is GitHub Copilot Safe? The Fun (and Hard) Truth About Responsible AI 🚦
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Thoughts on AI
dev.to·15h·
Discuss: DEV
🔩Systems Programming
Machine Learning Fundamentals: data preprocessing project
dev.to·4d·
Discuss: DEV
⚙️Batch Processing