Hello! I'm Dan. I love fly fishing, contributing to open source projects, cattle, and hanging out with my family. Despite my unique hobbies, many quirks, and interesting antics I somehow convinced my lovely wife to marry me. By day I get to write code at Mozilla. And yes, I use the best editor known to mankind... vim.
Fun projects I contribute to
a free web browser backed by Mozilla, a non-profit dedicated to internet health and privacy.
standalone, event-driven TCP/IP stack that is designed for bare-metal, real-time systems.
tool and library with utilities for IPv6 address spoofing using the Neighbor Discovery Protocol
I'm currently reading Practical Foundations for Programming Languages by Robert Harper and Certified Programming with Dependent Types by Adam Chlipala.