⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Rust Forge Conf 2025 Schedule Announced
newsletter.rustforgeconf.com·1d
🦀Rust Macros
Show HN: What it took to make QKD work in RAM
qsymbolic.com·2d·
Discuss: Hacker News
🔐Quantum Security
The Distribution of Prime Numbers: A Geometrical Perspective
blog.computationalcomplexity.org·2d·
Discuss: blog.computationalcomplexity.org, Hacker News
📐Mathematical Art
​​Accelerating Cloud Cryptography: Optimizing AWS-LC with Intel’s AVX-512
infosecwriteups.com·2h
⚡SIMD Optimization
Coding Agents 101: Some tips for using agents productively
devin.ai·1d·
Discuss: Hacker News
⚡Proof Automation
I Built a Fun Airport Code Quiz Using AI Tools — No Code Background, Just Curiosity ✈️
dev.to·1d·
Discuss: DEV
🔗Concatenative Languages
Machine Learning Fundamentals: anomaly detection example
dev.to·17h·
Discuss: DEV
👁️Observatory Systems
20+ Years in Tech: Things We Wish We Knew Sooner • Daniel Terhorst-North & Kevlin Henney • GOTO 2024
youtube.com·2d
🔌Interface Evolution
Catching Up with Fastfetch: A Rust Journey
reddit.com·1d·
Discuss: r/rust
🔩Systems Programming
Heartbeat of Modern Web Real Time Patterns User Design（1751092563961200）
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Programming as Art - By Developer Prasoon
dev.to·20h·
Discuss: DEV
🔩Systems Programming
On This Day in Math - June 23
pballew.blogspot.com·6d·
Discuss: www.blogger.com
λLambda Encodings
Persona-Assigned Large Language Models Exhibit Human-Like Motivated Reasoning
arxiv.org·3d
🎯Dependent Parsing
I Made My Terminal Understand English (And You Can Too)
dev.to·1d·
Discuss: DEV
🐚Shell Automation
Why We Chose Rust For Spin
dev.to·1d·
Discuss: DEV
🦀Rust Macros
⚙️ Scalable and Ordered Queueable Execution from Triggers in Salesforce
dev.to·2d·
Discuss: DEV
🌊Stream Processing
🚀 Mastering Vectors in Rust
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Just launched a free 9-chapter course on Agentic AI Systems
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
The 20-Minute Daily Review That Tripled My Code Quality (Git Data Proof)
dev.to·1d·
Discuss: DEV
📏Code Metrics
Non-Euclidean Enriched Contraction Theory for Monotone Operators and Monotone Dynamical Systems
arxiv.org·5d
🎯Performance Proofs