⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Problem-solving is fundamental to human nature
freethink.com·17h
🔲Cellular Automata
Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
Book Notes: Full Frontal Calculus by Seth Braver — Chapter 1 Review
ruslanspivak.com·5d
🔬Lean
My Journey from Java to Go: Why I Think Go's Packages Are Actually Better
reddit.com·2h·
Discuss: r/golang
🔗Concatenative Programming
Coding in a material world
deadsimpletech.com·14h·
Discuss: Lobsters, Hacker News
🧲Magnetic Philosophy
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·9h·
Discuss: DEV
🌊Stream Processing
Optional Chaining (.?) in JS — Write Shorter & Safer Code!
dev.to·1h·
Discuss: DEV
✅Format Verification
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
⚔️ The Josephus Problem Explained: Constant-Time Solution for k = 2
dev.to·1h·
Discuss: DEV
🌳Trie Structures
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.org·2d
🔗Monadic Parsing
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.org·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flame Graph Performance Truth Analysis（1750918443851900）
dev.to·5h·
Discuss: DEV
⚡Performance Tools
ReCode: Updating Code API Knowledge with Reinforcement Learning
arxiv.org·7h
⚡Incremental Computation
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·1d·
Discuss: DEV
λLambda Formalization
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·1d·
Discuss: Hacker News
🌀Brotli Internals
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·7h
✅Format Verification