RSS

So8res(Nate Soares)

Karma: 5,549

MIRI course list book re­views, part 1: Gödel, Escher, Bach

So8res1 Sep 2013 17:40 UTC
25 points
10 comments3 min readLW link

Book Re­view: Heuris­tics and Bi­ases (MIRI course list)

So8res2 Sep 2013 15:37 UTC
41 points
22 comments20 min readLW link

Book Re­view: Cog­ni­tive Science (MIRI course list)

So8res9 Sep 2013 16:39 UTC
43 points
8 comments15 min readLW link

Book Re­view: Ba­sic Cat­e­gory The­ory for Com­puter Scien­tists (MIRI course list)

So8res19 Sep 2013 3:06 UTC
51 points
23 comments4 min readLW link

Book Re­view: Naïve Set The­ory (MIRI course list)

So8res30 Sep 2013 16:09 UTC
47 points
21 comments5 min readLW link

Men­tal Con­text for Model Theory

So8res30 Oct 2013 6:35 UTC
86 points
47 comments8 min readLW link

Very Ba­sic Model Theory

So8res31 Oct 2013 7:06 UTC
35 points
15 comments10 min readLW link

On learn­ing difficult things

So8res11 Nov 2013 23:35 UTC
166 points
45 comments6 min readLW link

Book Re­view: Com­putabil­ity and Logic

So8res21 Nov 2013 13:52 UTC
41 points
26 comments13 min readLW link

Walk­through of “Defin­abil­ity of Truth in Prob­a­bil­is­tic Logic”

So8res9 Dec 2013 3:44 UTC
21 points
30 comments11 min readLW link

Walk­through of the Tiling Agents for Self-Mod­ify­ing AI paper

So8res13 Dec 2013 3:23 UTC
27 points
18 comments21 min readLW link

The me­chan­ics of my re­cent productivity

So8res9 Jan 2014 2:30 UTC
159 points
47 comments9 min readLW link

Ha­bit­ual Productivity

So8res9 Jan 2014 6:44 UTC
72 points
35 comments6 min readLW link

Dereg­u­lat­ing Dis­trac­tion, Mov­ing Towards the Goal, and Level Hopping

So8res12 Jan 2014 3:21 UTC
88 points
23 comments8 min readLW link

Dark Arts of Rationality

So8res19 Jan 2014 2:47 UTC
226 points
192 comments17 min readLW link

On sav­ing the world

So8res30 Jan 2014 20:00 UTC
180 points
170 comments16 min readLW link

Book Re­view: Lin­ear Alge­bra Done Right (MIRI course list)

So8res17 Feb 2014 20:52 UTC
56 points
15 comments7 min readLW link

Bot­world: a cel­lu­lar au­toma­ton for study­ing self-mod­ify­ing agents em­bed­ded in their environment

So8res12 Apr 2014 0:56 UTC
78 points
55 comments7 min readLW link

Ex­plor­ing Botworld

So8res30 Apr 2014 22:29 UTC
34 points
2 comments6 min readLW link

Failures of an em­bod­ied AIXI

So8res15 Jun 2014 18:29 UTC
46 points
46 comments12 min readLW link