🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

'We're Not Learning Anything': Stanford GSB Students Sound The Alarm Over Academics
news.slashdot.org·1d
🎚️Audio Engineering
rqlite – Highly-Available, Distributed Relational Database Built on SQLite
rqlite.io·2h·
Discuss: Hacker News
💾SQLite
Why AI chatbots lie to us | Science
science.org·2d·
Discuss: Hacker News
🌍Cultural Algorithms
Comparing a red-black tree to a B-tree
nibblestew.blogspot.com·3d·
Discuss: Hacker News, nibblestew.blogspot.com
🌲B-tree Variants
50x rendering speed improvements in Hologram (Elixir web framework)
hologram.page·1d·
Discuss: Hacker News
🎬WebCodecs
'Hungry Lions prepare to storm MCG on day they've dreamed of'
bbc.com·1d
⚔️Lean Tactics
Man Awarded $12,500 After Google Street View Camera Captured Him Naked in His Yard
tech.slashdot.org·1d
🕸️WebP Analysis
Can a Chatbot be Conscious? Inside Anthropic’s Interpretability Research on Claude 4
scientificamerican.com·3d
🔲Cellular Automata
Kurschak's Theorem, a Geometry Jewel.
pballew.blogspot.com·4d·
Discuss: www.blogger.com
📐Mathematical Art
title: Laptop Stand Adjustable: Honest Review from a Develop
dev.to·6h·
Discuss: DEV
⌨️Mechanical Keyboards
AI's Rapid Role in Spotting Fake News
dev.to·1d·
Discuss: DEV
📰RSS Reading Practices
Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad
deepmind.google·5d·
Discuss: Lobsters, Hacker News
🧮SMT Solvers
UV Bug Trap
hackster.io·1d
⚙️Cassette Mechanics
Qwen3‑Coder Unleashed – Agentic Coding's New Powerhouse
algogist.com·3d·
Discuss: Hacker News
🧮Z3 Applications
Monitoring Heat Recovery Performance with ESPHome and Home Assistant
szymonkrajewski.pl·13h
🏠Home Automation
MedExpert AI - Specialized Medical Voice Assistant with RAG Integration
dev.to·13h·
Discuss: DEV
🤖Archive Automation
Comparison of Optimised Geometric Deep Learning Architectures, over Varying Toxicological Assay Data Environments
arxiv.org·2d
🧠Machine Learning
Canonical Representations of Markovian Structural Causal Models: A Framework for Counterfactual Reasoning
arxiv.org·4d
✨Effect Handlers
Neural Machine Unranking
arxiv.org·2d
🧠Learned Indexing
HumanMaterial: Human Material Estimation from a Single Image via Progressive Training
arxiv.org·2d
📊Learned Metrics