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.

Sjoerd Visscher is a highly respected software engineer and functional programming polymath. Working with Tweag, a software innovation lab, he's at the forefront of developer experience and high-assurance software, with deep expertise in Haskell, compilers, and Nix. His personal 'playground' showcases a boundless creativity, merging theoretical rigor with practical, experimental projects across games, music, and complex visualizations.

Moritz, known as @4ngerman, is a seasoned tech veteran with a verified presence since 2007. He champions advanced developer experience, compilers, and programming languages, notably advocating for the purely functional paradigm embodied by Haskell. His profound understanding helps engineers build highly reliable and maintainable software, transforming complex challenges into elegant, type-safe solutions.

Jules Hedges is a distinguished mathematics and computer science researcher, pioneering the application of category theory across diverse fields including economics, machine learning, and control theory. Based in Glasgow, he is affiliated with the Institute for Categorical Cybernetics and the University of Strathclyde, where he masterfully deciphers complex systems through a unique "Compositional Thinking" approach. His work is foundational for understanding the cybernetic underpinnings of modern technology.

Aron A. Adler is a distinguished software engineer deeply immersed in the sophisticated realms of functional programming, web development, and advanced type systems. Residing in LondO(n²), he approaches coding with a philosophical rigor, crafting robust and verifiable solutions. With over a decade on social platforms, he is known for his insightful contributions and a unique perspective on computing's fundamental truths.

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.