TechDeck Directory
Browse the collectible directory of tech Twitter/X profiles, each card uniquely generated with AI-powered stats and abilities.
85
Attack
90
Defense
88
Speed
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.
Buff
Type Theory Architect
Weakness
Deep Diver
Vibe
Pattern Alchemist
Special Move
Formal Verification Strike
93
Attack
94
Defense
88
Speed
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.
Buff
Functional Paradigm Shifter
Weakness
Ivory Tower Isolation
Vibe
Declarative Architect
Special Move
Pure Function Composition
Popular Tags
#3d
#3dprinting
#abstraction
#actors
#advocacy
#agda
#agencies
#agents
#agi
#ai
#ajax
#algorithms
#analysis
#animals
#animation
#anthropic
#api
#apis
#apps
#architect
#architecture
#art
#ascii
#assembly
#audio
#australia
#author
#automation
#aws
#azure
#backend
#bigdata
#biomimicry
#blender
#blockchain
#blocks
#blogging
#bootstrapping
#broadcom
#builder
#building
#c
#career
#careerchange
#category
#category theory
#categorytheory
#cats
#charity
#christianity
#claude
#cloud
#cloudnative
#coaching
#coding
#cognitohazards
#comedy
#commentary
#communication
#community
#compilers
#consciousness
#consulting
#content
#craftsmanship
#creative
#creativity
#creator
#critical
#critique
#cryptography
#cto
#culture
#curation
#cybernetics
#cybersecurity
#cybersecurity coaching
#data
#databases
#debugging
#decentralization
#declarative
#dedication
#design
#developer
#development
#devops
#devrel
#diagnosis
#digital
#digitalart
#disruption
#disruptor
#distributed
#dotnet
#dsp
#eacc
#ecommerce
#education
#elixir
#embedded
#engineer
#engineering
#entertainment
#entrepreneur
#entrepreneurship
#ethereum
#evaluation
#events
#everyday
#exhibits
#experience
#experimental
#extensions
#faith
#fastapi
#federal
#film
#finance
#fintech
#formal
#formal methods
#foundational
#founder
#frontend
#fsharp
#fullstack
#functional
#functional programming
#functionalprogramming
#future
#futurism
#futuristic
#gamedev
#gameengines
#gaming
#generative
#github
#go
#golang
#graph
#gutenberg
#hacking
#hardware
#haskell
#headlines
#health
#helpdesk
#history
#homelabs
#html
#htmx
#humanities
#humor
#hypermedia
#immutable
#indie
#influence
#information
#infrastructure
#innovation
#inspiration
#integrations
#integrity
#intelligence
#internet
#interoperability
#ios
#itops
#japan
#javascript
#kafka
#knowledge
#kubernetes
#label
#lambda calculus
#langsec
#languages
#laravel
#leadership
#learning
#linux
#llm
#llms
#lockpicking
#logic
#low-level
#lowlevel
#machine
#machine learning
#machinelearning
#maker
#management
#marketing
#marketplace
#mathematics
#media
#memes
#memetics
#mentorship
#microkernels
#midwifery
#minimalist
#mobile
#modularity
#motherhood
#multidisciplinary
#multitasking
#music
#mvp
#nerd
#network
#networking
#news
#nextjs
#nix
#nodejs
#nomad
#nomadic
#notes
#ocaml
#offensive security
#offsec
#ontology
#open-source
#opensource
#opinions
#opsec
#optimization
#paranormal
#parsing
#patience
#patriot
#patterns
#pcb
#performance
#philanthropy
#philosophy
#photography
#photoshop
#php
#physical security
#physics
#plt
#politics
#polyglot
#polymath
#potential
#pragmatic
#pragmatism
#principles
#privacy
#producer
#product
#production
#products
#program analysis
#programming
#programming languages
#promotion
#prototypes
#pulumi
#python
#qa
#quality
#quantum
#racing
#rails
#react
#reactnative
#realtime
#redteam
#registry
#reliability
#repairability
#representation
#research
#retro
#reverseengineering
#rhetoric
#robotics
#rp2040
#ruby
#rust
#saas
#scaling
#security
#self
#self-defense
#self-taught
#seo
#serverless
#servicemesh
#simplicity
#social
#software
#software engineering
#solopreneur
#solopreneurs
#solutions
#songwriter
#sql
#sre
#startup
#startups
#statistics
#storytelling
#strategy
#streaming
#support
#sustainability
#swe
#sysadmin
#systems
#tech
#technical
#technology
#terminal
#texture
#themes
#theory
#tiktok
#tinkering
#training
#troubleshooting
#twitter
#type systems
#types
#typesafety
#typescript
#typesystems
#typetheory
#ui
#urban
#vercel
#verification
#verified
#veteran
#videos
#vim
#virtual
#virtualization
#vision
#vmware
#vr
#w3c
#web
#webapp
#webapps
#webdev
#webmaster
#webofthings
#webperformance
#webseries
#white-label
#wisdom
#wordpress
#writing
#x86
#youtube
#zig