Stories by tosh

Deep Dive into Roam's Data Structure (2021)

Death by Specificity (2015) [video]

RethinkDB: The open-source database for the realtime web

Apple Extends Modem Licensing Deal with Qualcomm Through March 2027

Examples of Clojure's STM being used in the wild? (2022)

Sega Flux: Home Planetarium

Datalevin: A simple, fast and versatile Datalog database

Open Hermes 2.5 and Nous-Hermes 2 dataset now public

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