20

LESSWRONG
LW

19
FictionList of LinksWorld Modeling
Frontpage

85

Keltham's Lectures in Project Lawful

by Morpheus
1st Apr 2025
2 min read
6

85

85

Keltham's Lectures in Project Lawful
2Alice Blair
2Towards_Keeperhood
1Towards_Keeperhood
1Towards_Keeperhood
1Towards_Keeperhood
1Towards_Keeperhood
New Comment
6 comments, sorted by
top scoring
Click to highlight new comments since: Today at 9:14 PM
[-]Alice Blair3mo20

(I don't think you included it) The blurb on corrigibility is also really good. Yet another thing that I'm not sure if Eliezer has actually written up anywhere else.

Reply1
[-]Towards_Keeperhood5mo20

Note that the "Probability 2" lecture continues after the lunch break (which is ~30min skippable audio).

Reply
[-]Towards_Keeperhood5mo10

discussion of exercises of the probability 2 lecture starts mid episode 104.

Reply
[-]Towards_Keeperhood5mo10

Asmodia figuring out Keltham's probability riddles may also be interesting, though perhaps less so than the lectures. It starts episode 90. Starting quote is "no dath ilani out of living memory would've seen the phenomenon". The story unfortunately switches between Asmodia+Ione, Carrissa(+Peranza I think), and Keltham+Meritxell. You can skip the other stuff that's going on there (though the brief "dath ilan" reply about stocks might be interesting too).

Reply
[-]Towards_Keeperhood5mo10

Here's a useful exercise Keltham gives after the lecture "the alien maths of dath ilan".

Reply
[-]Towards_Keeperhood5mo10

Btw, just reading through everything from "dath ilan" might also be interesting: https://www.glowfic.com/replies/search?board_id=&author_id=&template_id=&character_id=11562&subj_content=&sort=created_old&commit=Search

Reply
Moderation Log
More from Morpheus
View more
Curated and popular this week
6Comments
FictionList of LinksWorld Modeling
Frontpage

(Not an April fools' joke)

If anyone wants to return to one of Keltham's lectures, here's a list with links to all the lectures. In principle, one could also read these without having read the rest of Project Lawful aka Planecrash, I am not sure how easy it would be to follow though. I included short excerpts, so you can also find the sections in the e-book.

Happy reading/listening:

Validity

Podcast Episode 9, minute 26

Keltham takes their scrambling-time as a pause in which to think. It's been a long time, at least by the standards of his total life lived so far, since the very basics were explained to him.

Evolution

Podcast Episode 15, minute 1

To make sure everybody starts out on the same page, Keltham will quickly summarize earlier conversations for the benefit of any harem members who might not have been in hearing range for it.

Negotiation

Podcast Episode 39, minute 8

"Never mind. For a start, today, I'm going to try to quickly review the way that dath ilani learn about negotiation -"

Probability 1

Podcast Episode 73, minute 12

So now, hopefully, they're getting to the good part! Previous stuff was just sort of trying to show you what Law is at all, like with Validity.

Probability 2

Podcast Episode 82

"Greetings, my esteemed co-researchers.

Utility

Podcast Episode 107, minute 24

After that, he's got the time for another hour of Law before dinner, and after a Lesser Restoration the energy too, so next up is Utility.

Probable utility

Podcast Episode 110, minute 13

In his morning lecture, Keltham makes a further run at Utility

Cooperation 1

Podcast Episode 112, minute 10

Keltham, then, will jump ahead of Decision, to a lesser fragment of Coordination.

Cooperation 2

Podcast Episode 117, minute 6

So today he's going to try a lecture in Baseline, approaching some of the mathematics of Decision as is more complicated than the simple cases.

References: The Cartoon Guide to Löb's Theorem

Governance

Podcast Episode 120, minute 1

Keltham takes time to hang a first-level wizard spell, no point in missing any practice there either, and then announces an optional lecture on Civilization's Governance.

To hell with science

Podcast Episode 128

The library-classroom is more crowded, now, but not overcrowded; it was built with this in mind.

To earth with science

Podcast Episode 132

Meanwhile in a totally different continuum - insofar as the word 'meanwhile' can mean anything when two continua are causally disconnected - which, in fact, it can't.

Chemistry

Podcast Episode 134

Actual chemistry lecture this morning!

How to relate to beliefs

Podcast Episode 136, minute 9

Keepers-only lecture to Meritxell, Pilar, and Asmodia.

References: A Fable of Science and Politics, Belief in Belief

The alien maths of dath ilan

Podcast Episode 138

The Rule of Succession! This is sort of picking up the topic from last time about Science!, how to do statistical inference.

What the truth can destroy

Podcast Episode 146

From one perspective, it's surprising that the first Keltham-induced break outside of Carissa Sevar occurs inside of Pilar Pineda.

References: The bottom line

Lecture on wants

Podcast Episode 148, minute 42

Keltham holds forth today on the answer to a question Pilar asked him a while ago, about dath ilan's view on what people should want, and how they should want it.

Acknowledgement

Thanks to @Towards_Keeperhood  for paying me to compile this list.