RSS

Donald Hobson

Karma: 383 (LW), 5 (AF)
AllPostsComments
NewTop

Propo­si­tional Logic, Syn­tac­tic Implication

Donald Hobson
10 Feb 2019 18:12 UTC
5 points
1 commentLW link

Prob­a­bil­ity space has 2 metrics

Donald Hobson
10 Feb 2019 0:28 UTC
88 points
11 commentsLW link

Allow­ing a for­mal proof sys­tem to self im­prove while avoid­ing Lo­bian ob­sta­cles.

Donald Hobson
23 Jan 2019 23:04 UTC
6 points
4 commentsLW link

[Question] Log­i­cal in­duc­tors in mul­ti­stable situ­a­tions.

Donald Hobson
3 Jan 2019 23:56 UTC
8 points
4 commentsLW link

Boltz­mann Brains, Si­mu­la­tions and self re­fut­ing hy­poth­e­sis

Donald Hobson
26 Nov 2018 19:09 UTC
0 points
8 commentsLW link

Quan­tum Me­chan­ics, Noth­ing to do with Consciousness

Donald Hobson
26 Nov 2018 18:59 UTC
10 points
18 commentsLW link

Click­bait might not be de­stroy­ing our gen­eral Intelligence

Donald Hobson
19 Nov 2018 0:13 UTC
26 points
12 commentsLW link

Stop but­tons and causal graphs

Donald Hobson
8 Oct 2018 18:28 UTC
6 points
2 commentsLW link

The po­ten­tial ex­ploita­bil­ity of in­finite options

Donald Hobson
18 May 2018 18:25 UTC
3 points
2 commentsLW link