jessicata(Jessica Taylor)

Karma: 7,880

Jessica Taylor. CS undergrad and Master’s at Stanford; former research fellow at MIRI.

I work on decision theory, social epistemology, strategy, naturalized agency, mathematical foundations, decentralized networking systems and applications, theory of mind, and functional programming languages.


Twitter: https://​​​​jessi_cata

A Proof of Löb’s The­o­rem us­ing Com­putabil­ity Theory

jessicata16 Aug 2023 18:57 UTC
71 points
0 comments17 min readLW link