Commit graph

302 commits

Author SHA1 Message Date
dc80e5b44a Add music 2023-02-04 01:21:20 -06:00
afc086cc26 Update readme 2023-02-04 01:21:20 -06:00
26478e2add I don't want to be loweercase anymore... 2023-02-04 01:21:20 -06:00
79159229a5 Katex 2023-02-04 01:21:20 -06:00
Michael Zhang
768a5b1809 Cosmetics 2023-02-04 01:21:20 -06:00
Michael Zhang
44ba9624f7 A bit more 2023-02-04 01:21:20 -06:00
Michael Zhang
34ea75029b Don't include drafts on the home page 2023-02-04 01:21:20 -06:00
Michael Zhang
56bbbc5dee Start drafting CEK 2023-02-04 01:21:20 -06:00
f4d9ae6b14 Nah not having border-radius 2023-02-04 01:21:20 -06:00
e6776d179c No longer centered 2023-02-04 01:21:20 -06:00
ad17aefc9c Change to list so it still reads ok on text-only browsers 2023-02-04 01:21:20 -06:00
9336875427 How do secrets work
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-02-04 01:18:38 -06:00
3e90f780aa Wtf
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-02-04 01:15:29 -06:00
b19471d9fd Set SSH_SECRET_KEY to 600
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-02-04 01:12:21 -06:00
bf5a0ee802 Add openssh
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-02-04 01:11:56 -06:00
ac77b241fb Add ssh
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-02-04 01:11:28 -06:00
86a217d5f0 Add rsync
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-02-04 01:10:53 -06:00
cfb914149d mkdir ssh
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-02-04 01:10:28 -06:00
b0188f6c9e Hugo with extensions
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-02-04 01:08:47 -06:00
9623a74793 Add woodpecker file
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-02-04 01:04:29 -06:00
648ed87a91
New home page 2022-01-24 18:35:39 -06:00
184d29012e
Update link 2022-01-04 01:24:08 -06:00
2690a09aa7
Also use monofont for inline code elements 2021-12-12 13:59:56 -06:00
e59fdc101c
Add agda stylesheet + Mono font 2021-12-12 13:56:54 -06:00
efc6916dce
Remove "Posted on" 2021-12-01 13:07:08 -06:00
9caf7b637e
minify 2021-12-01 13:05:52 -06:00
e11c78b3e3
cd to blog 2021-11-23 02:01:58 -06:00
631c1952f8
Wrong host 2021-11-23 02:00:48 -06:00
89f417692d
Update rsync command 2021-11-23 01:59:11 -06:00
2fb170a60d
Update 2021-11-23 01:53:51 -06:00
ad987cb3f6
Upload built blog to website 2021-11-23 01:44:52 -06:00
1838120b01
Add build.yml 2021-11-23 01:41:57 -06:00
10d53c0b2a
z 2021-11-17 21:02:38 -06:00
ee3ff81526
Remove summaries, it looks kinda cluttery 2021-11-01 18:15:23 -05:00
f3a17a3f69
Revert mastodon testing changes 2021-11-01 01:02:23 -05:00
81fa0bbb36 Mastodon testing 2021-11-01 00:52:38 -05:00
50b600b519 Add site title to meta tag 2021-10-31 23:17:12 -05:00
3424164934 Add title and permalink 2021-10-31 23:13:00 -05:00
a2e3f6f6e6 What 2021-10-31 23:08:54 -05:00
5b3c5b0257 remove headers 2021-10-31 22:53:40 -05:00
f757885ac6 wtf was i doing here 2021-10-31 22:53:04 -05:00
4409efed7e Update summary 2021-10-31 22:47:16 -05:00
f17a37183a meta description 2021-10-31 22:45:54 -05:00
09e274a481 wtf every post was in june 2021-10-31 22:36:32 -05:00
114af15e61 Publish e2e article 2021-10-31 22:36:11 -05:00
b04175954b
new post 2021-08-30 02:52:21 -05:00
8bcce8a5c7
mastodon link 2021-08-11 22:41:13 -05:00
7b408c47ac
redo intro 2021-08-03 02:28:40 -05:00
99bd0368b6
d 2021-08-03 02:08:51 -05:00
288e58e650
projects 2021-08-03 02:05:25 -05:00