Resource-Bounded Martin-L\"of Type Theory: Compositional Cost Analysis for Dependent Types
arxiv.org·2d
Dealing with alternatives
jemarch.net·1d
Datomic - Datomic at Clojure/Conj 2025
blog.datomic.com·1d
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·16h
Randomization in Typst
idraluna-archives.bearblog.dev·8h
Subterms Modulo Theories I
philipzucker.com·3d
Gödel’s Theorems (and logicisms) revisited
logicmatters.net·2d
Loading...Loading more...