You can find me on gitea, github, and twitter.

External links

Blogs I like, informally categorized.

On programming languages:

• Semantic domain (Neelankantan Krishnaswami)
• A neighborhood of infinity (Dan Piponi)
• Existential Type (Bob Harper)
• Mathematics and Computation (Andrej Bauer)
• Jeremy Siek

On computer engineering:

• Daniel Lemire
• Emery Berger
• Paul Khuong: Some lisp

On graphics and compression:

• Cyan's RealTime Data Compression
• Rich Geldreich's Tech Blog
• Raph Levien's blog
• The Nothing itself nothings (Sean Barrett)