Hey all my name is David and I am currently building search for GitHub! As a search engineer I am figuring out how to find the right things across the billions of issues, repos, and users on GitHub. In my personal time I play with lots of different tooling to make my own life more enjoyable. This covers everything from single board computers to clustered utilities.