🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

The GOP's Message for Tech Billionaires: Be Like Peter Thiel
wired.com·30m
🧲Magnetic Philosophy
Engineering wisdom from a year of Talking Postgres
techcommunity.microsoft.com·22h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Local-first calendar with tasks and notes
feedback.routine.co·1d·
Discuss: Hacker News
🔌Offline-first Apps
Work-Life Balance Slows Careers (E9 Engineer, ex-Meta)
pathtostaff.com·2d·
Discuss: Hacker News, r/programming
🌱Personal Wikis
Dear James: I Want to Be a Better Loser
theatlantic.com·22h
🔲Cellular Automata
Here's the list of websites gig workers used to fine-tune Anthropic's AI models. Its contractor left it wide open.
businessinsider.com·6h·
Discuss: Hacker News
🚀Indie Hacking
A Wide Reduction Trick (2022)
words.filippo.io·6d·
Discuss: Lobsters, Hacker News, r/programming
🌳Archive Merkle Trees
What's happening to Matlab? Or, "The slow demise of the engineering toolbox"
blog.pictor.us·5d·
Discuss: Hacker News
🔩Systems Programming
ChatGPT Hammers for Python Script Nails
prograham.net·2d·
Discuss: Hacker News
⚡Proof Automation
Remember the doomed AI nation ship? A shipping giant is now planning a real, moving, floating data center that could power thousands of AI GPUs
techradar.com·20h
🖥️Modern Terminals
Mark Cuban reveals his productivity hack — and everyone can use it
businessinsider.com·6h
📡RSS
The '10x engineer' is old news. Surge's CEO says '100x engineers' are here.
businessinsider.com·1d
📏Code Metrics
How to Use Kimi K2 for free? 3 Ways
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression
Don’t Be Scared of AI. Be Scared of Being Basic in a World That’s Upgrading.
dev.to·20h·
Discuss: DEV
⚡Proof Automation
How Can the Democrats Win Back the Working Class? Economic Populism
nakedcapitalism.com·1h
🤝Distributed Consensus
[R] User researcher here - trying to understand AI maintenance pain points in production
reddit.com·20h·
Discuss: r/MachineLearning
🏠Homelab Archaeology
Language Integration in Fine-Tuning Multimodal Large Language Models for Image-Based Regression
arxiv.org·1d
🎙️Whisper
User Invariant Preference Learning for Multi-Behavior Recommendation
arxiv.org·1d
🎛️Feed Filtering
Learning Stochastic Hamiltonian Systems via Stochastic Generating Function Neural Network
arxiv.org·1d
🧠Machine Learning
OpenAI’s new agent moves its 2017 vision for AI closer to reality
the-decoder.com·23h
🧠Intelligence Compression