Personal blog https://mzhang.io
Find a file
Michael Zhang 3f6bdacaf6
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
conclusion
2023-07-04 04:35:40 -05:00
archetypes Hugo commit 2020-11-03 16:14:45 -06:00
assets/sass Dotted 2023-05-08 23:48:58 -05:00
content conclusion 2023-07-04 04:35:40 -05:00
data Add Forgejo link 2023-02-04 01:24:48 -06:00
layouts Proof post 2023-04-20 15:58:15 -05:00
scripts modify 2021-06-30 01:41:11 -05:00
static Add links to nav 2023-02-04 01:21:21 -06:00
.editorconfig Revert mastodon testing changes 2021-11-01 01:02:23 -05:00
.envrc Flake init 2023-02-04 01:21:21 -06:00
.gitignore Flake post 2023-04-20 14:11:41 -05:00
.woodpecker.yml inductive types wip 2023-03-29 15:03:10 -05:00
blog.agda-lib add rss feed 2023-03-26 14:32:54 -05:00
config.toml some slight wording updates on the last post 2023-03-30 03:44:29 -05:00
flake.lock update lock 2023-02-04 01:21:21 -06:00
flake.nix Flake init 2023-02-04 01:21:21 -06:00
Justfile new blog post about nginx 2023-07-04 04:24:45 -05:00
README.md Add buidl status 2023-02-04 01:21:21 -06:00
todo.txt upd 2021-07-06 16:57:42 -05:00

Blog

Build status

Powers mzhang.io. Public replies at ~mzhang/public-inbox.

Standard hugo site.

Code License: GPL3

Content License: CC BY-SA 4.0