🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

How I Started Building at the Speed of Thought
dev.to·3h·
Discuss: DEV
⚔️Lean Tactics
Book review: A New Kind of Science (2005)
bactra.org·2d·
Discuss: Hacker News
🔲Cellular Automata
A Practical Guide to Go’s Fan-in and Fan-out Concurrency Patterns
dev.to·13h·
Discuss: DEV
🌊Stream Processing
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·10h
🧮Kolmogorov Complexity
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·20h·
Discuss: Substack
🔗Concatenative Programming
Using AI for Data Modeling in Dbt
mikkeldengsoe.substack.com·6h·
Discuss: Substack
🚚Data Migration
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·1d
📋Document Grammar
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🔍RegEx Engines
Domain-Driven Refactoring • Alessandro Colla, Alberto Acerbis & Xin Yao • GOTO 2025
youtube.com·1d
🗣️Domain-Specific Languages
Interleaving Logic and Counting
arxiv.org·3d
📜Manuscript Algebras
Epistemological Primes
news.ycombinator.com·1d·
Discuss: Hacker News
🧠Personal Knowledge Base
Data Science Weekly – Issue 607
datascienceweekly.substack.com·11h·
Discuss: Substack
📰RSS Archaeology
Puzzle Languages
prog21.dadgum.com·2d·
Discuss: Lobsters
💻Programming languages
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·21h·
Discuss: Hacker News
🧠Separation Logic
Does Learning Mathematical Problem-Solving Generalize to Broader Reasoning?
arxiv.org·3d
🧮Theorem Proving
Reinforcement Learning with Action Chunking
arxiv.org·10h
🔲Cellular Automata
Agentic-R1: Distilled Dual-Strategy Reasoning
arxiv.org·2d
🧮SMT Solvers
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.com·3d·
Discuss: Hacker News
λLambda Formalization
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·10h
🎯Proof Tactics