⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

7 AI Agent Frameworks for Machine Learning Workflows in 2025
machinelearningmastery.com·8h
⚡Proof Automation
Coping with Complexity
slott56.github.io·5d
🔗Concatenative Programming
My Journey from Java to Go: Why I Think Go's Packages Are Actually Better
reddit.com·11h·
Discuss: r/golang
🔗Concatenative Programming
Coding in a material world
deadsimpletech.com·23h·
Discuss: Lobsters, Hacker News
🧲Magnetic Philosophy
Context Engineering: A Primer
ai.intellectronica.net·5h·
Discuss: Hacker News
⚙️TLA+
Book Notes: Full Frontal Calculus by Seth Braver — Chapter 1 Review
ruslanspivak.com·6d
🔬Lean
ReCode: Updating Code API Knowledge with Reinforcement Learning
arxiv.org·16h
⚡Incremental Computation
Flame Graph Performance Truth Analysis（1750918443851900）
dev.to·14h·
Discuss: DEV
⚡Performance Tools
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·1d·
Discuss: DEV
λLambda Formalization
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Announcing Rust 1.88.0
blog.rust-lang.org·20h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
How much slower is random access, really?
samestep.com·3d·
Discuss: Hacker News
📼Tape Encoding
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·16h
✅Format Verification
A Principled Approach to Randomized Selection under Uncertainty
arxiv.org·1d
🌸Bloom Variants
Cactus Language • Syntax 11
inquiryintoinquiry.com·2d
📝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·4h·
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·5h·
Discuss: DEV
🔲Cellular Automata