🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Bayes predictive framework
danmackinlay.name·3d
🧮Kolmogorov Bounds
AI win of the day
languagelog.ldc.upenn.edu·2d
🏛️Philosophy
The Politics of AI: Governance, Resistance, Alternatives
criticalinfralab.net·1d
🔲Cellular Automata
Reading List 07/12/2025
construction-physics.com·1d
📡DNS Archaeology
Tools using tools
cassidoo.co·22h
⚡Proof Automation
AI Creates the Problems it Solves
dbreunig.com·2d
⚡Proof Automation
Statistical shortcomings in standard math libraries, and how to fix them
evanmiller.org·5d·
Discuss: Hacker News
🎯Arithmetic Coding Theory
2025 Essay Competition: Focus on Quantum Biology
qspace.fqxi.org·1d·
Discuss: Hacker News
⚛️Quantum Archives
Let It Snow
arraythinking.wordpress.com·2d·
Discuss: Hacker News
🔗Concatenative Languages
What It Means to Be a 10x Engineer
medium.com·2d·
Discuss: Hacker News
📏Code Metrics
Learning to never give up by following you're passion
thelabyrinthoftimesedge.com·3h·
Discuss: Hacker News
⚖️Emulation Ethics
Minimal balanced collections and their applications to core stability and other topics of game theory
arxiv.org·4d
🎯Performance Proofs
The Ultimate AI Coding Tools for Your 2025 Summer Projects
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Cultural theory was right about the death of the author. It was just a few decades early
crookedtimber.org·2d·
Discuss: Hacker News
🧮Theoretical Computer Science
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·5d
🧮Algebraic Archives
What are the most effective practices, tools, and methodologies your Data & AI team follows to stay productive, aligned, and impactful? [D]
reddit.com·1d·
Discuss: r/MachineLearning
🔄Archival Workflows
Homeostatic Adaptation of Optimal Population Codes under Metabolic Stress
arxiv.org·2d
🔲Cellular Automata
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·5d
💻Programming languages
Cactus Language • Stylistics 2
inquiryintoinquiry.com·4d
💻Programming languages
Machine Learning Fundamentals: confusion matrix with python
dev.to·4d·
Discuss: DEV
🔗Constraint Handling