RSS

crabman

Karma: 116
AllPostsComments
NewTop
Page 1

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 comments1 min readLW 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 comments1 min readLW 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 comments1 min readLW 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 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

crabman
9 Jun 2018 19:57 UTC
20 points
0 comments1 min readLW link

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

crabman
12 Apr 2018 22:28 UTC
10 points
5 comments1 min readLW link