RSS

Benya

Karma: 1,842

The sin of up­dat­ing when you can change whether you exist

Benya28 Feb 2014 1:25 UTC
16 points
17 comments10 min readLW link

SUDT: A toy de­ci­sion the­ory for up­date­less anthropics

Benya23 Feb 2014 23:50 UTC
27 points
14 comments8 min readLW link

I like sim­plic­ity, but not THAT much

Benya14 Feb 2014 19:51 UTC
38 points
33 comments8 min readLW link

L-zom­bies! (L-zom­bies?)

Benya7 Feb 2014 18:30 UTC
50 points
72 comments7 min readLW link

Re­sults from MIRI’s De­cem­ber workshop

Benya15 Jan 2014 22:29 UTC
71 points
43 comments6 min readLW link

Nat­u­ral­is­tic trust among AIs: The parable of the the­sis ad­vi­sor’s theorem

Benya15 Dec 2013 8:32 UTC
36 points
20 comments6 min readLW link

Meetup : Bris­tol meetup

Benya15 Oct 2013 20:04 UTC
8 points
3 comments1 min readLW link

Meetup : Se­cond Bris­tol meetup & mailing list for fu­ture meetups

Benya6 Jun 2013 16:47 UTC
4 points
4 comments1 min readLW link

Meetup : First Bris­tol meetup

Benya17 May 2013 16:52 UTC
7 points
10 comments1 min readLW link

PSA: Please list your refer­ences, don’t just link them

Benya4 Jan 2013 1:57 UTC
36 points
43 comments1 min readLW link

Math ap­pendix for: “Why you must max­i­mize ex­pected util­ity”

Benya13 Dec 2012 1:11 UTC
13 points
4 comments4 min readLW link

Why you must max­i­mize ex­pected utility

Benya13 Dec 2012 1:11 UTC
48 points
77 comments21 min readLW link

Pas­cal’s Mug­ging for bounded util­ity functions

Benya6 Dec 2012 22:28 UTC
18 points
49 comments2 min readLW link

A model of UDT with a con­crete prior over log­i­cal statements

Benya28 Aug 2012 21:45 UTC
62 points
24 comments4 min readLW link

How to cheat Löb’s The­o­rem: my sec­ond try

Benya22 Aug 2012 18:21 UTC
21 points
26 comments10 min readLW link

An an­gle of at­tack on Open Prob­lem #1

Benya18 Aug 2012 12:08 UTC
47 points
85 comments7 min readLW link

Self-mod­ifi­ca­tion is the cor­rect jus­tifi­ca­tion for up­date­less de­ci­sion theory

Benya11 Apr 2010 16:39 UTC
20 points
34 comments2 min readLW link