Resource Awareness, Session Types, Proof Nets, Substructural Logic
Adding OCR support to the local translator
blog.davidv.dev·59m
Some Early Tests and Notes on ChatGPT Agent
macstories.net·6h
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·4d
Loading...Loading more...