💾 Archived View for dcreager.net › about.gmi captured on 2024-08-25 at 00:23:40. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2024-06-16)
-=-=-=-=-=-=-
I’ve been thinking about, and using, programming languages for a very long time. By day, I’m a software engineer at GitHub, figuring out how to understand and analyze ~every programming language under the sun. By night, I balance family life with hacking on my own language, like any good PL enthusiast would!
In the past I’ve been involved in low-level performance, reliability, and security analysis of network traffic. As part of that work, I was the co-editor of two draft W3C specifications:
I also have a consultancy, Walland Heavy Research, where I bridge the gap between academia and industry. I love finding ways to bring results and best practices from each community to the other. I help academics productionize their research prototypes, and I help software engineers learn about state-of-the-art techniques that make their software more performant, more correct, and easier to understand and maintain. If this sounds like something that I can help you with, please reach out!
In addition to this content, you can find me at:
All of the opinions expressed on this site are my own, and not those of my employer.