🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Bear training week 29 recap
sgillies.net·1d
🔗Topological Sorting
Show HN: Didit – Identity Verification Platform (Unlimited Free KYC)
didit.me·1d·
Discuss: Hacker News
🛡️ARM TrustZone
Sketch Coding and the Rise of MCP in DevOps
devops.com·3d
🔌Interface Evolution
Scvi-hub: an actionable repository for model-driven single-cell analysis
nature.com·2d·
Discuss: Hacker News
📐Linear Algebra
Embedded AI for Real-Time Leaf Disease Detection
hackster.io·1d
📊Quantization
Improving state machine code generation
trifectatech.org·6d·
Discuss: Lobsters, Hacker News, r/rust
🚀Compiler Optimizations
Why Event-Driven Systems are Hard?
newsletter.scalablethread.com·23h·
Discuss: Hacker News, r/programming
📋Protocol Buffers
My first DIY - A Macro Pad with a Micro Trial by Fire
hackster.io·3d
⚙️DIY Electronics
Antivirus maxing out 8 threads
forums.anandtech.com·2d
🧠Memory Forensics
That external validity question: How to think of a 3-year UBI study?
statmodeling.stat.columbia.edu·3d
🔲Cellular Automata
Rigetti Computing Gets Closer To Crucial Quantum Milestone (Rating Upgrade)
seekingalpha.com·1d
🔐Quantum Security
10 Common Misconceptions About Large Language Models
machinelearningmastery.com·5d
💻Local LLMs
Top 12 Sites To Buy Old Github Accounts In 2025
dev.to·1d·
Discuss: DEV
❄️Nix Adoption
Adaptive Beamforming for High-Throughput GEO Satellite Downlink with Dynamic Polarization Management
dev.to·13h·
Discuss: DEV
🎛️Cassette DSP
Cariddi: Unleash the Power of Automated Web Reconnaissance!
dev.to·2d·
Discuss: DEV
🌐WARC Mining
Optimal Resilience Assessment of Tier-2 Supplier Networks via Bayesian Belief Network-Driven Risk Propagation
dev.to·3d·
Discuss: DEV
🔗Supply Chain
This AI Is a Better Geography Teacher Than Most Humans.
dev.to·2d·
Discuss: DEV
🎙️Whisper
Qwen Code Just Got Smarter: Key Features in v0.0.10 & v0.0.11
dev.to·1d·
Discuss: DEV
🔓Open Source Software
Unlock Restaurant Efficiency: Voice AI Takes Command with Pannalabs.ai
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Incorporating AI Incident Reporting into Telecommunications Law and Policy: Insights from India
arxiv.org·3d
📝ABNF Parsing