🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

DOE Experimental Condensed Matter Physics PI Meeting 2025 - Day 1
nanoscale.blogspot.com·4d·
Discuss: www.blogger.com
⚛️Information Physics
August 2025 at The New Leaf Journal
thenewleafjournal.com·1d
⭐Awesome lists
Show HN: SigNull – a to-do app that separates Signal from Noise
signull.app·3d·
Discuss: Hacker News
📊Count-Min Sketch
The moment I knew: he took me to the crematorium to ‘meet his mum’. It was so personal and loving
theguardian.com·11h
🏠Personal Archives
Text Files > Complex Tools: A Minimalist Snippet Manager
quarters.captaintouch.com·11h·
Discuss: Lobsters, Hacker News
🌳Incremental Parsing
Meet Embedible: AI-Powered Hardware Prototyping in Seconds
vibe.forem.com·2d·
Discuss: DEV
⚡Homebrew CPUs
Elecrow Meshtastic line. Crowpanel, Node M1 and M2
hackster.io·11h
🕸️Mesh Networking
Thinking Machines Lab wants to make AI models more consistent
techcrunch.com·3d·
Discuss: Hacker News, r/LLM
🤖Lisp Machines
Cut Dashboard Load Times in Half with This Tableau Trick
dev.to·11h·
Discuss: DEV
📇Indexing Strategies
Explaining, at some length, Techmeme's 20 years of consistency
news.techmeme.com·1d·
Discuss: Hacker News
📰RSS Archaeology
Numeri
irreal.org·3d
📝Concrete Syntax
I am over AI
reddit.com·1d·
Discuss: r/artificial
🤖AI Curation
Ruby Argentina September Meetup
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
What We Lost When Ethereum Switched to Proof-of-Stake
hackernoon.com·2d
🤝Distributed Consensus
Ask HN: Getting over Burnout with Imposter Syndrome
news.ycombinator.com·1d·
Discuss: Hacker News
🔩Systems Programming
Enhanced Sentiment Pattern Profiling via Multi-modal Data Fusion and HyperScore Evaluation
dev.to·4d·
Discuss: DEV
🎛️Feed Filtering
ALLabel: Three-stage Active Learning for LLM-based Entity Recognition using Demonstration Retrieval
arxiv.org·4d
🔍Information Retrieval
Unlocking Sonic Speed: How Deconstructed AI is Revolutionizing Voice Agents
dev.to·4h·
Discuss: DEV
🎙️Whisper
Unlocking Restaurant Efficiency: How AI Voice Agents are Revolutionizing Operations
dev.to·2h·
Discuss: DEV
🤖AI Curation
UOPSL: Unpaired OCT Predilection Sites Learning for Fundus Image Diagnosis Augmentation
arxiv.org·3d
🧠Machine Learning