RSS

Faustus2

Karma: 55

AI-Feyn­man as a bench­mark for what we should be aiming for

Faustus24 Jul 2020 9:24 UTC
8 points
1 comment2 min readLW link

[Question] On the role of ab­strac­tion in math­e­mat­ics and the nat­u­ral sciences

Faustus218 Dec 2019 0:04 UTC
17 points
11 comments2 min readLW link

Type The­ory quick question

Faustus226 Jul 2017 19:57 UTC
0 points
6 comments1 min readLW link

Math­e­mat­ics for AIXI and Gödel machine

Faustus222 Jul 2015 18:52 UTC
1 point
6 comments1 min readLW link

Just a ca­sual ques­tion re­gard­ing MIRI

Faustus222 Mar 2015 20:16 UTC
18 points
7 comments1 min readLW link