🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

"Hikaru No Go": The Manga That Brought Go to the Spotlight
thenerdslist.com·2h·
Discuss: Hacker News
🕹️Retro Gaming
Open Security News week 37-2025
nocomplexity.com·4h
🔓Hacking
WorldCat Editions and Holdings Release
annas-archive.org·2h·
Discuss: Hacker News
📚MARC Records
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
Buit my own tool to incresse growth snd engagement on twitter
markix.com·20h·
Discuss: Hacker News, r/webdev
🎯Content Recommendation
Choosing a model for a research platform with real data and metrics
maxirwin.com·3d·
Discuss: Hacker News
📊Count-Min Sketch
Your Brain on ChatGPT
klementoninvesting.substack.com·1d·
Discuss: Substack
📼Tape Linguistics
Mandelbrot and Fat Tails
johndcook.com·4d
📐Mathematical Art
You and Your Local Gradient
whybyfire.net·3d·
Discuss: Hacker News
🎯Content Recommendation
DeepCodeBench: Real-World Codebase Understanding by Q&A Benchmarking
qodo.ai·3d·
Discuss: Hacker News
⚙️Compression Benchmarking
<p>It&rsquo;s amusing to imagine how far Apple&rsquo;s bizarre, corporate-esque copywriting goes. Would one be able to go into Caffè Macs in Apple Park, pick up...
lmika.org·16h
🧲Magnetic Philosophy
Writing production level web app without framework, is it feasible for average developers?
reddit.com·22h·
Discuss: r/golang
🛡️WebAssembly Security
Giving LLMs actual memory instead of fake “RAG memory”
reddit.com·1d·
Discuss: r/artificial
💻Local LLMs
Days 24-27: Family Time and the Real Value of the 4-Hour Workday
dev.to·2d·
Discuss: DEV
🌍Cultural Algorithms
Unlocking Team Synergy: Decoding the Silent Language of Movement
dev.to·1d·
Discuss: DEV
🌍Cultural Algorithms
Accelerated Adjuvant Production via Adaptive Enzyme Cascade Optimization
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
GenAI Foundations – Chapter 1: Prompt Basics: From Theory to Practice
dev.to·5d·
Discuss: DEV
🎙️Whisper
Road Accident Report - AI Assistant
dev.to·1d·
Discuss: DEV
🎙️Whisper
The AI Echo Chamber: Preventing Voice Assistants From Learning the Wrong Lessons by Pannalabs.ai
dev.to·1d·
Discuss: DEV
🤖AI Curation