Commit graph

459 commits

Author SHA1 Message Date
68823357ab Add sharp 2024-06-26 19:50:00 -05:00
4f88615c31 Update builder 2024-06-26 19:47:02 -05:00
38e2a8cec5 Update dependencies 2024-06-26 19:42:02 -05:00
7375f9c81b agda building! 2024-06-26 19:17:01 -05:00
a8f1ce9acd agda plugin 2024-06-26 18:18:47 -05:00
b5a5f9cf0a nix 2024-06-26 18:18:25 -05:00
65e5471c3c ci 2024-06-21 16:06:43 -05:00
5635d03e08 update bio 2024-06-21 15:57:44 -05:00
4fb464325c update th'bio 2024-06-21 01:09:32 -05:00
63d837b264 event: push 2024-06-21 01:00:23 -05:00
0d70a68769 Revert "pudate"
This reverts commit 435ec21f6e.
2024-06-21 00:58:59 -05:00
5d631561b5 refactoring post 2024-06-21 00:57:37 -05:00
435ec21f6e pudate 2024-06-11 13:54:47 -04:00
dfbdf2d4ff update path 2024-06-11 10:58:14 -04:00
216b1c35ed show left 2024-06-11 10:53:37 -04:00
3fcaeccf48 logical relations 2024-06-11 10:52:37 -04:00
d85b7f729f update 2024-05-29 13:33:23 -05:00
22a8c36fff add biome config 2024-05-29 13:32:27 -05:00
6224860b0a add goatcounter 2024-05-03 16:08:54 -05:00
4fc2c3e589 Update src/content/posts/2024-05-02-ddr/index.mdx 2024-05-03 18:13:56 +00:00
85ce708153 update 2024-05-03 06:35:52 -05:00
71481acbf1 pipeline 2024-05-03 06:26:42 -05:00
f913eb52e2 ddr 2024-05-03 06:22:47 -05:00
b402ee102f add comments 2024-05-03 05:00:04 -05:00
bc8cb94181 tmp ignore 2024-05-02 15:51:23 -05:00
1cb392dbae woodpecker 2024-05-02 15:48:55 -05:00
9bb4c462d8 update 2024-05-02 15:06:19 -05:00
1d48472aa2 start ddr post 2024-05-02 13:00:04 -05:00
1d3a17937d git attributes 2024-04-21 18:24:14 -05:00
cbc83ae11d what the hell 2024-04-20 18:22:15 -05:00
31d4b1fb71 update readme 2024-04-20 01:14:46 -05:00
1f454d6883 lambda calc post 2024-04-20 01:14:46 -05:00
42cbda6ae1 fix the header issue 2024-04-20 01:14:46 -05:00
1f8aac0a5e use alpine/edge 2024-04-20 01:14:46 -05:00
d4fe025437 typst 2024-04-20 01:14:46 -05:00
90f7fa2ee9 home to postlist 2024-04-20 01:14:46 -05:00
ea600b05f7 make the lines more condensed 2024-04-20 01:14:46 -05:00
62b4c105a9 style 2024-04-20 01:14:46 -05:00
565de50eb3 change colors 2024-04-20 01:14:46 -05:00
f048ce45ac remove box shadow 2024-04-20 01:14:46 -05:00
56c95f6051 bio 2024-04-20 01:14:46 -05:00
4768a49fce css 2024-04-20 01:14:46 -05:00
4dafc1b3e8 sourcehut publish 2024-04-20 01:14:46 -05:00
e1cb9b5e0f sudo 2024-04-20 01:14:46 -05:00
226264f124 node > npm 2024-04-20 01:14:46 -05:00
dbbcc3aae7 build 2024-04-20 01:14:46 -05:00
Michael Zhang
32098a3278 Add 'public/. well-known/atproto-did' 2024-02-29 09:06:48 -06:00
901fb1c005 a 2024-02-05 15:18:35 -06:00
f8e04d7342 install pnpm 2023-10-24 14:05:49 -05:00
0adaf0c122 try node 20 2023-10-24 14:05:09 -05:00