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.
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, harmonica, music theory, 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?
The Well-Architected Agent monitors the accounts and applications you choose, generates prioritized recommendations against your goals within 24 hours, and ships automation-ready remediation — including updated IaC templates.
DuckDB is now embedded in Aurora PostgreSQL: query live operational data alongside Iceberg/Parquet data lakes in a single PostgreSQL query — no ETL, no duplication, no extra network hops.