A focused selection of essays and guides: sovereign digital infrastructure, AI in production, product liability for developers, philosophy of technology, and my conference talks. Most topics feed directly into my consulting and workshop offers.
Run LLMs on your own GPU hardware: Ollama as the serving engine, Open WebUI as the ChatGPT-style frontend, and LiteLLM as an OpenAI-compatible router in front of everything — so local models and exter
The front door pattern: Nginx terminating TLS with automated Let's Encrypt renewal via Certbot, hardened by CrowdSec WAF/IPS with the nginx bouncer, kept fresh by Watchtower. One compose file in front
Music by Tobias Weiss — 5-string electric bass, classical-to-electric guitar, and home-studio production with Ableton Live.
Gödel's ontological argument — from five axioms about 'positive properties' to □∃x GodLike(x), now machine-checked in Lean 4 with zero sorry. What the proof assistant verifies, what it cannot, the price of the proof (modal collapse kills contingency), and why Kant's objection to the ontological argument still gets a vote.
Kant asked four questions — What can I know? What ought I to do? What may I hope? What is the human being? — and answered the second with the categorical imperative. Two centuries later the questions are sharper than ever: they collide with recommendation engines, delegated judgment, and black-box models. What survives of the imperative when the agent is partly a machine?
From 9 December 2026, software is a 'product' under German and EU liability law. What the Product Liability Directive 2024/2853 and the German reform (ProdHaftG-E) mean for freelance developers, in ten practical points.