From 6a18d5cb58e72b8f3517b1c0b76e4c34d6efffc9 Mon Sep 17 00:00:00 2001 From: JP Hastings-Spital Date: Tue, 25 Jul 2023 19:42:02 +0100 Subject: [PATCH] Rename posts --- content/posts/distributed-game-protocols/open-games/index.md | 2 +- content/posts/distributed-game-protocols/randomness/index.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/content/posts/distributed-game-protocols/open-games/index.md b/content/posts/distributed-game-protocols/open-games/index.md index 0fa0ba87..241d3d69 100644 --- a/content/posts/distributed-game-protocols/open-games/index.md +++ b/content/posts/distributed-game-protocols/open-games/index.md @@ -1,5 +1,5 @@ --- -title: "Distributed game protocols: Open games" +title: "Trust and simple games" emoji: ♟️ date: 2023-07-16T07:26:11+01:00 draft: false diff --git a/content/posts/distributed-game-protocols/randomness/index.md b/content/posts/distributed-game-protocols/randomness/index.md index a967599e..7c647539 100644 --- a/content/posts/distributed-game-protocols/randomness/index.md +++ b/content/posts/distributed-game-protocols/randomness/index.md @@ -1,5 +1,5 @@ --- -title: "Games with randomness" +title: "Trusting random at a distance" emoji: 🎲 date: 2023-07-25T19:25:00+01:00 draft: false