IanBriggs's Following
- swissmicros
- zaneendersUS
- moshiximmudb
- Marc-B-Reynolds
- hellux
- linasOpenCog Foundation
- zimmermann6
- VinInnCERN
- mwillseyBerkeley, CA
- AllenDowneyOlin College of Engineering
- bSchneppSalt Lake City, Utah
- monadius
- mikebentley15University of Utah
- acl2Austin, TX
- oflattSalt Lake City
- NikolajBjornerMicrosoft Research
- Rbar70
- keram88School of Computing, University of Utah
- LeifAndersenPLT @ Northeastern University
- joshkunz@stripe