Chiasmus is an MCP server that gives language models access to formal verification - yogthos/chiasmus

Best practices for http / grpc handlers.

Excellent summary of how to reduce logging redundancy when implementing web services.

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.

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.

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.

A concise write-up on what belongs as a context value of a golang context.

Web management dashborad for servers

Tutorials: Hosted server solutions, VPN encryption, data backups, phone, desktop and parental controls: DIGITAL PRIVACY .DIY get back your privacy.

Not quite sure why this needs to be Node specific, but it looks quite good as a supervisor.

Would work well on a Homelab to deploy container-based workloads.

Would work well on a Homelab to deploy container-based workloads.

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.