⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

7 AI Agent Frameworks for Machine Learning Workflows in 2025
machinelearningmastery.com·13h
⚡Proof Automation
My Journey from Java to Go: Why I Think Go's Packages Are Actually Better
reddit.com·15h·
Discuss: r/golang
🔗Concatenative Programming
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·1d·
Discuss: Hacker News
📟Terminal Typography
Coding in a material world
deadsimpletech.com·1d·
Discuss: Lobsters, Hacker News
🧲Magnetic Philosophy
Context Engineering: A Primer
ai.intellectronica.net·9h·
Discuss: Hacker News
⚙️TLA+
Book Notes: Full Frontal Calculus by Seth Braver — Chapter 1 Review
ruslanspivak.com·6d
🔬Lean
A Principled Approach to Randomized Selection under Uncertainty
arxiv.org·1d
🌸Bloom Variants
Cactus Language • Syntax 11
inquiryintoinquiry.com·3d
📝Concrete Syntax
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·1d
🌀Fractal Compression
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1750952117902400）
dev.to·9h·
Discuss: DEV
🌐Network Protocols
LR(1) parse-tables generator
github.com·2d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
AI Agents Explained: How They Think & Operate
dev.to·10h·
Discuss: DEV
🔲Cellular Automata
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.org·21h
🧠Intelligence Compression
How I Built a Smarter ZIP Engine with AI: My Day 9 & 10 Journey (Pagonic Project)
dev.to·4h·
Discuss: DEV
👁️Observatory Systems
🧠 Code That Explains Itself: Writing Self-Documenting Code in 2025
dev.to·12h·
Discuss: DEV
🔄Reproducible Builds
Recursion and Dynamic Programming: Solving Problems Efficiently
dev.to·2d·
Discuss: DEV
🎯Performance Proofs
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Evolving Prompts In-Context: An Open-ended, Self-replicating Perspective
arxiv.org·2d
💻Programming languages
🚀 Mastering Vectors in Rust
dev.to·6h·
Discuss: DEV
🦀Rust Borrowing
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.org·2d
🔐Quantum Security