⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Has AI made “learn to code” obsolete?
freethink.com·18h
🔄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
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
Recursion and Dynamic Programming: Solving Problems Efficiently
dev.to·4d·
Discuss: DEV
🎯Performance Proofs
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·21h·
Discuss: DEV
🌊Stream Processing
Programming as Art - By Developer Prasoon
dev.to·15h·
Discuss: DEV
🔩Systems Programming
On This Day in Math - June 23
pballew.blogspot.com·5d·
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
⚙️ Scalable and Ordered Queueable Execution from Triggers in Salesforce
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Why We Chose Rust For Spin
dev.to·1d·
Discuss: DEV
🦀Rust Macros
🚀 Mastering Vectors in Rust
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
How I Made Task Lists Fun Again (with a Hint of World Domination)
dev.to·14h·
Discuss: DEV
🔗Concatenative Languages
Just launched a free 9-chapter course on Agentic AI Systems
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Rust for Beginners
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
The 20-Minute Daily Review That Tripled My Code Quality (Git Data Proof)
dev.to·23h·
Discuss: DEV
📏Code Metrics