Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
A very short, very blunt, book note
logicmatters.net·11h
🔬Lean
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·1h·
Discuss: Hacker News
🔲Cellular Automata
On This Day in Math - October 6
pballew.blogspot.com·23h·
📐Interval Arithmetic
TypeScript Flaws (2024)
intercaetera.com·3h·
Discuss: Hacker News
🎯Gradual Typing
Atomic and Saturated Models
functor.network·3d·
Discuss: Hacker News
🔢Denotational Semantics
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·8h·
Discuss: DEV
SMT Applications
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·3d·
Discuss: Hacker News
🔬Lean
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·3d
🏗️Constructive Analysis
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·21h
⬆️Lambda Lifting
A Complex Qutrit Inside an Octonionic One
golem.ph.utexas.edu·11h
Time Crystals
Cactus Language • Semantics 1
inquiryintoinquiry.com·12h
🔢Denotational Semantics
Briefly Noted: Summer Reading
thepsmiths.com·7h·
Discuss: Hacker News
🔬Lean
News for September 2025
ptreview.sublinear.info·2d
🧪Property-Based Testing
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·1d
🎯Performance Proofs
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·22h
📏Code Metrics
A grand week
blog.mitrichev.ch·1d·
🧮SMT Solvers
Using Information Entropy To Make Choices / Choose Experiments
blog.demofox.org·1d
🔲Cellular Automata
The Power of Three: Ternary Logic, Triolectics, and Three Sided Football
sothismedias.com·18h·
Discuss: Hacker News
🧮Theoretical Computer Science
Beating the L1 cache with value speculation (2021)
mazzo.li·12h·
Discuss: Lobsters
CPU Microarchitecture