RSS

quinn

Karma: 132

https://​​quinnd.net

Host of the Technical AI Safety Podcast https://​​technical-ai-safety.libsyn.com

Coorganizer of EA Philly

Streams Linear Algebra Done Right in Coq on twitch https://​​twitch.tv/​​quinndougherty92

High Im­pact Ca­reers in For­mal Ver­ifi­ca­tion: Ar­tifi­cial Intelligence

quinn5 Jun 2021 14:45 UTC
23 points
5 comments16 min readEA link

EA Philly’s In­fo­demics Event Part 2: Aviv Ovadya

quinn22 May 2021 18:29 UTC
7 points
0 comments12 min readEA link

EA Philly’s In­fo­demics Event Part 1: Jeremy Blackburn

quinn28 Jan 2021 13:08 UTC
11 points
0 comments11 min readEA link

[Question] What would an EA do in the french rev­olu­tion?

quinn7 Jan 2021 13:10 UTC
7 points
0 comments1 min readEA link

[Question] What would an EA do in the amer­i­can rev­olu­tion?

quinn7 Jan 2021 12:58 UTC
8 points
4 comments1 min readEA link

A small pile of thoughts on psy­chol­ogy of entrepreneurship

quinn23 Dec 2020 18:33 UTC
24 points
0 comments5 min readEA link

My up­com­ing CEEALAR stay

quinn14 Dec 2020 6:23 UTC
41 points
5 comments3 min readEA link