TechDeck Directory

Alecs P. Hacker, a rising star in programming language theory, is a Ph.D. student at IMDEA Software. He specializes in type theory, functional programming, and formal verification, making significant contributions to refinement types and Liquid Haskell. Known for his foundational work on Abstract Hoare Logic, he is dedicated to building more reliable and robust software systems from the ground up.

Peter Steele is a versatile web developer and programmer, renowned for his innovative tinkering and keen eye as a photographer. Based in Michigan's Upper Peninsula, he adeptly combines digital craftsmanship with physical creation, exploring everything from intricate code to 3D printing. A true multi-hyphenate, Peter is always eager to connect with fellow makers and curious minds, fostering a spirit of collaborative learning.

Spaceghost e/🇺🇸, aka spacegho_st, is an ungineer and purveyor of intriguing wares, known for their endless online yapping and insightful tech commentary. A devout Christian, their passion for technology intertwines with their faith, resulting in unique perspectives and creative projects. Spaceghost's online presence is a vibrant mix of technical expertise and personal faith, making for an engaging and thought-provoking experience. Follow for a blend of coding wisdom and spiritual reflection.

Quentin Andrews is a versatile Australian tech professional, adept at navigating the complex realms of AI, cybersecurity, and networking. With a strong foundation in programming languages like JavaScript, Python, Node.js, and C, he crafts robust solutions. His expertise extends to full-stack development with HTML5, CSS, and SQL, demonstrating a comprehensive approach to digital innovation and artistic expression in code.

Joseph Trumbull is a dedicated Software Developer based in Philadelphia, known for his pragmatic approach to building robust digital solutions. With a solid foundation in programming, he meticulously crafts code that transforms concepts into functional applications. Currently seeking new opportunities, Joseph is eager to apply his expertise and passion for development to impactful projects, always focusing on clean, efficient, and scalable designs.

Dorian Develops is a self-taught programmer and prolific content creator, best known for his impactful YouTube channel which boasts over 280,000 subscribers. Embracing a nomad lifestyle, he combines his passion for coding with family travels, sharing his journey and expertise with a global audience. A purple belt in Brazilian Jiu-Jitsu, he brings discipline and strategic thinking to both his development work and his teaching.

Daniel is a highly respected software developer based in New Zealand, known for his profound expertise and passionate advocacy for F#. As a dedicated husband and father, he brings a grounded yet innovative approach to the tech landscape. His deep dive into functional programming languages, particularly F#, enables him to sculpt robust, elegant, and maintainable systems, making him a valuable contributor to the developer community.