RSS

philip_b

Karma: 824

Idea: OpenAI Gym en­vi­ron­ments where the AI is a part of the environment

philip_b12 Apr 2018 22:28 UTC
4 points
5 comments1 min readLW link

Fun­da­men­tals of For­mal­i­sa­tion Level 3: Set The­o­retic Re­la­tions and Enumerability

philip_b9 Jun 2018 19:57 UTC
16 points
0 comments1 min readLW link

Fun­da­men­tals of For­mal­i­sa­tion Level 4: For­mal Se­man­tics Basics

philip_b16 Jun 2018 19:09 UTC
12 points
0 comments1 min readLW link

Fun­da­men­tals of For­mal­i­sa­tion Level 5: For­mal Proof

philip_b9 Jul 2018 20:55 UTC
13 points
0 comments1 min readLW link

Fun­da­men­tals of For­mal­i­sa­tion Level 6: Tur­ing Machines and the Halt­ing Problem

philip_b23 Jul 2018 9:46 UTC
9 points
0 comments1 min readLW link

Fun­da­men­tals of For­mal­i­sa­tion Level 7: Equiv­alence Re­la­tions and Orderings

philip_b10 Aug 2018 15:12 UTC
8 points
0 comments1 min readLW link

AI Safety Pr­ereq­ui­sites Course: Re­vamp and New Lessons

philip_b3 Feb 2019 21:04 UTC
24 points
5 comments1 min readLW link

[Question] How to de­ter­mine if my sym­pa­thetic or my parasym­pa­thetic ner­vous sys­tem is cur­rently dom­i­nant?

philip_b31 May 2019 20:40 UTC
20 points
5 comments1 min readLW link

Reneg­ing proso­cially by Dun­can Sabien

philip_b18 Jun 2019 18:52 UTC
70 points
5 comments1 min readLW link
(medium.com)

Hard Prob­lems in Cryp­tocur­rency: Five Years Later—Buterin

philip_b24 Nov 2019 9:38 UTC
17 points
0 comments1 min readLW link
(vitalik.ca)

[Question] Is there soft­ware for goal fac­tor­ing?

philip_b18 Feb 2020 19:55 UTC
11 points
4 comments1 min readLW link

Why take notes: what I get from note­tak­ing and my desider­ata for note­tak­ing systems

philip_b29 May 2020 21:46 UTC
9 points
0 comments1 min readLW link
(github.com)

Clas­sifi­ca­tion of AI al­ign­ment re­search: de­con­fu­sion, “good enough” non-su­per­in­tel­li­gent AI al­ign­ment, su­per­in­tel­li­gent AI alignment

philip_b14 Jul 2020 22:48 UTC
35 points
25 comments3 min readLW link

[Question] What is com­plex­ity sci­ence? (Not com­pu­ta­tional com­plex­ity the­ory) How use­ful is it? What ar­eas is it re­lated to?

philip_b26 Sep 2020 9:15 UTC
6 points
11 comments2 min readLW link