formalspec
Declare your machines in code and keep them identical, on any Linux distro and on macOS.
Loading README.md…

Registered to
Kyan De Sutter
Software engineer building at CanaryCoders. University dropout. I write about the software I use and build the things I wish existed.
Connecting to ListenBrainz… *** Skins: right-click, or the button at the top left
My Coding Setup: A Mac Server, Two Linux Boxes and a Herd of Claudes
A Mac that never sleeps, a NixOS build box, a cheap Linux laptop, and the terminal multiplexer I use to keep a pile of Claude Code agents from getting lost.

Downloading imagery...
Downloading imagery...
Hardware profiles let you pick a set of devices at startup.
10 devices in this profile.
The hardware I use every day, grouped by type. Open a device to see it.
Contacting weather service...
<a href="https://www.formalsnake.dev">
<img src="https://www.formalsnake.dev/buttons/formalsnake.png"
alt="FormalSnake" width="88" height="31">
</a>Shareware DOOM by id Software, GPL-2.0.Source
ClassiCube, a Minecraft Classic reimplementation by UnknownShadow200, BSD-3.Source
Theme:
Background:
Declare your machines in code and keep them identical, on any Linux distro and on macOS.
Loading README.md…