⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Getting Started with TypeScript on Fastly Compute
fastly.com·2d
💧Liquid Types
Has AI made “learn to code” obsolete?
freethink.com·12h
🔄Language Evolution
Show HN: What it took to make QKD work in RAM
qsymbolic.com·2d·
Discuss: Hacker News
🔐Quantum Security
The Age of Integrity
schneier.com·1d·
Discuss: Hacker News
🔗Data Provenance
The Distribution of Prime Numbers: A Geometrical Perspective
blog.computationalcomplexity.org·2d·
Discuss: blog.computationalcomplexity.org, Hacker News
📐Mathematical Art
Masochism: a bad rap from inception
languagelog.ldc.upenn.edu·11m
🏛️Philosophy
A Newbie's First Contribution to (Rust for) Linux
blog.buenzli.dev·14h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
I Made My Terminal Understand English (And You Can Too)
dev.to·1d·
Discuss: DEV
🐚Shell Automation
The 20-Minute Daily Review That Tripled My Code Quality (Git Data Proof)
dev.to·17h·
Discuss: DEV
📏Code Metrics
Non-Euclidean Enriched Contraction Theory for Monotone Operators and Monotone Dynamical Systems
arxiv.org·4d
🎯Performance Proofs
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·4d
🧪CBOR Fuzzing
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·2d·
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·9h·
Discuss: DEV
🔗Concatenative Languages
Rust for Beginners
reddit.com·22h·
Discuss: r/rust
🦀Rust Macros
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·3d·
Discuss: DEV
λLambda Formalization
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