skovlund.dev
Thomas Skovlund Hansen

Hej!

I'm Thomas Skovlund Hansen.

I'm a Software Engineer at Danske Commodities

with an MSc in CS from Aarhus University.

I build software, explore rabbit holes, and write about it. When I'm not at a keyboard, I'm probably playing trombone, running, or enjoying life with my girlfriend Maud.

Currently into declarative systems, giving AI agents more permissions than they probably deserve, and experimenting with self-hosted infrastructure. I'm a big believer in building personal tooling that compounds — every hour invested pays back across everything else.

Latest posts

Selected Projects

See all projects
  • This website. Built with Astro, Tailwind, and TypeScript. Deployed to Cloudflare Pages via GitHub Actions.
  • Declarative Nix environment with flakes, nix-darwin, and home-manager across macOS and Linux.
  • Typed spec-driven development with deterministic verification and formally proven orchestration, written in Lean 4.

Let's Connect!

If you want to get in touch about something or just say hi, reach out on social media or send me an email.