Fun­da­men­tals of For­mal­i­sa­tion Level 5: For­mal Proof

philip_b9 Jul 2018 20:55 UTC
13 points
0 comments1 min readLW link

RAISE is look­ing for full-time con­tent developers

null9 Jul 2018 17:01 UTC
22 points
5 comments1 min readLW link

Align­ment Newslet­ter #14

Rohin Shah9 Jul 2018 16:20 UTC
14 points
0 comments9 min readLW link
(mailchi.mp)

Math: Text­books and the DTP pipeline

Andrew Quinn9 Jul 2018 15:09 UTC
12 points
3 comments2 min readLW link

The Craft And The Codex

Paperclip Minimizer9 Jul 2018 10:50 UTC
12 points
7 comments1 min readLW link
(slatestarcodex.com)

The Fermi Para­dox: What did Sand­berg, Drexler and Ord Really Dis­solve?

shminux8 Jul 2018 21:18 UTC
46 points
28 comments5 min readLW link

An Ex­er­cise in Ap­plied Ra­tion­al­ity: A New Apartment

Sable8 Jul 2018 21:18 UTC
8 points
9 comments1 min readLW link

Es­ti­mat­ing the con­se­quences of de­vice de­tec­tion tech

Jsevillamol8 Jul 2018 18:25 UTC
27 points
4 comments7 min readLW link

Put­ting Log­a­r­ith­mic-Qual­ity Scales On Time

lionhearted (Sebastian Marshall)8 Jul 2018 15:00 UTC
12 points
2 comments5 min readLW link

Au­to­matic for the people

technicalities8 Jul 2018 14:23 UTC
18 points
23 comments7 min readLW link

Sto­ries of Sum­mer Sols­tice

Raemon8 Jul 2018 7:16 UTC
53 points
12 comments6 min readLW link

How to aban­don reductionism

ExpoundingDhamma8 Jul 2018 6:10 UTC
−17 points
0 comments2 min readLW link

Book re­view: Pearl’s Book of Why

PeterMcCluskey7 Jul 2018 17:30 UTC
69 points
8 comments6 min readLW link
(www.bayesianinvestor.com)

Over­com­ing Cling­i­ness in Im­pact Measures

IAFF-User-3097 Jul 2018 16:26 UTC
0 points
0 comments1 min readLW link
(www.lesswrong.com)

Low Im­pact via Whitelisting

IAFF-User-3097 Jul 2018 16:25 UTC
0 points
0 comments1 min readLW link
(www.lesswrong.com)

ob­vi­ous epipha­nies

nBrown7 Jul 2018 3:05 UTC
11 points
3 comments2 min readLW link

Towards dis­solv­ing the mys­tery of consciousness

GeometryOfTheShadows6 Jul 2018 21:36 UTC
41 points
7 comments1 min readLW link

RFC: Men­tal phe­nom­ena in AGI alignment

Gordon Seidoh Worley5 Jul 2018 20:52 UTC
12 points
16 comments5 min readLW link

Ge­offrey Miller on Polyamory and Mating

Jacob Falkovich5 Jul 2018 20:01 UTC
9 points
0 comments1 min readLW link
(putanumonit.com)

Debt is an Anti-investment

Jacob Falkovich5 Jul 2018 20:00 UTC
46 points
42 comments6 min readLW link

An in­tro­duc­tion to worst-case AI safety

Tobias_Baumann5 Jul 2018 16:09 UTC
14 points
2 comments1 min readLW link
(s-risks.org)

An op­ti­miza­tion pro­cess for demo­cratic organizations

selylindi5 Jul 2018 15:34 UTC
9 points
14 comments1 min readLW link
(adelaybeingreborn.wordpress.com)

Wash­ing­ton, D.C.: Air & Space Museum

RobinZ5 Jul 2018 3:02 UTC
8 points
0 comments1 min readLW link

On Authority

quanticle5 Jul 2018 2:37 UTC
13 points
1 comment1 min readLW link
(www.interfluidity.com)

Mak­ing a Differ­ence Tem­pore: In­sights from ‘Re­in­force­ment Learn­ing: An In­tro­duc­tion’

TurnTrout5 Jul 2018 0:34 UTC
33 points
6 comments8 min readLW link

June gw­ern.net newsletter

gwern4 Jul 2018 22:59 UTC
34 points
0 comments1 min readLW link
(www.gwern.net)

Some Re­marks on the Na­ture of Poli­ti­cal Conflict

Paperclip Minimizer4 Jul 2018 12:31 UTC
15 points
6 comments4 min readLW link

The Learn­ing-The­o­retic AI Align­ment Re­search Agenda

Vanessa Kosoy4 Jul 2018 9:53 UTC
92 points
37 comments32 min readLW link

The Pre­dic­tion Prob­lem: A Var­i­ant on New­comb’s

Chris_Leong4 Jul 2018 7:40 UTC
25 points
11 comments9 min readLW link

In­terthe­o­retic util­ity comparison

Stuart_Armstrong3 Jul 2018 13:44 UTC
23 points
11 comments6 min readLW link

Moscow LW meetup in “Nauchka” library

Alexander2303 Jul 2018 11:25 UTC
9 points
0 comments1 min readLW link

What will we do with the free en­ergy?

ChristianKl3 Jul 2018 10:50 UTC
13 points
8 comments1 min readLW link

Let­ting Go II: Un­der­stand­ing is Key

johnswentworth3 Jul 2018 4:08 UTC
11 points
0 comments2 min readLW link

Why it took so long to do the Fermi calcu­la­tion right?

Jan_Kulveit2 Jul 2018 20:29 UTC
76 points
20 comments1 min readLW link

The 10% Im­prove­ment Problem

norswap2 Jul 2018 16:27 UTC
8 points
4 comments1 min readLW link
(twitter.com)

Align­ment Newslet­ter #13: 07/​02/​18

Rohin Shah2 Jul 2018 16:10 UTC
70 points
12 comments8 min readLW link
(mailchi.mp)

Are eth­i­cal asym­me­tries from prop­erty rights?

KatjaGrace2 Jul 2018 3:00 UTC
108 points
37 comments3 min readLW link
(meteuphoric.com)

LW Up­date 2018-07-01 – De­fault Weak Upvotes

Raemon1 Jul 2018 23:47 UTC
30 points
44 comments1 min readLW link

Melbourne So­cial Meetup July

ShardPhoenix1 Jul 2018 6:29 UTC
7 points
0 comments1 min readLW link
(www.facebook.com)

Paul’s re­search agenda FAQ

zhukeepa1 Jul 2018 6:25 UTC
126 points
74 comments19 min readLW link1 review

Another take on agent foun­da­tions: for­mal­iz­ing zero-shot reasoning

zhukeepa1 Jul 2018 6:12 UTC
60 points
20 comments12 min readLW link

Good­hart Tax­on­omy: Agreement

Ben Pace1 Jul 2018 3:50 UTC
43 points
4 comments7 min readLW link

Log­i­cal un­cer­tainty and math­e­mat­i­cal uncertainty

AlexMennen1 Jul 2018 0:33 UTC
0 points
0 comments1 min readLW link
(www.lesswrong.com)

What is the thresh­old for “Hide Low Karma”?

Chris_Leong1 Jul 2018 0:24 UTC
7 points
4 comments1 min readLW link

Over­com­ing Cling­i­ness in Im­pact Measures

TurnTrout30 Jun 2018 22:51 UTC
30 points
9 comments7 min readLW link

The Values-to-Ac­tions De­ci­sion Chain

Remmelt30 Jun 2018 21:52 UTC
29 points
6 comments10 min readLW link

Meta: IAFF vs LessWrong

Vanessa Kosoy30 Jun 2018 21:15 UTC
1 point
9 comments1 min readLW link

Dis­solv­ing the Fermi Para­dox, and what re­flec­tion it provides

Jan_Kulveit30 Jun 2018 16:35 UTC
28 points
22 comments1 min readLW link
(arxiv.org)

“Cheat­ing Death in Da­m­as­cus” Solu­tion to the Fermi Para­dox

avturchin30 Jun 2018 12:00 UTC
14 points
5 comments3 min readLW link

Effec­tive Altru­ism Sum­mer Read­ing List

krishkhubchand30 Jun 2018 6:34 UTC
1 point
0 comments1 min readLW link
(krishlearns.com)