jack @jleightcap@types.pl
- pronouns
- he/him
- site
- jack.leightcap.com
R&E @trailofbits
compilers, computer architecture, theorem provers.
Joined Jun 2021
types are so cool i wish the values that inhabit them were real
- pronouns
- he/him
- site
- jack.leightcap.com
R&E @trailofbits
compilers, computer architecture, theorem provers.
Joined Jun 2021
