Version

Because this page is build and deployed fully automatically, I’ve included some pipeline information here.

Page:
    build date: 2025.04.20 09:11:37
Runner:
    version: 16.5.0
    hostname: runner-5uapvzju-project-151-concurrent-0
Git:
    version: git version 2.47.2
    commit:
        msg: Typo
        hash: eb9ba02
        date: 2025.03.28 01:24:56
Hugo:
    version: 0.127.0
    commit:
        hash: 74e0f3bd63c51f3c7a0f07a7c779eec9e922957e
        date: 2024.05.06 10:27:59

Also, the media on this page is being processed to optimize for web usage. Here are some statistics about the results:

Processing Statistics:
  .jpeg    2
  .jpg     74
  .mp4     4
  .png     96
  ignored  8
Bytes: 322.8MiB -> 35.7MiB (11.0%)
[email protected] ~ $ fortune
Every nonzero finite dimensional inner product space has an orthonormal basis.

It makes sense, when you don't think about it.