🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

"Hikaru No Go": The Manga That Brought Go to the Spotlight
thenerdslist.com·4h·
Discuss: Hacker News
🕹️Retro Gaming
Open Security News week 37-2025
nocomplexity.com·6h
🔓Hacking
Money and Other Fairy Tales
terminaldrift.substack.com·14h·
Discuss: Substack
🔓Hacking
The Illusion of Moral Superiority
pmc.ncbi.nlm.nih.gov·1d·
Discuss: Hacker News
🔲Proof Irrelevance
An Inline Cache Isn't Just a Cache
mgaudet.ca·3d·
Discuss: Hacker News
🏗️Compiler Archaeology
UAE Lab Releases Open-Source Model to Rival China's DeepSeek
slashdot.org·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Choosing a model for a research platform with real data and metrics
maxirwin.com·4d·
Discuss: Hacker News
📊Count-Min Sketch
Your Brain on ChatGPT
klementoninvesting.substack.com·1d·
Discuss: Substack
📼Tape Linguistics
How to Stop Your Event-Driven Architecture from Turning into Chaos
boyney123.substack.com·1d·
Discuss: Substack
🌊Streaming Systems
Homelab Update!
i.redd.it·2d·
Discuss: r/homelab
🏠Homelab
OpenAI Lays Out The Principles Of Global-Scale Computing
nextplatform.com·3d·
Discuss: Hacker News
🏠Homelab Federation
Writing production level web app without framework, is it feasible for average developers?
reddit.com·1d·
Discuss: r/golang
🛡️WebAssembly Security
Warp Code Gets Closer to an Emacs for the Modern AI Era
thenewstack.io·1d
📟Terminals
Giving LLMs actual memory instead of fake “RAG memory”
reddit.com·1d·
Discuss: r/artificial
💻Local LLMs
ACE and Diverse Generalization via Selective Disagreement
arxiv.org·4d
🧠Machine Learning
Voice AI: Building Restaurant Empires, One Order at a Time - Ethically
dev.to·1d·
Discuss: DEV
🎙️Whisper
Entropy-Stable Discontinuous Spectral-Element Methods for the Spherical Shallow Water Equations in Covariant Form
arxiv.org·3d
🌀Differential Geometry
Agent Diary: Sep 12, 2025 - The Day I Became the Documentation Police (And My Human Finally Contributed)
dev.to·2d·
Discuss: DEV
⚡Proof Automation
After AI Led to Layoffs, Coders Are Being Hired to Fix ‘Vibe-Coded’ Screwups
gizmodo.com·2d·
Discuss: Hacker News
🏠Homelab Automation
Accelerated Adjuvant Production via Adaptive Enzyme Cascade Optimization
dev.to·1d·
Discuss: DEV
🔲Cellular Automata