Commit graph

michael/blog

Fork 0

d9289b88b2 use utf-8 master Michael Zhang 2024-12-17 16:50:57 -0600
6e82102c1b crdt post Michael Zhang 2024-12-17 16:38:38 -0600
9c8c3588c1 update shortBio Michael Zhang 2024-12-06 17:40:22 -0600
1bfabbc5be don't console.log in rss.xml Michael Zhang 2024-12-02 05:36:33 -0600
4dbbd79b06 update left nav style so the title isn't so small on mobile Michael Zhang 2024-12-02 05:28:38 -0600
ac672a54cf aoc language post Michael Zhang 2024-12-02 05:26:45 -0600
9f6665b2b1 about page Michael Zhang 2024-11-27 17:38:34 -0500
2973f40c00 dot color Michael Zhang 2024-10-28 22:49:36 -0500
2745f390d9 main tag Michael Zhang 2024-10-22 22:21:13 -0500
39911006a0 update lockfile Michael Zhang 2024-10-22 22:12:54 -0500
8f8e2bb4bd update rss Michael Zhang 2024-10-22 22:10:58 -0500
c2510fea83 move woodpecker file Michael Zhang 2024-10-22 21:50:32 -0500
4e485b29fe add rss feed here Michael Zhang 2024-10-22 21:42:10 -0500
d68bbbaae6 update site title for rss Michael Zhang 2024-10-22 21:38:57 -0500
673d86215b fix link in rss Michael Zhang 2024-10-22 21:36:58 -0500
e1d0bb6d33 nix builder changes michael 2024-10-21 06:42:10 -0500
3e1745f215 forgot to include git ooops Michael Zhang 2024-10-21 06:39:05 -0500
2d0316adee update footer to include hash Michael Zhang 2024-10-21 06:34:52 -0500
ee867ae783 update for awscli woodpecker Michael Zhang 2024-10-21 06:14:57 -0500
f1b8136785 make the tone less doomer Michael Zhang 2024-10-21 05:49:15 -0500
87107d3a29 typo michael 2024-10-21 05:39:50 -0500
d2a3493aee update docker builder to include aws cli michael 2024-10-21 05:37:32 -0500
2496ba67f6 convert link Michael Zhang 2024-10-19 17:33:38 -0500
2dc78d6aea don't index my drafts Michael Zhang 2024-10-19 17:13:56 -0500
127a0ca75d upload talk post Michael Zhang 2024-10-19 17:12:39 -0500
69d0f8a0b1 update github Michael Zhang 2024-10-15 15:50:17 -0500
2e2fc8d729 fix headings Michael Zhang 2024-10-11 17:38:14 -0500
9356908e0f update about page Michael Zhang 2024-10-11 17:36:05 -0500
ea07b359a6 fix the emoji Michael Zhang 2024-10-08 12:42:34 -0500
478c26313f reformat easyctf post Michael Zhang 2024-10-07 23:37:18 -0500
096a7a1280 old blog posts Michael Zhang 2024-10-07 23:24:35 -0500
702ab0e9f6 update footer to include last updated date Michael Zhang 2024-10-07 16:11:19 -0500
67e042fc35 projects Michael Zhang 2024-10-07 15:30:49 -0500
8dfb20c352 update links Michael Zhang 2024-10-07 15:28:28 -0500
77825d652f fix typst-stuff Michael Zhang 2024-09-26 18:15:32 -0500
439eabd69f add rss auto discovery Michael Zhang 2024-09-26 18:14:27 -0500
7a1b2b9787 trying to get typst rendering working for svgs Michael Zhang 2024-09-26 18:09:45 -0500
8667d33798 undraft Michael Zhang 2024-09-20 13:29:12 -0500
b33d601900 update to use mathsf Michael Zhang 2024-09-20 13:18:22 -0500
55ec917eb8 make stuff line up more Michael Zhang 2024-09-20 13:12:58 -0500
d344924a1d make the title image redirect to about Michael Zhang 2024-09-20 12:52:03 -0500
bc92b2184b grammar Michael Zhang 2024-09-19 17:31:38 -0500
2d92966043 tentative dotted background Michael Zhang 2024-09-18 16:37:23 -0500
4273a1ca0b add the j Michael Zhang 2024-09-18 16:27:15 -0500
c9c6365c87 fix inner links Michael Zhang 2024-09-18 16:22:37 -0500
67e9a31def initial draft done Michael Zhang 2024-09-18 16:05:13 -0500
89abd4ff02 wip Michael Zhang 2024-09-18 15:31:29 -0500
f166392f35 more blog post wip Michael Zhang 2024-09-18 14:43:34 -0500
3e4f2d0095 image :) Michael Zhang 2024-09-18 06:54:28 -0500
79e8a2300a it works Michael Zhang 2024-09-18 06:38:08 -0500
2f4c87ea1d shortbio Michael Zhang 2024-09-18 06:32:18 -0500
37d59e6927 more wip Michael Zhang 2024-09-18 06:01:37 -0500
0dd553ad71 add diagrams Michael Zhang 2024-09-18 05:21:04 -0500
71cf0079dc start hcomp post Michael Zhang 2024-09-18 04:47:52 -0500
ce5ef4116d update bio Michael Zhang 2024-09-18 01:18:17 -0500
aeef05a47f faq page wip Michael Zhang 2024-09-18 01:14:15 -0500
198f3727e2 wip Michael Zhang 2024-09-16 03:06:17 -0500
764351ccb1 rip Michael Zhang 2024-09-15 19:42:46 -0500
16c5e3ab81 wip Michael Zhang 2024-09-15 19:38:05 -0500
67bb9a196c Test rendering this page Michael Zhang 2024-09-15 18:31:24 -0500
66de827e37 updates Michael Zhang 2024-09-14 23:57:48 -0500
509fd14440 change background to be bluer Michael Zhang 2024-09-14 23:43:39 -0500
55da20bde0 bio line height: Michael Zhang 2024-09-14 23:41:41 -0500
9d073a0be6 update saturation Michael Zhang 2024-09-14 23:40:35 -0500
126f3357bb update the warning box color Michael Zhang 2024-09-14 23:36:52 -0500
ebba251502 update color-update Michael Zhang 2024-09-14 23:33:32 -0500
4a72c2ea7b pijul post Michael Zhang 2024-09-10 17:59:54 -0500
482189f355 lc post Michael Zhang 2024-09-10 06:31:00 -0500
d3d9145610 some fixes Michael Zhang 2024-09-10 05:28:25 -0500
772c46f77b update short bio Michael Zhang 2024-07-26 12:50:35 -0500
69c17a7a7a new pic who dis Michael Zhang 2024-07-22 13:31:07 -0500
3949f19f1f update short bio Michael Zhang 2024-07-09 16:16:58 -0500
77b3323fc6 unignore markdown files Michael Zhang 2024-06-30 20:36:00 -0500
76ea2d345a undraft Michael Zhang 2024-06-29 17:39:27 -0500
06d483b3dd Change the way admonitions work Michael Zhang 2024-06-29 15:15:48 -0500
bbfe4f67ca More updates Michael Zhang 2024-06-29 15:15:42 -0500
9318880a9a Remove allow unused metas Michael Zhang 2024-06-29 14:53:45 -0500
83ceb81f8a

a Michael Zhang 2024-06-29 14:04:50 -0500
043b3ebe74 new blog post Michael Zhang 2024-06-28 20:48:21 -0500
531b33442d boolean equivalences Michael Zhang 2024-06-28 17:46:08 -0500
85c10d012b fix agda colors Michael Zhang 2024-06-27 10:27:22 -0500
e0ff5bf910 agda Michael Zhang 2024-06-27 00:43:35 -0500
2b4ca03563 render primitives Michael Zhang 2024-06-27 00:22:46 -0500
c1d92f48f9 Fix space Michael Zhang 2024-06-26 21:04:24 -0500
726554826a fix deploy Michael Zhang 2024-06-26 20:44:17 -0500
6324b12c33 Update builder Michael Zhang 2024-06-26 20:38:45 -0500
b574a929a7 Update Michael Zhang 2024-06-26 20:29:52 -0500
68823357ab Add sharp Michael Zhang 2024-06-26 19:50:00 -0500
4f88615c31 Update builder Michael Zhang 2024-06-26 19:47:02 -0500
38e2a8cec5 Update dependencies Michael Zhang 2024-06-26 19:42:02 -0500
7375f9c81b agda building! Michael Zhang 2024-06-26 19:17:01 -0500
a8f1ce9acd agda plugin Michael Zhang 2024-06-26 18:18:47 -0500
b5a5f9cf0a nix Michael Zhang 2024-06-26 18:18:25 -0500
65e5471c3c ci Michael Zhang 2024-06-21 16:06:43 -0500
5635d03e08 update bio Michael Zhang 2024-06-21 15:57:44 -0500
4fb464325c update th'bio Michael Zhang 2024-06-21 01:09:32 -0500
63d837b264 event: push Michael Zhang 2024-06-21 01:00:23 -0500
0d70a68769 Revert "pudate" Michael Zhang 2024-06-21 00:58:59 -0500
5d631561b5 refactoring post Michael Zhang 2024-06-21 00:57:37 -0500
435ec21f6e pudate Michael Zhang 2024-06-11 13:54:47 -0400