TechDeck Directory
Browse the collectible directory of tech Twitter/X profiles, each card uniquely generated with AI-powered stats and abilities.
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.
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.
Alcuin is a distinguished expert in language-theoretic security, a vital field that applies formal language theory to harden digital systems. With a verified profile and a significant following, they champion the cause of pure, immutable code, driving advancements in cybersecurity by focusing on foundational language design. Their sharp intellect and principled approach make them a formidable presence in tech.