Nate Soares ⏹️

Nate Soares ⏹️ I run a nonprofit that does research to ensure that the creation of artificial general intelligence will have a positive impact: see intelligence.org. I've worked for Google, Microsoft, the National Institute of Standards and Technology, and the US Department of Defense. Specialties: Probability theory, decision theory, mathematical logic, etc. Haskell, Agda, Lean, etc. Python, Java, C, etc. Django, Node.js, etc. HTML, CSS (+SASS), Javascript (+Coffeescript) etc. See github.com/Soares

Career

Cosigned byLoading...

CosignedSign in to view

Based in: Berkeley
Elsewhere

Profile name

Company name

Company name

Profile name

Company name

Company name

Profile name

Company name

Company name

Profile name

Company name

Company name

Profile name

Company name

Company name

Nate Soares ⏹️

Machine Intelligence Research Institute

Google

Microsoft

Curated Lists

List Inclusions