Posts by Category

blog

Naturals 2: Natural numbers

30 minute read

module Naturals where The night sky holds more stars than I can count, though fewer than five thousand are visible to the naked eye. The observable univers...

Testing Code

3 minute read

Consider a language, \(\mathscr{L}_0^{\N_0} \ell\),

Back to Top ↑

gf

Back to Top ↑

Personal Blog

Libraries in the Dust

3 minute read

A description of The Library of Babel, a Burning Man art installation in 2014

Back to Top ↑