⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Wavefunction Collapse
xkcd.com·1d
⏰Time Crystals
Chaos and Coherence in Business
commoncog.com·1d
🐚Shell Calculus
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·2d
🧮Kolmogorov Bounds
How to use LLMs for studying without bullshitting yourself
hellmayr.com·1d·
Discuss: Hacker News
💻Local LLMs
One of the best books on Istio
reddit.com·1d·
Discuss: r/kubernetes
📰RSS Archaeology
Marisa Trie – Static memory-efficient Trie-like structure
github.com·4h·
Discuss: Hacker News
🌳Trie Structures
Intuition for Pick’s Theorem
johndcook.com·3d
📐Mathematical Art
Why I’m Against Claude Code’s Grep-Only Retrieval? It Just Burns Too Many Tokens
milvus.io·3d·
Discuss: Hacker News
🌳Incremental Parsing
The Compass Pattern: How smart documentation architecture saves $0.63M annually
wyrd-technology.com·1d·
Discuss: Hacker News
📚MARC Evolution
I made a simple LAN scanner in Rust
github.com·20h·
Discuss: Hacker News
📻Homebrew Protocols
Generalizing Monocular 3D Object Detection
arxiv.org·1h
🕳️Persistent Homology
Reducing Biases towards Minoritized Populations in Medical Curricular Content via Artificial Intelligence for Fairer Health Outcomes
arxiv.org·1h
🗺️Competency Maps
Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.to·1d·
Discuss: DEV
🔒WASM Capabilities
Solving advection equations with reduction multigrids on GPUs
arxiv.org·2d
⚡Parallel Computing
Meta-R1: Empowering Large Reasoning Models with Metacognition
arxiv.org·2d
🧠Intelligence Compression
WOMAC: A Mechanism For Prediction Competitions
arxiv.org·2d
🔲Cellular Automata
Route-and-Execute: Auditable Model-Card Matching and Specialty-Level Deployment
arxiv.org·2d
🦋Format Metamorphosis
"She was useful, but a bit too optimistic": Augmenting Design with Interactive Virtual Personas
arxiv.org·1h
🏛Digital humanities
Orchid: Orchestrating Context Across Creative Workflows with Generative AI
arxiv.org·1h
🔄Archival Workflows
Regarding formatting issues with AI-generated copy
dev.to·23h·
Discuss: DEV
✅Format Verification