Add meeting-notes/20241104 Meeting notes.md

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.