⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

7 AI Agent Frameworks for Machine Learning Workflows in 2025
machinelearningmastery.com·22h
⚡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·1d·
Discuss: r/golang
🔗Concatenative Programming
Coding in a material world
deadsimpletech.com·1d·
Discuss: Lobsters, Hacker News
🧲Magnetic Philosophy
Context Engineering: A Primer
ai.intellectronica.net·18h·
Discuss: Hacker News
⚙️TLA+
Book Notes: Full Frontal Calculus by Seth Braver — Chapter 1 Review
ruslanspivak.com·6d
🔬Lean
Adaptive, simplified design system colors
gfor.rest·3h·
Discuss: Lobsters, Hacker News
📖Nordic Typography
Announcing Rust 1.88.0
blog.rust-lang.org·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
How much slower is random access, really?
samestep.com·3d·
Discuss: Hacker News, r/programming
📼Tape Encoding
Multicontinuum Homogenization for Poroelasticity Model
arxiv.org·6h
🌀Differential Geometry
Evolving Prompts In-Context: An Open-ended, Self-replicating Perspective
arxiv.org·3d
💻Programming languages
Learning to Be a Transformer to Pinpoint Anomalies
arxiv.org·6h
🤖Grammar Induction
🚀 Mastering Vectors in Rust
dev.to·15h·
Discuss: DEV
🦀Rust Borrowing
Introduction to Algorithms: What They Are and Why They Matter
dev.to·3d·
Discuss: DEV
🧮Kolmogorov Complexity
Stochastic and Non-local Closure Modeling for Nonlinear Dynamical Systems via Latent Score-based Generative Models
arxiv.org·6h
🧠Machine Learning
Entelligence vs CodeRabbit
dev.to·21h·
Discuss: DEV
🌳Incremental Parsing
Persona-Assigned Large Language Models Exhibit Human-Like Motivated Reasoning
arxiv.org·1d
🎯Dependent Parsing
Non-Euclidean Enriched Contraction Theory for Monotone Operators and Monotone Dynamical Systems
arxiv.org·3d
🎯Performance Proofs
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·3d
🧪CBOR Fuzzing
Video Virtual Try-on with Conditional Diffusion Transformer Inpainter
arxiv.org·6h
📊Rate-Distortion Theory