Satnam Singh
@satnam6502@mastodon.social
Punjabi-Scottish-American husband and father of two, works at Harmonic, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook} living in Los Altos, California
mastodon.social
Replying to
@BoydStephenSmithJr@hachyderm.io
@BoydStephenSmithJr@hachyderm.io Don't you think that developing technology to check the output of these AIs with formal methods is a good path forward?