⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Belief elicitation in theory versus practice
statmodeling.stat.columbia.edu·23h
🧠Intelligence Compression
Problem-solving is fundamental to human nature
freethink.com·21h
🔲Cellular Automata
[$] Supporting kernel development with large language models
lwn.net·1h
💻Local LLMs
Double Maths First Thing: Issue 2A
aperiodical.com·1d
👑Isabelle
7 AI Agent Frameworks for Machine Learning Workflows in 2025
machinelearningmastery.com·3h
⚡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·6h·
Discuss: r/golang
🔗Concatenative Programming
The Guide to the Foundation Models Framework
azamsharp.com·1d·
Discuss: Hacker News
λLambda Formalization
Coding in a material world
deadsimpletech.com·18h·
Discuss: Lobsters, Hacker News
🧲Magnetic Philosophy
Context Engineering: A Primer
ai.intellectronica.net·31m·
Discuss: Hacker News
⚙️TLA+
Book Notes: Full Frontal Calculus by Seth Braver — Chapter 1 Review
ruslanspivak.com·6d
🔬Lean
Programming Entry Level: how to interpreter
dev.to·1d·
Discuss: DEV
🔗Lisp
Optional Chaining (.?) in JS — Write Shorter & Safer Code!
dev.to·6h·
Discuss: DEV
✅Format Verification
⚔️ The Josephus Problem Explained: Constant-Time Solution for k = 2
dev.to·5h·
Discuss: DEV
🌳Trie Structures
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.org·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.org·2d
🔗Monadic Parsing
Flame Graph Performance Truth Analysis（1750918443851900）
dev.to·9h·
Discuss: DEV
⚡Performance Tools
ReCode: Updating Code API Knowledge with Reinforcement Learning
arxiv.org·11h
⚡Incremental Computation
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing