Resource-Bounded Martin-L\"of Type Theory: Compositional Cost Analysis for Dependent Types
arxiv.org·3d
Dealing with alternatives
jemarch.net·1d
Making large language models reliable data science programming copilots for biomedical research
nature.com·24m
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·22h
Datomic - Datomic at Clojure/Conj 2025
blog.datomic.com·1d
Explainer: Tree-sitter vs. LSP
lambdaland.org·1d
Regularity bias in Solomonoff, transformers, and evolution
lesswrong.com·10h
Randomization in Typst
idraluna-archives.bearblog.dev·15h
Subterms Modulo Theories I
philipzucker.com·3d
Loading...Loading more...