skovlund.dev

Projects

  • skovlund.dev
    This website. Built with Astro, Tailwind, and TypeScript. Deployed to Cloudflare Pages via GitHub Actions.
    source / demo / read more
  • nix-config
    Declarative Nix environment with flakes, nix-darwin, and home-manager across macOS and Linux.
    source / read more
  • qed
    Typed spec-driven development with deterministic verification and formally proven orchestration, written in Lean 4.
    source / read more
  • miles
    Self-hosted NixOS VPS on Hetzner Cloud — observability, automated backups, AI assistant, and mesh networking.
    source / read more
  • mcp-score
    AI-powered music notation — describe what you want in plain English, get a publication-ready score in MuseScore, Dorico, or Sibelius.
    source / read more
  • Cambr
    Algorithmic trading framework built on evolutionary computation — strategies evolve through AI-driven mutation, crossover, and selection.
    read more
  • Eliza
    A fully autonomous AI assistant running 24/7 on a 3MB Rust binary — skills, memory, and Telegram access, deployed declaratively with Nix.
    source / read more
  • Advent of Code
    My solutions to Advent of Code — 25 days of programming puzzles each December.
    source