ProgramCrafter comments on Open Thread—August 2023

[ProgramCrafter]

While reading Project Lawful, I’ve come across concept of algorithmic commitments and can’t find any other mentions of them.

https://​​www.glowfic.com/​​replies/​​1770000#reply-1770000

Bots for prisoner’s dilemma, defined as functions (other bot → decision):

let CooperateBot(_) = Cooperate

let DefectBot(_) = Defect

let FairBot (X) = if Provable( “X(Fairbot) == Cooperate” ) then Cooperate else Defect

let Provable-1(“X”) = Provable(” ~Provable(0=1) → X”)

let PrudentBot(X) = if (Provable(“X(PrudentBot) == Cooperate”) && Provable-1(“X(DefectBot) == Defect”)) then Cooperate else Defect

The topic looks pretty interesting; are there any further examples of such commitments?

UPD: I offer Manifold bounty for finding such examples!

[Unnamed]

Robust Cooperation in the Prisoner’s Dilemma

and other MIRIish writing under the tags to that post