RSS

crabman

Karma: 150 (LW), 0 (AF)
AllPostsComments
NewTop
Page 1

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

crabman
3 Feb 2019 21:04 UTC
33 points
2 commentsLW link

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

crabman
10 Aug 2018 15:12 UTC
9 points
0 commentsLW link

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

crabman
23 Jul 2018 9:46 UTC
11 points
0 commentsLW link

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

crabman
9 Jul 2018 20:55 UTC
15 points
0 commentsLW link

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

crabman
16 Jun 2018 19:09 UTC
15 points
0 commentsLW link

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

crabman
9 Jun 2018 19:57 UTC
20 points
0 commentsLW link