TechDeck Directory
Browse the collectible directory of tech Twitter/X profiles, each card uniquely generated with AI-powered stats and abilities.
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.
Effectfully is a profound luminary in the realms of Haskell, compilers, and advanced type theory. With a prolific GitHub presence featuring over 50 repositories, he is a master of functional programming and dependent types, notably Agda. His contributions include creating challenging Haskell exercises, insightful blogs, and intricate libraries for generic programming and type checking, solidifying his status as a thought leader who fearlessly dives into the 'mental decay' of deep theoretical exploration.
Zanzi Tangle is a visionary technologist at Monoidal Cafe, specializing in the profound art of transforming abstract Category Theory into functional code. A leading voice in compiler engineering and programming language theory, she elegantly bridges the gap between deep mathematical concepts and practical software development. Her expertise makes her a formidable force in building the future of computation.