About

Talks

I’ve given one recorded talk, at PyGotham ’17:

Nim: a New Option For Optimizing Inner Loops

Projects

A useful RPN calculator.

Pantagruel

An in-progress formal specification language. Designed to be written and read by both humans and computers.