🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

An Overview of Wikipedia’s Structural Framework
diff.wikimedia.org·13h
📰Content Curation
Microsoft introduces Phi-4-mini-flash-reasoning with up to 10x higher token throughput
the-decoder.com·2d
⚡Hardware Transactional Memory
Help validate a new open-source prototyping platform!
reddit.com·1d·
Discuss: r/homelab
🎮Switch Archaeology
The elite MBAs ditching corporate America
businessinsider.com·11h
🔍BitFunnel
Wrote a deep dive on LLM tool calling with step-by-step REST and Spring AI examples
muthuishere.medium.com·1d·
Discuss: Hacker News, r/LocalLLaMA, r/programming
⚡Proof Automation
2025 One Hertz Challenge: Valvano Clock Makes the Seconds Count
hackaday.com·1h
⏰Time Crystals
Lightweight Safety Guardrails via Synthetic Data and RL-guided Adversarial Training
arxiv.org·16h
💻Local LLMs
A Practical Guide to Go’s Fan-in and Fan-out Concurrency Patterns
dev.to·3d·
Discuss: DEV
🌊Stream Processing
Test post 1
dev.to·2h·
Discuss: DEV
🎙️Whisper
Building a Kubernetes Operator in Go with Kube-Shift
dev.to·16h·
Discuss: DEV
🌊Streaming Systems
Improving AEBS Validation Through Objective Intervention Classification Leveraging the Prediction Divergence Principle
arxiv.org·3d
🌀Differential Geometry
Riding the AI Coding Wave Without Drowning Your Skills
dev.to·1d·
Discuss: DEV
⚡Proof Automation
AmpLyze: A Deep Learning Model for Predicting the Hemolytic Concentration
arxiv.org·16h
🧠Machine Learning
There might be a solution to lower training resources for AI training
dev.to·2d·
Discuss: DEV
📊Quantization
Build a Token Bucket Limiter in Go in Under 100 Lines
dev.to·1d·
Discuss: DEV
📡Network Calculus
Building photoroom-cli with Claude Code: From API to NPM in 3 Days
dev.to·9h·
Discuss: DEV
🌳Incremental Parsing
🧠 Who Should Use Mojo Instead of Python3?
dev.to·11h·
Discuss: DEV
🔗Topological Sorting
“Craft in the Real World”: Advice for writing workshops that is relevant more generally
statmodeling.stat.columbia.edu·3d
📕Bookbinding
Learning Go: Why Goroutines Aren’t Just Coroutines
dev.to·1d·
Discuss: DEV
🌊Stream Processing
New computing approach combines quantum and supercomputers to predict molecule stability
phys.org·3h
⚛️Information Physics