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
Popular Tags
#3dprinting
#abstraction
#advocacy
#agda
#agencies
#ai
#algorithms
#analysis
#api
#apis
#apps
#architect
#architecture
#art
#ascii
#assembly
#audio
#australia
#automation
#aws
#backend
#bigdata
#biomimicry
#blockchain
#blogging
#bootstrapping
#builder
#careerchange
#category
#category theory
#categorytheory
#cats
#charity
#christianity
#cloud
#coaching
#coding
#commands
#communication
#community
#compilers
#consciousness
#consulting
#content
#craftsmanship
#creative
#creator
#critique
#cryptography
#cto
#culture
#cybernetics
#cybersecurity
#data
#databases
#decentralization
#declarative
#dedication
#design
#developer
#development
#devops
#devrel
#digital
#digitalart
#docker
#education
#elixir
#embedded
#engineer
#engineering
#entrepreneur
#ethereum
#events
#experience
#experimental
#faith
#fastapi
#finance
#fintech
#formal
#formal methods
#foundational
#founder
#frontend
#fsharp
#fullstack
#functional
#functional programming
#functionalprogramming
#futuristic
#gamedev
#gaming
#github
#go
#graph
#hacking
#hardware
#haskell
#history
#homelabs
#htmx
#humanities
#hypermedia
#immutable
#indie
#influence
#infrastructure
#insights
#inspiration
#intelligence
#interoperability
#ios
#javascript
#knowledge
#kubernetes
#label
#lambda calculus
#langsec
#languages
#laravel
#leadership
#linux
#llms
#logic
#low-level
#lowlevel
#machine
#machinelearning
#maker
#mathematics
#media
#microkernels
#midwifery
#minimalist
#mobile
#motherhood
#multitasking
#music
#mvp
#nerd
#network
#networking
#nextjs
#nix
#nomadic
#ocaml
#offsec
#ontology
#open-source
#opensource
#opinions
#optimization
#paranormal
#parsing
#patterns
#performance
#philanthropy
#philosophy
#photography
#php
#physics
#plt
#politics
#polyglot
#polymath
#pragmatic
#pragmatism
#principles
#privacy
#producer
#product
#program analysis
#programming
#programming languages
#promotion
#psychology
#python
#qa
#quality
#react
#reactnative
#redteam
#registry
#reliability
#representation
#research
#retro
#rhetoric
#ruby
#rust
#scaling
#security
#self-taught
#serverless
#servicemesh
#social
#software
#software engineering
#solopreneur
#solopreneurs
#solutions
#songwriter
#sql
#sre
#startups
#storytelling
#strategy
#streaming
#support
#sysadmin
#systems
#tech
#technology
#terminal
#terraform
#theory
#tiktok
#tinkering
#twitter
#type systems
#types
#typescript
#typesystems
#typetheory
#verification
#vision
#w3c
#web
#webdev
#webmaster
#webofthings
#white-label
#wordpress
#writing
#x86
#youtube