Users following midspiral
Henry Blanchette
rybla
programming languages, formal verification, game dev, game theory
CS PhD student at UMD Washington, DC
Harry Nicholls
hnipps
Exploring what’s possible when we use AI to augment our abilities, skills, and experience.
@ev-energy Toronto, ON, Canada