⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Problem-solving is fundamental to human nature
freethink.com·2d
🔲Cellular Automata
Belief elicitation in theory versus practice
statmodeling.stat.columbia.edu·2d
🧠Intelligence Compression
Double Maths First Thing: Issue 2A
aperiodical.com·2d
👑Isabelle
The Guide to the Foundation Models Framework
azamsharp.com·2d·
Discuss: Hacker News
λLambda Formalization
Implementing Post Quantum algorithms in PKCS #11 - DevConf.CZ 2025
youtube.com·1d
🔐Quantum Security
YC AI Startup School 2025 – Highlights
chipinsights.substack.com·1h·
Discuss: Substack
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
[$] Supporting kernel development with large language models
lwn.net·1d
💻Local LLMs
pac-man with python, pygame
dev.to·18h·
Discuss: DEV
🔲Cellular Automata
Video Virtual Try-on with Conditional Diffusion Transformer Inpainter
arxiv.org·23h
📊Rate-Distortion Theory
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.org·1d
📏Linear Logic
🚀 Mastering Vectors in Rust
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.org·1d
🔗Parser Combinators
Understanding the System 3: Databases
dev.to·1d·
Discuss: DEV
🗄️Database Internals
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·2d·
Discuss: DEV
λLambda Formalization
Entelligence vs CodeRabbit
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
Fine-Tuning and Prompt Engineering of LLMs, for the Creation of Multi-Agent AI for Addressing Sustainable Protein Production Challenges
arxiv.org·1d
🧮Theorem Proving
Practical and Accurate Local Edge Differentially Private Graph Algorithms
arxiv.org·23h
🗜️Graph Compression
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.org·3d
🔐Quantum Security
Building a Super Mario-Style Platformer Game with Amazon Q Developer
dev.to·15h·
Discuss: DEV
🖥️Modern Terminals
🚦 Dijkstra's Algorithm Explained – A Beginner's Guide
dev.to·1d·
Discuss: DEV
🕸️Graph Algorithms