From 1cdd0524ebce3d24ff8d0b6517452d7dd7630699 Mon Sep 17 00:00:00 2001 From: ronny Date: Mon, 4 Nov 2024 10:02:16 +0100 Subject: [PATCH] Add meeting-notes/20241104 Meeting notes.md --- meeting-notes/20241104 Meeting notes.md | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 meeting-notes/20241104 Meeting notes.md diff --git a/meeting-notes/20241104 Meeting notes.md b/meeting-notes/20241104 Meeting notes.md new file mode 100644 index 0000000..4981f4d --- /dev/null +++ b/meeting-notes/20241104 Meeting notes.md @@ -0,0 +1,22 @@ +- attending: Niols, Valentin (flaky connection), Ronny + - Niols has a working install for Mastodon and Peertube + - The installs are working, but you just get one go, this is related to networking + - Ronny will share the design with Koen. + - Valentin implemented a slice of the DOM specification in Nix module system options + - It goes slower than imagined because the standard is quite messy + - Many rules are specified verbally and have nothing to do with the syntactic representation + - But the module system has dependent type capabilities, so the PoC works as intended: + - Everything snaps together nicely + - It makes for an interface that allows creating correct-by-construction documents with very little visual noise + - Need to clean up history before pushing latest commits + - Will continue filling the missing elements needed for the page as is, and then go on to skinning + - Should be operational by Friday, as planned + +We have to discuss the following with Robert: +```mermaid +graph LR + A[Fediversity-UI] --> Z((central database??))--> B[NixOps] --> C[something] --> D[Proxmox] + B --> E[Nix-machineconfig] + B --> F[IP-config] --> G[DNS] +``` +We have to discuss interfaces and datamodel. Ronny will ping Robert. \ No newline at end of file