L
lexbailey@tech.lgbt
@lexbailey@tech.lgbt
Formal Verification Engineer by profession. Computer enjoyer by hobby.
Interests include:
Formal verification
Formal languages
CPU design
Esoteric languages and computers
I sometimes make silly things and post YouTube vids about them
Reputation
0
Profile views
1
Joined
Last Online
pronouns
they/them
github
github.com/lexbailey
YouTube
youtube.com/@computingthedetails