22 lines
1.2 KiB
Markdown
22 lines
1.2 KiB
Markdown
|
- 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.
|