michael/blog
1
0
Fork 0
Code Issues 2 Pull requests Releases Packages 1 Wiki Activity
479 commits 6 branches 0 tags 30 MiB
Commit graph

479 commits

This branch
This branch
All branches
Author SHA1 Message Date
Michael Zhang
31d4b1fb71 update readme 2024-04-20 01:14:46 -05:00
Michael Zhang
1f454d6883 lambda calc post 2024-04-20 01:14:46 -05:00
Michael Zhang
42cbda6ae1 fix the header issue 2024-04-20 01:14:46 -05:00
Michael Zhang
1f8aac0a5e use alpine/edge 2024-04-20 01:14:46 -05:00
Michael Zhang
d4fe025437 typst 2024-04-20 01:14:46 -05:00
Michael Zhang
90f7fa2ee9 home to postlist 2024-04-20 01:14:46 -05:00
Michael Zhang
ea600b05f7 make the lines more condensed 2024-04-20 01:14:46 -05:00
Michael Zhang
62b4c105a9 style 2024-04-20 01:14:46 -05:00
Michael Zhang
565de50eb3 change colors 2024-04-20 01:14:46 -05:00
Michael Zhang
f048ce45ac remove box shadow 2024-04-20 01:14:46 -05:00
Michael Zhang
56c95f6051 bio 2024-04-20 01:14:46 -05:00
Michael Zhang
4768a49fce css 2024-04-20 01:14:46 -05:00
Michael Zhang
4dafc1b3e8 sourcehut publish 2024-04-20 01:14:46 -05:00
Michael Zhang
e1cb9b5e0f sudo 2024-04-20 01:14:46 -05:00
Michael Zhang
226264f124 node > npm 2024-04-20 01:14:46 -05:00
Michael Zhang
dbbcc3aae7 build 2024-04-20 01:14:46 -05:00
Michael Zhang
32098a3278 Add 'public/. well-known/atproto-did'
Some checks failed
ci/woodpecker/manual/woodpecker Pipeline failed
Details
2024-02-29 09:06:48 -06:00
Michael Zhang
901fb1c005 a 2024-02-05 15:18:35 -06:00
Michael Zhang
f8e04d7342 install pnpm
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
Details
2023-10-24 14:05:49 -05:00
Michael Zhang
0adaf0c122 try node 20
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
Details
2023-10-24 14:05:09 -05:00
Michael Zhang
da64309feb undraft path induction post
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
Details
2023-10-24 14:02:45 -05:00
Michael Zhang
d70327ffb9 tags on home page
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
Details
2023-10-24 14:00:40 -05:00
Michael Zhang
4895546226 minor: parameter -> index
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
Details
2023-10-24 11:02:19 -05:00
Michael Zhang
396e1f5098 not ish
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
Details
2023-10-23 22:22:36 -05:00
Michael Zhang
025437ca10 more sane date format
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
Details
2023-10-23 21:50:45 -05:00
Michael Zhang
bd63dba9df use the original names
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
Details
2023-10-23 21:38:28 -05:00
Michael Zhang
5216167465 path induction post
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
Details
2023-10-23 21:26:47 -05:00
Michael Zhang
f50ec75e01 comment out all the other build stuff
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
Details
2023-10-12 18:34:57 -05:00
Michael Zhang
0e0249d113 sad
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
Details
2023-10-12 17:22:58 -05:00
Michael Zhang
92c7982c0c wtf 2023-10-11 18:01:49 -05:00
Michael Zhang
183c998199 z
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
Details
2023-10-11 17:43:51 -05:00
Michael Zhang
fe2377b0b4 z
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
Details
2023-10-11 17:43:31 -05:00
Michael Zhang
0c3659055a z
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
Details
2023-10-11 17:42:41 -05:00
Michael Zhang
8670e8cf7b a
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
Details
2023-10-11 17:40:21 -05:00
Michael Zhang
3e07267470 zz
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
Details
2023-10-11 17:38:07 -05:00
Michael Zhang
9ecc011029 a
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
Details
2023-10-11 17:36:46 -05:00
Michael Zhang
e22340a98d test
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
Details
2023-10-11 17:34:34 -05:00
Michael Zhang
948c982418 add packages
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
Details
2023-10-11 17:30:50 -05:00
Michael Zhang
b33ba945b6 a
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
Details
2023-10-11 17:27:56 -05:00
Michael Zhang
5319b38560 build
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
Details
2023-10-11 17:19:13 -05:00
Michael Zhang
1e5bef0b6f use agda
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
Details
2023-10-11 16:17:08 -05:00
Michael Zhang
efd0b420dd build agda
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
Details
2023-10-11 16:16:32 -05:00
Michael Zhang
11e1601426 builder
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
Details
2023-10-11 14:46:16 -05:00
Michael Zhang
1ff3499e81 rip
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
Details
2023-10-11 13:42:22 -05:00
Michael Zhang
43a56c941a docker shit
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
Details
2023-10-11 13:09:15 -05:00
Michael Zhang
3935a8934c agda fix
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
Details
2023-10-11 12:47:18 -05:00
Michael Zhang
3833a310e0 render agda
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
Details
2023-10-11 11:48:34 -05:00
Michael Zhang
334e6cb1bf add edit history
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
Details
2023-10-04 09:16:04 -05:00
Michael Zhang
b36a272815 enable syntax highlighting
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
Details
2023-10-02 17:36:09 -05:00
Michael Zhang
263ed46253 time to bury this forever 2023-09-21 17:40:43 -05:00