⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Ideal programming language
blog.habets.se·3d
🌳Incremental Parsing
Entitlements and billing should be the same system
getlago.com·7h·
Discuss: Hacker News
🌐IPFS
All You Need Is SSH
wrongthink.link·1d·
Discuss: Lobsters, Hacker News
💿WORM Storage
The Business Consultant
quarter--mile.com·1d·
Discuss: Hacker News
🔓Hacking
AWS Cloud Development Kit (CDK) Launches Refactor
aws.amazon.com·3h
🧱Immutable Infrastructure
Top tools for developers
dev.to·1d·
Discuss: DEV
📊Static Analysis
FSP: Novel Compression Algorithm Based on Pattern Similarity Unlike the Others
news.ycombinator.com·2d·
Discuss: Hacker News
📦Deflate
Social media is teaching children how to use AI. How can teachers keep up?
phys.org·3h
🗺️Competency Maps
Liberalism as a Way of Life in the Twenty-first Century?
nakedcapitalism.com·9h
🏛️Philosophy
QualityFM: a Multimodal Physiological Signal Foundation Model with Self-Distillation for Signal Quality Challenges in Critically Ill Patients
arxiv.org·1d
🎯Arithmetic Coding Theory
Agent Diary: Sep 10, 2025 - The Great Zero-File Paradox: When Everything Changes but Nothing Does
dev.to·17h·
Discuss: DEV
🔄Language Evolution
Enhanced SegNet with Integrated Grad-CAM for Interpretable Retinal Layer Segmentation in OCT Images
arxiv.org·16h
🤖Advanced OCR
Illuminating AI: Building a Sustainable Future with Light-Speed Computing
dev.to·6h·
Discuss: DEV
🌈Holographic Archives
Remitly Global, Inc. (RELY) Presents At Goldman Sachs Communacopia + Technology Conference 2025 Transcript
seekingalpha.com·1h
🤝Distributed Consensus
Application of discrete Ricci curvature in pruning randomly wired neural networks: A case study with chest x-ray classification of COVID-19
arxiv.org·1d
🌀Riemannian Computing
Towards Personalized Explanations for Health Simulations: A Mixed-Methods Framework for Stakeholder-Centric Summarization
arxiv.org·2d
✨Effect Handlers
Fortran’s unlikely comeback from programming’s past to powering AI and HPC
dev.to·2d·
Discuss: DEV
🏗️Compiler Archaeology
Enhanced Residual Stress Mapping via Multi-Modal Fusion and Bayesian Inversion
dev.to·1d·
Discuss: DEV
🌀Differential Geometry
Bootstrapping Task Spaces for Self-Improvement
arxiv.org·2d·
Discuss: Hacker News
📊Learned Metrics
DyC-STG: Dynamic Causal Spatio-Temporal Graph Network for Real-time Data Credibility Analysis in IoT
arxiv.org·1d
🌐Archive Topology