Artificial Labs
Henry Blanchette
rybla
programming languages, formal verification, game dev, game theory
CS PhD student at UMD Washington, DC
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@facebook The edge of knowing
