RSS

crabman

Karma: 106
AllPostsComments
NewTop

Fundamentals of Formalisation Level 7: Equivalence Relations and Orderings

crabman
10 Aug 2018 15:12 UTC
9 points
0 comments1 min readLW link

Fundamentals of Formalisation Level 6: Turing Machines and the Halting Problem

crabman
23 Jul 2018 9:46 UTC
11 points
0 comments1 min readLW link

Fundamentals of Formalisation Level 5: Formal Proof

crabman
9 Jul 2018 20:55 UTC
15 points
0 comments1 min readLW link

Fundamentals of Formalisation Level 4: Formal Semantics Basics

crabman
16 Jun 2018 19:09 UTC
15 points
0 comments1 min readLW link

Fundamentals of Formalisation Level 3: Set Theoretic Relations and Enumerability

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

Idea: OpenAI Gym environments where the AI is a part of the environment

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