⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Is math discovered or invented?
mathwithbaddrawings.com·20h
📐Mathematical Art
Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.com·3d
🔲Cellular Automata
GenAI, the KSA Model, and Why Industry-Experienced CS Teachers Matter More Than Ever
cacm.acm.org·16h
🗺️Competency Maps
A critique of philosophical objectivity
lapcatsoftware.com·16h
🏛️Philosophy
CL-JSON Ambiguity
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🧠Lisp Dialects
Variations on Knuth’s Twindragon
johndcook.com·13h·
Discuss: Hacker News
📐Mathematical Art
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
How I Make Claude Code Work for Me (Aug 2025)
craftingteams.substack.com·5h·
Discuss: Substack
🔩Systems Programming
[P] aligning non-linear features with your data distribution
reddit.com·21h·
Discuss: r/MachineLearning
🧠Machine Learning
Explaining Fully Homomorphic Encryption to My Mom
olshansky.medium.com·3h·
Discuss: Hacker News
🔐Homomorphic Encryption
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·17h·
Discuss: Hacker News
✅Format Verification
CRYSTALS - The Gently Introduction
dev.to·4d·
Discuss: DEV
⚗️Algebraic Coding
Anonymous structavaganza in zig
lirk.top·14h·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming
Deep Think with Confidence
arxiviq.substack.com·1d·
Discuss: Substack
💻Local LLMs
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·16h·
Discuss: Hacker News
🌳Archive Merkle Trees
Mini-Omni-Reasoner: Token-Level Thinking-in-Speaking in Large Speech Models
arxiv.org·1d
🎙️Whisper
Parallel Nodal Interior-Penalty Discontinuous Galerkin Methods for the Subsonic Compressible Navier-Stokes Equations: Applications to Vortical Flows and VIV Pro...
arxiv.org·3h
🎯Performance Proofs
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·3h
🔧Hardware Verification
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·3h
🗂️Vector Databases
When functions dissolve
rubber-duck-typing.com·1d·
Discuss: Hacker News
🐚Shell Calculus