🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Meal prep supplies that make your week easier
mercurynews.com·13h
🧮Algorithmic Cooking
Why we need better software identification
softwareheritage.org·9h
🔗Binary Similarity
Emilio, your AI inbox agent
meetemilio.com·1d·
Discuss: Hacker News
🎯Threat Hunting
Beyond Nvidia: The Narrow Path for AI Hardware Challengers
saturn.land·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
Why smart people fall for false information and what to do about it
phys.org·1d
📡Information theory
No Redundancy, No Stall: Lightweight Streaming 3D Gaussian Splatting for Real-time Rendering
arxiv.org·1d
⚡LZ4 Streaming
How ResearchWize Can Simulate a Professor’s Feedback—Anytime
dev.to·1d·
Discuss: DEV
🔬Academic Search
Hyperbolic Genome Embeddings
arxiv.org·1d
🌀Hyperbolic Geometry
I'm struggling to work from home now that my kids are teens. They constantly need me, and I can't get my work done.
businessinsider.com·13h
🏠Personal Archives
DISCOVERSE: Efficient Robot Simulation in Complex High-Fidelity Environments
arxiv.org·1d
🏺Computational Archaeology
Efficacy of AI RAG Tools for Complex Information Extraction and Data Annotation Tasks: A Case Study Using Banks Public Disclosures
arxiv.org·1d
🔍Information Retrieval
Algoma Steel Group Inc. (ASTL) Q2 2025 Earnings Call Transcript
seekingalpha.com·1d
📋PREMIS Events
Different Types of Generative AI: Models, Tools, and Real-World Applications
dev.to·13h·
Discuss: DEV
🎧Learned Audio
50/50: The Future of Human-AI Collaboration for Innovation
thenewstack.io·2d
🔄Language Evolution
Enhancing Complex Injection Mold Design Validation Using Multicombined RV Environments
arxiv.org·2d
🌀Differential Geometry
5 mundane tasks that ChatGPT can do, saving you hours
techradar.com·1d
⭐Awesome lists
Physicists disagree wildly on what quantum mechanics says about reality, <i>Nature</i> survey shows
nature.com·1d·
Discuss: Hacker News
⏰Time Crystals
Day 50: When College Systems Work Against Students
dev.to·1d·
Discuss: DEV
📊Citation Graphs
🔥 Claude Code pattern that saves 5-minute daily:
dev.to·4d·
Discuss: DEV
🌳Incremental Parsing
CLEAR: Unlearning Spurious Style-Content Associations with Contrastive LEarning with Anti-contrastive Regularization
arxiv.org·3d
📊Learned Metrics