agentydragon · agentydragon · Feb 27, 2026 · Mar 22, 2026 · Mar 22, 2026 · Mar 22, 2026
diff --git a/MODULE.bazel b/MODULE.bazel
@@ -707,6 +707,22 @@ http_archive(
     urls = ["https://github.com/google/go-containerregistry/releases/download/v0.18.0/go-containerregistry_Linux_x86_64.tar.gz"],
 )
 
+# Zola static site generator — single binary, used by website_zola genrule.
+http_archive(
+    name = "zola",
+    build_file_content = 'exports_files(["zola"], visibility = ["//visibility:public"])\n',
+    sha256 = "0ca09aa40376aaa9ddfb512ff9ad963262ef95edb0d0f2d5ec6961b6f5cf22ef",
+    urls = ["https://github.com/getzola/zola/releases/download/v0.22.1/zola-v0.22.1-x86_64-unknown-linux-gnu.tar.gz"],
+)
+
+# Hugo static site generator (extended edition with SASS) — used by website_hugo genrule.
+http_archive(
+    name = "hugo",
+    build_file_content = 'exports_files(["hugo"], visibility = ["//visibility:public"])\n',
+    sha256 = "7822d40360c8123a624ac8f3e4305b83908dd76cc7885ae4b00e985dac0b920f",
+    urls = ["https://github.com/gohugoio/hugo/releases/download/v0.147.1/hugo_extended_0.147.1_linux-amd64.tar.gz"],
+)
+
 # ─ Specimen code archives (remote-VCS specimens) ─────────────────────────────
 # These specimens reference external Git repos rather than bundled code/ dirs.
 # Code is fetched at build time and exposed as filegroups for create_code_tar.

diff --git a/pyproject.toml b/pyproject.toml
@@ -143,6 +143,7 @@ dependencies = [
     "markdown>=3.5.2",
     "markdownify>=0.11.0",
     "lxml>=5.0.0",
+    "html5lib>=1.1",
 
     # habitify
     "python-dotenv",

diff --git a/requirements_bazel.txt b/requirements_bazel.txt
diff --git a/website_hugo/BUILD.bazel b/website_hugo/BUILD.bazel
@@ -0,0 +1,16 @@
+genrule(
+    name = "site",
+    srcs = glob([
+        "content/**",
+        "layouts/**",
+        "static/**",
+        "assets/**",
+    ]) + ["config.toml"],
+    outs = ["site.tar"],
+    cmd = " && ".join([
+        "$(location @hugo//:hugo) --source $$(dirname $(location config.toml)) --destination $$PWD/hugo_out",
+        "tar -cf $@ -C hugo_out .",
+    ]),
+    tags = ["manual"],
+    tools = ["@hugo"],
+)
diff --git a/website_hugo/assets/css/default.scss b/website_hugo/assets/css/default.scss
@@ -0,0 +1,195 @@
+// Solarized colors, from https://ethanschoonover.com/solarized/
+
+$base03: #002b36;
+$base02: #073642;
+$base01: #586e75;
+$base00: #657b83;
+$base0: #839496;
+$base1: #93a1a1;
+$base2: #eee8d5;
+$base3: #fdf6e3;
+$yellow: #b58900;
+$orange: #cb4b16;
+$red: #dc322f;
+$magenta: #d33682;
+$violet: #6c71c4;
+$blue: #268bd2;
+$cyan: #2aa198;
+$green: #859900;
+@mixin rebase($rebase03, $rebase02, $rebase01, $rebase00, $rebase0, $rebase1, $rebase2, $rebase3) {
+  body {
+    background-color: $rebase3;
+    color: $rebase00;
+  }
+
+  header {
+    background-color: $rebase2;
+    border-bottom-color: $red;
+    position: sticky;
+    top: 0;
+    left: 0;
+    right: 0;
+  }
+
+  header a.logo {
+    color: $rebase01;
+  }
+
+  header a {
+    color: $red;
+  }
+
+  footer {
+    border-top-color: $red;
+    border-bottom-color: $red;
+    background-color: $rebase2;
+  }
+
+  code {
+    background-color: $rebase2;
+  }
+
+  a {
+    color: $red;
+    &:visited {
+      color: $orange;
+    }
+  }
+
+  #articles article {
+    border-top: 1px solid $rebase2;
+  }
+
+  pre {
+    border-top-color: $red;
+    border-bottom-color: $red;
+  }
+
+  h1,
+  h2,
+  h3,
+  h4,
+  h5,
+  h6 {
+    color: $rebase01;
+  }
+}
+
+html {
+  @include rebase($base3, $base2, $base1, $base0, $base00, $base01, $base02, $base03);
+}
+
+@media (prefers-color-scheme: dark) {
+  html {
+    @include rebase($base03, $base02, $base01, $base00, $base0, $base1, $base2, $base3);
+  }
+}
+
+html * {
+  color-profile: sRGB;
+  rendering-intent: auto;
+}
+
+body {
+  font-family: "PT Serif", serif;
+  margin: 0 auto;
+  padding: 0;
+  max-width: 800px;
+
+  // Automatically hyphenate according to language-specific hyphenation rules
+  // if supported by browser. See:
+  // https://developer.mozilla.org/en-US/docs/Web/CSS/hyphens#suggesting_line_break_opportunities
+  hyphens: auto;
+}
+
+header {
+  padding: 0.5em;
+  text-align: center;
+  font-size: 1.2em;
+  font-family: "PT Mono", monospace;
+  border-bottom: 0.2em solid;
+}
+
+header a.logo {
+  text-decoration: none;
+}
+
+footer {
+  border-top: 0.2em solid;
+  border-bottom: 0.1em solid;
+  font-family: "PT Mono", monospace;
+  text-align: center;
+  padding: 1em;
+}
+
+div#content {
+  padding: 2em 1.2em;
+}
+
+h1,
+h2,
+h3,
+h4,
+h5,
+h6 {
+  font-family: "PT Mono", monospace;
+}
+
+figure {
+  text-align: center;
+}
+
+figure div {
+  display: block;
+  font-style: italic;
+}
+
+p {
+  text-align: justify;
+}
+
+pre {
+  border-top: 1px solid;
+  border-bottom: 1px solid;
+}
+
+pre code {
+  display: block;
+  padding: 0.5em;
+}
+
+blockquote {
+  font-style: italic;
+}
+
+figure pre code {
+  text-align: left;
+}
+
+hr.clearfix {
+  clear: both;
+  visibility: hidden;
+  height: 0;
+}
+
+img.avatar {
+  margin-left: 1em;
+  margin-bottom: 1em;
+}
+
+// a.sourceLine is used by codemirror for lines
+a[href] {
+  font-weight: bold;
+}
+
+#articles article:first-child {
+  margin-top: 0em;
+  padding-top: 0em;
+  border-top: 0;
+}
+
+#articles article {
+  margin-top: 10em;
+  padding-top: 10em;
+  line-height: 1.6;
+}
diff --git a/website_hugo/config.toml b/website_hugo/config.toml
@@ -0,0 +1,23 @@
+baseURL = "http://agentydragon.com"
+title = "~agentydragon"
+uglyURLs = true
+languageCode = "en"
+disableKinds = ["taxonomy", "term", "sitemap", "robotsTXT", "404"]
+
+[params]
+  author = "Rai"
+  description = "*agentydragon noises*"
+
+[markup.goldmark.renderer]
+  unsafe = true
+
+[markup.highlight]
+  style = "solarized-light"
+
+[outputs]
+  home = ["HTML", "RSS"]
+  section = ["HTML"]
+
+[outputFormats.RSS]
+  baseName = "rss"
+  mediaType = "application/rss+xml"
diff --git a/website_hugo/content/_index.md b/website_hugo/content/_index.md
@@ -0,0 +1,3 @@
+---
+title: ""
+---
diff --git a/website_hugo/content/about.md b/website_hugo/content/about.md
@@ -0,0 +1,86 @@
+---
+title: About
+---
+
+<!-- md5("agentydragon@gmail.com") -->
+
+<img src="http://www.gravatar.com/avatar/a389909145981708ab2c9fc8bddbe92c?s=200"
+     class="avatar"
+     style="float: right;"
+     alt="Me">
+
+Hi!
+
+My chosen name is Rai, and my given name is Michal Pokorný. I'm 30, I grew up
+in Czech Republic. I've worked as a software engineer at Google Zurich since
+March 2016, then took a year-long break roughly May 2021 - May 2022. Then I
+joined OpenAI, first as a resident on the reinforcement learning team, then on
+alignment.
+
+I have a bachelor's in general CS from the [Faculty of Mathematics and Physics][mff]
+of the Charles University in Prague. I started a master's in AI at the very same,
+and passed all parts but the "you have to write a thesis" one.
+
+<!-- TODO: stredni skola? -->
+
+I am an [effective altruist][ea] ([Czech][ea-cz]) and I currently aim to give
+~10%.
+
+I hunted a few geocaches:
+<a href="https://www.geocaching.com/profile/?guid=8011109d-8913-415c-9272-3e82426f3835" target="_blank">
+<img src="https://img.geocaching.com/stats/img.aspx?txt=Ooooh,+shiny!&uid=8011109d-8913-415c-9272-3e82426f3835&bg=1" alt="Geocaching badge" />
+</a>
+
+I try to be a generalist. Some stuff I do or did before:
+
+- Lots of Google stack in C++, Python. Services, gigabyte-terabyte scale
+  pipelines, stuff like that.
+- Web stuff. In the distant past, I used PHP, then Ruby (on Rails and off),
+  and I mostly use Python today. Of course, there's JavaScript and its
+  offshoots.
+- I sometimes write software that needs a lot of performance.
+  I mostly use C or C++ for that, but I also like Go.
+- I also wrote a few desktop things in Java and C#. I'm a bit more competent
+  in the latter.
+
+Between 2012 and 2016, I helped organize [KSP][ksp] -- a computer science
+seminar for high school students by Charles University.
+
+## Socials
+
+### Preferred
+
+<!-- TODO: unify with found.markdown? -->
+
+- Telegram: [@agentydragon][telegram]. Trying to migrate off it to Matrix.
+- Mastodon: [@agentydragon@mastodon.social][mastodon]
+- Matrix: [@agentydragon:matrix.org][matrix]
+- email: `agentydragon@gmail.com`
+- GitLab: [agentydragon][gitlab]
+
+### Other
+
+- BookWyrm: [agentydragon@bookwyrm.social][bookwyrm]. It's got my book reviews,
+  reading list etc.
+- GitHub: [agentydragon][github]. Trying to migrate off it because I am not
+  happy with GitHub, owned by Microsoft, being a critical dependency of
+  many open-source projects.
+- LinkedIn: [agentydragon][linkedin]. Please do not send connection requests if
+  we don't yet know each other from somewhere.
+- Facebook: [agentydragon][facebook]. I am not a fan of Facebook, though, and
+  basically only use it for finding events. If you want to chat with me, prefer
+  Matrix or Telegram. I lean towards only having Facebook friends that I
+  actually know in person.
+
+[gitlab]: https://gitlab.com/agentydragon
+[matrix]: https://matrix.to/#/@agentydragon:matrix.org
+[bookwyrm]: https://bookwyrm.social/user/agentydragon
+[mastodon]: https://mastodon.social/web/@agentydragon
+[ea]: https://www.effectivealtruism.org/
+[ea-cz]: http://www.efektivni-altruismus.cz/
+[mff]: http://www.mff.cuni.cz/
+[github]: https://github.com/agentydragon
+[linkedin]: https://linkedin.com/in/agentydragon
+[facebook]: https://facebook.com/agentydragon
+[ksp]: https://ksp.mff.cuni.cz/
+[telegram]: https://telegram.me/agentydragon
diff --git a/website_hugo/content/archive.md b/website_hugo/content/archive.md
@@ -0,0 +1,4 @@
+---
+title: Archive
+layout: archive
+---