Commit graph

Select branches

Hide pull requests

astro

color-update

eleventy

master

typst-stuff

zola-version

Mono Color

• 2973f40c00 dot color master 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
• dfbdf2d4ff update path Michael Zhang 2024-06-11 10:58:14 -0400
• 216b1c35ed show left Michael Zhang 2024-06-11 10:53:37 -0400
• 3fcaeccf48 logical relations Michael Zhang 2024-06-11 10:52:37 -0400
• d85b7f729f update Michael Zhang 2024-05-29 13:33:23 -0500
• 22a8c36fff add biome config Michael Zhang 2024-05-29 13:32:27 -0500
• 6224860b0a add goatcounter Michael Zhang 2024-05-03 16:08:38 -0500
• 4fc2c3e589 Update src/content/posts/2024-05-02-ddr/index.mdx Michael Zhang 2024-05-03 18:13:56 +0000