 Michael Zhang
|
1d3a17937d
|
git attributes
|
2024-04-21 18:24:14 -05:00 |
|
Michael Zhang
|
cbc83ae11d
|
what the hell
|
2024-04-20 18:22:15 -05:00 |
|
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'
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
ci/woodpecker/push/woodpecker Pipeline was successful
Details
|
2023-10-24 14:05:49 -05:00 |
|
Michael Zhang
|
0adaf0c122
|
try node 20
ci/woodpecker/push/woodpecker Pipeline failed
Details
|
2023-10-24 14:05:09 -05:00 |
|
Michael Zhang
|
da64309feb
|
undraft path induction post
ci/woodpecker/push/woodpecker Pipeline failed
Details
|
2023-10-24 14:02:45 -05:00 |
|
Michael Zhang
|
d70327ffb9
|
tags on home page
ci/woodpecker/push/woodpecker Pipeline failed
Details
|
2023-10-24 14:00:40 -05:00 |
|
Michael Zhang
|
4895546226
|
minor: parameter -> index
ci/woodpecker/push/woodpecker Pipeline was successful
Details
|
2023-10-24 11:02:19 -05:00 |
|
Michael Zhang
|
396e1f5098
|
not ish
ci/woodpecker/push/woodpecker Pipeline was successful
Details
|
2023-10-23 22:22:36 -05:00 |
|
Michael Zhang
|
025437ca10
|
more sane date format
ci/woodpecker/push/woodpecker Pipeline was successful
Details
|
2023-10-23 21:50:45 -05:00 |
|
Michael Zhang
|
bd63dba9df
|
use the original names
ci/woodpecker/push/woodpecker Pipeline was successful
Details
|
2023-10-23 21:38:28 -05:00 |
|
Michael Zhang
|
5216167465
|
path induction post
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
ci/woodpecker/push/woodpecker Pipeline was successful
Details
|
2023-10-12 18:34:57 -05:00 |
|
Michael Zhang
|
0e0249d113
|
sad
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
ci/woodpecker/push/woodpecker Pipeline failed
Details
|
2023-10-11 17:43:51 -05:00 |
|
Michael Zhang
|
fe2377b0b4
|
z
ci/woodpecker/push/woodpecker Pipeline failed
Details
|
2023-10-11 17:43:31 -05:00 |
|
Michael Zhang
|
0c3659055a
|
z
ci/woodpecker/push/woodpecker Pipeline failed
Details
|
2023-10-11 17:42:41 -05:00 |
|
Michael Zhang
|
8670e8cf7b
|
a
ci/woodpecker/push/woodpecker Pipeline failed
Details
|
2023-10-11 17:40:21 -05:00 |
|
Michael Zhang
|
3e07267470
|
zz
ci/woodpecker/push/woodpecker Pipeline failed
Details
|
2023-10-11 17:38:07 -05:00 |
|
Michael Zhang
|
9ecc011029
|
a
ci/woodpecker/push/woodpecker Pipeline failed
Details
|
2023-10-11 17:36:46 -05:00 |
|
Michael Zhang
|
e22340a98d
|
test
ci/woodpecker/push/woodpecker Pipeline failed
Details
|
2023-10-11 17:34:34 -05:00 |
|
Michael Zhang
|
948c982418
|
add packages
ci/woodpecker/push/woodpecker Pipeline failed
Details
|
2023-10-11 17:30:50 -05:00 |
|
Michael Zhang
|
b33ba945b6
|
a
ci/woodpecker/push/woodpecker Pipeline failed
Details
|
2023-10-11 17:27:56 -05:00 |
|
Michael Zhang
|
5319b38560
|
build
ci/woodpecker/push/woodpecker Pipeline failed
Details
|
2023-10-11 17:19:13 -05:00 |
|
Michael Zhang
|
1e5bef0b6f
|
use agda
ci/woodpecker/push/woodpecker Pipeline failed
Details
|
2023-10-11 16:17:08 -05:00 |
|
Michael Zhang
|
efd0b420dd
|
build agda
ci/woodpecker/push/woodpecker Pipeline failed
Details
|
2023-10-11 16:16:32 -05:00 |
|
Michael Zhang
|
11e1601426
|
builder
ci/woodpecker/push/woodpecker Pipeline failed
Details
|
2023-10-11 14:46:16 -05:00 |
|
Michael Zhang
|
1ff3499e81
|
rip
ci/woodpecker/push/woodpecker Pipeline failed
Details
|
2023-10-11 13:42:22 -05:00 |
|
Michael Zhang
|
43a56c941a
|
docker shit
ci/woodpecker/push/woodpecker Pipeline failed
Details
|
2023-10-11 13:09:15 -05:00 |
|
Michael Zhang
|
3935a8934c
|
agda fix
ci/woodpecker/push/woodpecker Pipeline failed
Details
|
2023-10-11 12:47:18 -05:00 |
|
Michael Zhang
|
3833a310e0
|
render agda
ci/woodpecker/push/woodpecker Pipeline failed
Details
|
2023-10-11 11:48:34 -05:00 |
|
Michael Zhang
|
334e6cb1bf
|
add edit history
ci/woodpecker/push/woodpecker Pipeline was successful
Details
|
2023-10-04 09:16:04 -05:00 |