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

RelationImpliesSemantics
DCDCDisconnected
ECECExternally connected
EQEQEqual
POPOPartially overlapped
TPPTPPiTangential proper part
TPPiTPPTangential proper part inverse
NTPPNTPPiNon-tangential proper part
NTPPiNTPPNon-tangential proper part inverse

Semantical

RelationImpliesSemantics
NPNext
PNPrevious
RRiReferences
RiRReferences inverse