From 15e5b0e7bce717b395cecf25881551a65420c163 Mon Sep 17 00:00:00 2001
From: Andrea Vezzosi <andrea@well-typed.com>
Date: Thu, 24 Oct 2024 13:40:29 +0200
Subject: [PATCH] updated Logbook

---
 Logbook.md | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/Logbook.md b/Logbook.md
index 66b0724..ba06578 100644
--- a/Logbook.md
+++ b/Logbook.md
@@ -1,5 +1,26 @@
 # Leios logbook
 
+## 2024-10-24
+
+### Haskell Simulation
+
+* First batch of praos visualizations:
+  - `cabal run viz praos-1` for a 2-node simulation relaying a chain
+    across.
+  - `cabal run viz praos-p2p-1` and `praos-p2p-2` for WIP simulations
+    of ~100 nodes dynamically generating and diffusing blocks.
+
+* CLI:
+  - `cabal run viz` now lists the visualization names,
+    as does `cabal run viz -- --help`.
+
+* CI:
+  - Haskell CI switched to use `haskell-actions/setup` instead of nix.
+  - Isolated the formal spec nix setup by using a `dummy-project`
+    instead of the repo root haskell project. Not a nix expert, others
+    might find a better solution.
+
+
 ## 2024-10-22
 
 ### NetSim