⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Is math discovered or invented?
mathwithbaddrawings.com·1d
📐Mathematical Art
CL-JSON Ambiguity
funcall.blogspot.com·3d·
Discuss: www.blogger.com
🧠Lisp Dialects
Representative Line: Not What They Meant By Watching "AndOr"
thedailywtf.com·10h
🔗Concatenative Programming
Rediscovering joy in learning: Jason Lengstorf on the state of development
github.blog·21m
⚙️Build Archaeology
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
The Nickel Configuration Language
nickel-lang.org·2d·
Discuss: Hacker News
📋Format Specification
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.org·12h
✨Algebraic Effects
The Compass Pattern: How smart documentation architecture saves $0.63M annually
wyrd-technology.com·3h·
Discuss: Hacker News
📚MARC Evolution
A Model for all Ranges
qt.io·2h·
Discuss: Lobsters, Hacker News
🧩SQLite Extensions
Linear Dynamics meets Linear MDPs: Closed-Form Optimal Policies via Reinforcement Learning
arxiv.org·12h
🔲Cellular Automata
Mojo Vision
docs.modular.com·12h·
Discuss: Hacker News
🔩Systems Programming
L-XAIDS: A LIME-based eXplainable AI framework for Intrusion Detection Systems
arxiv.org·12h
🔍Vector Forensics
Thermodynamically Consistent Hybrid and Permutation-Invariant Neural Yield Functions for Anisotropic Plasticity
arxiv.org·1d
🌀Differential Geometry
AI Product Value Assessment Model: An Interdisciplinary Integration Based on Information Theory, Economics, and Psychology
arxiv.org·12h
🧠Intelligence Compression
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d
🔗Functional Compilers
Language Models Coupled with Metacognition Can Outperform Reasoning Models
arxiv.org·12h
🧠Intelligence Compression
CRYSTALS - The Gently Introduction
dev.to·4d·
Discuss: DEV
⚗️Algebraic Coding
Emulating aarch64 in software using JIT compilation and Rust
pitsidianak.is·8h·
Discuss: Lobsters, Hacker News, r/rust
🦾ARM Assembly
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·1d·
Discuss: Hacker News
⚡Proof Automation
A Dynamic Approach to Collaborative Document Writing
arxiv.org·12h
🔗Parser Combinators