⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Double Maths First Thing: Issue 2A
aperiodical.com·1d
👑Isabelle
[$] Supporting kernel development with large language models
lwn.net·15h
💻Local LLMs
7 AI Agent Frameworks for Machine Learning Workflows in 2025
machinelearningmastery.com·17h
⚡Proof Automation
Coping with Complexity
slott56.github.io·5d
🔗Concatenative Programming
The Guide to the Foundation Models Framework
azamsharp.com·1d·
Discuss: Hacker News
λLambda Formalization
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·1h
🌀Differential Geometry
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.org·1d
🧠Intelligence Compression
scMamba: A Scalable Foundation Model for Single-Cell Multi-Omics Integration Beyond Highly Variable Feature Selection
arxiv.org·1h
🧠Machine Learning
LR(1) parse-tables generator
github.com·2d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
AI Agents Explained: How They Think & Operate
dev.to·15h·
Discuss: DEV
🔲Cellular Automata
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·2d
🌀Fractal Compression
Evolving Prompts In-Context: An Open-ended, Self-replicating Perspective
arxiv.org·3d
💻Programming languages
How I Built a Smarter ZIP Engine with AI: My Day 9 & 10 Journey (Pagonic Project)
dev.to·9h·
Discuss: DEV
👁️Observatory Systems
🧠 Code That Explains Itself: Writing Self-Documenting Code in 2025
dev.to·17h·
Discuss: DEV
🔄Reproducible Builds
Learning to Be a Transformer to Pinpoint Anomalies
arxiv.org·1h
🤖Grammar Induction
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
Stochastic and Non-local Closure Modeling for Nonlinear Dynamical Systems via Latent Score-based Generative Models
arxiv.org·1h
🧠Machine Learning