In Memoriam: John W. Addison, my PhD advisor

The Yin and Yang of Programming

The complete story of Gödel incompleteness

The Rise and Fall of GOFAI

A Bad Trip to Infinity

I lived through 5 decades of computing milestones

I quiz ChatGPT about math

Good Old Fashioned AI is dead, long live New-Fangled AI

Mathematical Existence and the Axiom of Choice

We Demand Data – The Story of Lucid and Eduction

Hyperstreams – Nesting in Lucid

Shennat dissertation: Dimensional analysis of Lucid programs

Tech talks don’t have to be boring

Portrait vs. Landscape – more than meets the eye

Stretchtext or Bust – Ted Nelson’s unrealized vision

Type Checking as Calculation

PyFl – new functional programming language from Bill Wadge

Topology and Computability

PyLucid: Calculating Dimensionalities with Yaghi Code