04 May 26
yogthos/chiasmus: Chiasmus is an MCP server that gives language models access to formal verification
Chiasmus is an MCP server that gives language models access to formal verification - yogthos/chiasmus
02 May 26
Best practices for http / grpc handlers.
08 Apr 26
Excellent summary of how to reduce logging redundancy when implementing web services.
27 Mar 26
This page collects my blog posts on the fight against spam bots, search engine crawlers and other non-humans wasting the precious resources we have on Earth. There’s a “how-to” of my current setup on the Fight bots pages.
25 Mar 26
CLI agents like Claude Code make self-hosting dramatically easier and actually fun. This is the first time I would recommend it to normal software-literate people.
23 Mar 26
A collection of kernel and userland settings one can change to improve the security and usability of a Linux system. Targeted at Arch, but should work for other distros too.
Instantly test run Linux distros online in the cloud for free, right from your web browser. No installation or live boot required.
19 Mar 26
A concise write-up on what belongs as a context value of a golang context.
15 Mar 26
Web management dashborad for servers
27 Feb 26
Tutorials: Hosted server solutions, VPN encryption, data backups, phone, desktop and parental controls: DIGITAL PRIVACY .DIY get back your privacy.
06 Feb 26
Not quite sure why this needs to be Node specific, but it looks quite good as a supervisor.
09 Jan 26
06 Jan 26
Would work well on a Homelab to deploy container-based workloads.
05 Jan 26
Would work well on a Homelab to deploy container-based workloads.
11 Dec 25
Voiden.md is an offline-first, Git-native API workspace that unifies specs, docs, tests, and mocks using programmable Markdown blocks. Build APIs the way you actually work.