Bridging the Abstraction Gap: Formalizing Complex Systems with AI by Arvind Sundararajan
🎯Performance Proofs
Flag this post
New paper: Deformation theory for a morphism in the derived category with fixed lift of the codomain
pbelmans.ncag.info·1d
🔀Category Theory
Flag this post
Some Notes on Division, and its History (Including Alien Division for Fractions)
📐Interval Arithmetic
Flag this post
CDT in NLP Distinguished Lecture Series: Dan Roth
informatics.ed.ac.uk·21h
🎭Cultural Informatics
Flag this post
Omnidirectional type inference for ML: principality any way
arxiv.org·1d
🔗Functional Compilers
Flag this post
The elementary theory of surreal arithmetic is bi-interpretable with set theory, Notre Dame Logic Seminar, November 2025
jdh.hamkins.org·2d
🏗️Constructive Mathematics
Flag this post
The integers have TWO KINDS of multiplications (OR MORE??)
youtube.com·3d
⚔️Lean Theorem
Flag this post
Driving Compilers - the core concepts associated with the creation of an executable
fabiensanglard.net·3h
🔩Systems Programming
Flag this post
Christoph Breitkopf: Interval Tables in Common Lisp
bokesan.blogspot.com·1d
🔗Lisp
Flag this post
discrete spectrum
ncatlab.org·1d
🔀Category Theory
Flag this post
AI math genius delivers 100% accurate results
phys.org·18h
🧮SMT Solvers
Flag this post
Smoothsort Demystified
🌳Trie Structures
Flag this post
Loading...Loading more...