Stories by tosh

Unofficial guide to Datomic internals (2014)

Pathom 3: A Library for Navigating Data

The Hedgehog and the Fox (1953) [pdf]

Circular Reference Attributed Grammars (2004) [pdf]

Managing State with VDOM

Deconstructing the Database (2012) [video]

ABC Problem

The Poet of Logic Programming (2020)

Forward reasoning, dependency-directed backtracking for circuit analysis (1976) [pdf]

CSP vs SMT

Algorithm = Logic and Control (1979) [pdf]

LLaVA-1.6: Improved reasoning, OCR, and world knowledge

Mistral: […] employee of one of our early access customers leaked [an] old model

The Power of Prolog

Tilde

Horner's Method

ksql

Box–Muller Transform

DBToaster

EdgeQL