⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Belief elicitation in theory versus practice
statmodeling.stat.columbia.edu·13h
🧠Intelligence Compression
Problem-solving is fundamental to human nature
freethink.com·11h
🔲Cellular Automata
Double Maths First Thing: Issue 2A
aperiodical.com·22h
👑Isabelle
Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
Book Notes: Full Frontal Calculus by Seth Braver — Chapter 1 Review
ruslanspivak.com·5d
🔬Lean
The Guide to the Foundation Models Framework
azamsharp.com·16h·
Discuss: Hacker News
λLambda Formalization
daily quizzz
dev.to·16h·
Discuss: DEV
λLambda Encodings
Causal discovery in deterministic discrete LTI-DAE systems
arxiv.org·1h
🧠Machine Learning
Boolean Blindness
existentialtype.wordpress.com·5d·
Discuss: Hacker News
🔲Proof Irrelevance
Coding in a material world
deadsimpletech.com·8h·
Discuss: Lobsters, Hacker News
🧲Magnetic Philosophy
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·2d
💻Local LLMs
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·13h·
Discuss: DEV
🌊Stream Processing
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
"Every Developer I Meet Is My Superior": How Emerson's Wisdom Transformed My Code Reviews
dev.to·4h·
Discuss: DEV
🔍Concolic Testing
How to Choose and Actually Finish an Online Course
dev.to·53m·
Discuss: DEV
📚Proof Pedagogy
Distribution of codewords on the faces of a hypercube and new combinatorial identities
arxiv.org·2d
⚽Sphere Packing
Exploring High Efficiency Web Analysis Results（1750904353002600）
dev.to·3h·
Discuss: DEV
🌊Stream Processing
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·2d
⚖️Hoare Logic
Programming Entry Level: how to interpreter
dev.to·1d·
Discuss: DEV
🔗Lisp
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.org·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity