Hi! I'm Dylan, a college sophomore passionate about collaborative software development. I'm proficient in Haskell, Rust, Python, Rocq (formerly Coq), Go, Java, and C, and have experience using Git for version control. Last year, I lead a four-person project to develop a generic settings app for DE-less Linux, focusing on modularity and extensibility... that we never finished. Nonetheless, we all learned a solid bit about software development! Right now, my main interests are compilers and Rocq.
I'm actively seeking an internship or junior software engineering role to expand my skills and contribute to impactful projects. While I still have plenty to learn, I bring a strong work ethic, a love of problem-solving, and a deep curiosity for new challenges. Programming is both my passion and a career path I'm eager to pursue.
If any of this sounds interesting, I'd be thrilled to connect! You can reach me at [[email protected]] and learn more at [dsommer.dev]. Also feel free to contact me for extra hands on an open source project.