meta/meeting-notes/2024-11-04 meeting notes.md

• 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:

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.