A mirror of my website's source code.

Important information: Google announced that, from September 2026, Android devices will require ALL apps to be signed by Google, effectively leading to an iOS situation. Value your right to a computer that does what you want; do not tolerate this monopolistic practice! Contact me if you don't understand why it is bad. Click to learn more.
File name Media type Size Last commit
404.html text/html 243 B cfd5f3b Blog toolbars.
_layout.html text/html 1.91 kiB f3fe459 Removed the "Archive" from the footer for Extras' entry
_macros.html text/html 519 B 84d0767 Breadcrumbs are now in a `nav` wrapper(caused validation error).
blog-feed.atom text/xml 1.45 kiB efa4a0c Using more general terminology for feed readers than RSS and Atom readers.
blog-feed.rss text/xml 1.61 kiB efa4a0c Using more general terminology for feed readers than RSS and Atom readers.
blog-list.html text/html 1.78 kiB aaad3d8 Add valid datetime to time elements in blog pages
blog-post.html text/html 2.3 kiB 1829f03 The "contents" attr. should have been "content"
index.html text/plain 530 B fc3cbb0 Update index.
list-index.html text/plain 472 B 6810d70 Add meta tags to lists and list index
list.html text/plain 584 B 6810d70 Add meta tags to lists and list index
redirect.html text/html 751 B 623b730 redirect is now valid XHTML