Stories by tosh

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

Rel: A Declarative Relational Language

Cypher (Query Language)

274 275 276 277 278 279 280 281 282 283