Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics
Toy Binary Decision Diagrams
philipzucker.com·1d
A very short, very blunt, book note
logicmatters.net·11h
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·3d
A Complex Qutrit Inside an Octonionic One
golem.ph.utexas.edu·11h
Cactus Language • Semantics 1
inquiryintoinquiry.com·12h
News for September 2025
ptreview.sublinear.info·2d
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·1d
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·22h
Loading...Loading more...