blog

notes from the desk.

Gated Epistemic Calculus (GEC): An Introduction, Part 1

Apr 27 '26 · updated May 11 '26 · 8 min

GEC Formal Spec Part 1 - Basics

Apr 27 '26 · 30 min

GEC Formal Spec Part 2 - Operators

Apr 27 '26 · updated Apr 27 '26 · 30 min

GEC Formal Spec Part 3 - Relations

Apr 27 '26 · updated Apr 27 '26 · 30 min