Users following midspiral
Henry Blanchette
rybla
programming languages, formal verification, game dev, game theory
CS PhD student at UMD Washington, DC
Amir Rajabi
tornado80
PhD@Aalto / Interested in Formal Verification and Cryptography
Aalto University Helsinki, Finland
Harry Nicholls
hnipps
Exploring what’s possible when we use AI to augment our abilities, skills, and experience.
@ev-energy Toronto, ON, Canada