kai

notation. Collection of quotes on notation design & how it affects thought.

knotation. Strange Loop 2015 talk: knot notation, enumeration, and drawing

linear-logic. An encoding of linear logic in Coq with minimal Sokoban and blocks world examples

poemify. ever wanted to change water into wine? better: now you can change prose into poetry

syntax. Experiments with syntax and symbols

hyperbible. The new revised international KJV-ASV-DRB-DBT-ERV-WBT-WEB-YET-AKJV-WNT version

alternative-internet. A collection of interesting new networks and tech aiming at decentralisation (in some form).

part-of-speech. a conversational interface for writing (with J. Juang) http://hypotext.co/part-of-speech

vst-crypto. SHA-256 and HMAC specs and lemmas (from VST)

penrose. a system to automatically visualize mathematics