⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

[Closed] Call for In-person Workshop Participants: "Investigating
exposingtheinvisible.org·8h
📰Content Curation
The counter-intuitive mathematical phenomenon hiding at the Men's Under-21 Euros
kityates.substack.com·9h·
Discuss: Substack
🔲Cellular Automata
Implementing Post Quantum algorithms in PKCS #11 - DevConf.CZ 2025
youtube.com·2d
🔐Quantum Security
The Future of AI Is Physical: Simulation Is Key
inductiva.ai·1d·
Discuss: Hacker News
🔲Cellular Automata
A Bitcask Inspired Local Disk Cache for Avoiding Unnecessary Redis Hits
reddit.com·5h·
Discuss: r/golang
🔄Sync Engine
"Claude Code Said Thanks When I Upgraded to Max Plan 😂"
dev.to·10h·
Discuss: DEV
🌳Incremental Parsing
Video Virtual Try-on with Conditional Diffusion Transformer Inpainter
arxiv.org·1d
📊Rate-Distortion Theory
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.org·2d
📏Linear Logic
🚀 Mastering Vectors in Rust
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.org·2d
🔗Parser Combinators
How I Made Task Lists Fun Again (with a Hint of World Domination)
dev.to·4h·
Discuss: DEV
🔗Concatenative Languages
Fine-Tuning and Prompt Engineering of LLMs, for the Creation of Multi-Agent AI for Addressing Sustainable Protein Production Challenges
arxiv.org·2d
🧮Theorem Proving
Practical and Accurate Local Edge Differentially Private Graph Algorithms
arxiv.org·1d
🗜️Graph Compression
Entelligence vs CodeRabbit
dev.to·2d·
Discuss: DEV
🌳Incremental Parsing
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.org·4d
🔐Quantum Security
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·3d·
Discuss: DEV
λLambda Formalization
ColumnTransformer and Pipelines in Scikit-Learn: Clean, Scalable, and Powerful Preprocessing
dev.to·1d·
Discuss: DEV
🌊Streaming Compression
Building a Super Mario-Style Platformer Game with Amazon Q Developer
dev.to·1d·
Discuss: DEV
🖥️Modern Terminals
Machine Learning Fundamentals: anomaly detection project
dev.to·1h·
Discuss: DEV
👁️Observatory Systems
🚦 Dijkstra's Algorithm Explained – A Beginner's Guide
dev.to·2d·
Discuss: DEV
🕸️Graph Algorithms