About This Website
Meta page describing the site's purpose, design philosophy, and technical implementation.
Design
For a fuller reference document, see the DSRD page.
I decided to go with a minimalistic design, inspirations being Paul Graham’s www.paulgraham.com and Dan Luu’s danluu.com, for example. Though for purposes of practicality, TheoR.net (further referred to as “website”) is a bit more loaded with features and verbose.
Hosting
Website is hosted on Hetzner servers, machine running on NixOS. I own domain name with Porkbun, and manage DNS with Terraform. You can find the code managing the infrastructure of theor.net domain at theor.net-infra.
The Docker images for applications at *.theor.net are deployed to GHCR via a CI pipeline. For more details about deploying a new application to theor.net, see the deploy page.
Relational structure
Website uses two orthogonal layers: topological, based on the RCC-8, and semantical.
RCC-8
| Relation | Implies | Semantics |
|---|---|---|
| DC | DC | Disconnected |
| EC | EC | Externally connected |
| EQ | EQ | Equal |
| PO | PO | Partially overlapped |
| TPP | TPPi | Tangential proper part |
| TPPi | TPP | Tangential proper part inverse |
| NTPP | NTPPi | Non-tangential proper part |
| NTPPi | NTPP | Non-tangential proper part inverse |
Semantical
| Relation | Implies | Semantics |
|---|---|---|
| N | P | Next |
| P | N | Previous |
| R | Ri | References |
| Ri | R | References inverse |