Stories by tosh

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)

Seamless Deductive Inference via Macros (2022) [pdf]

Ranking of Fruits

SICP: Logic Programming

AbcDatalog

Constraints and the Power of Prolog