About Me

Hello! I'm Dan. I love fishing, contributing to open source projects, homebrewing, and hanging out with cattle. Despite my unique hobbies, many quirks, and interesting antics I somehow convinced my lovely wife to marry me. By day I am a Machine Intelligence Engineer at Embedded Intelligence LLC. And yes, I use the best editor known to mankind... vim.

Fun projects I contribute to

rust (git) (docs)
Empowering everyone to build reliable and efficient software.
servo (git) (docs)
a modern, high-performance browser engine designed for both application and embedded use.
smoltcp (git) (docs)
standalone, event-driven TCP/IP stack that is designed for bare-metal, real-time systems.
sylkie (git) (docs)
tool and library with utilities for IPv6 address spoofing using the Neighbor Discovery Protocol

Books

Current

I'm currently reading Practical Foundations for Programming Languages by Robert Harper and Certified Programming with Dependent Types by Adam Chlipala.

Good reads