TechDeck Directory
Browse the collectible directory of tech Twitter/X profiles, each card uniquely generated with AI-powered stats and abilities.
Matti Palli is a distinguished researcher and an uncertified yet highly skilled Haskell engineer, known for his profound contributions to functional programming. His academic work, including a recent PhD on synthesis and repair, showcases a relentless pursuit of robust and automated software solutions, making complex type systems his playground and advancing the frontier of program verification.
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.
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.