You can find me on gitea, github, and twitter.
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:
On graphics and compression:
- Cyan's RealTime Data Compression
- Rich Geldreich's Tech Blog
- Raph Levien's blog
- The Nothing itself nothings (Sean Barrett)