Commit graph

66 commits

Author SHA1 Message Date
c467d9fd67
eleventy
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-05-07 23:10:26 -05:00
a08f1206c2
Agda
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-04-21 01:57:08 -05:00
afaec7c0b6
Write some more
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-04-21 01:18:34 -05:00
079c2a8b38
Proof post
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-04-20 15:58:15 -05:00
535c3dca9f
Reword
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-04-20 14:25:51 -05:00
60b97648da
Flake post
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-04-20 14:11:41 -05:00
b781f83415 some slight wording updates on the last post
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-03-30 03:44:29 -05:00
6d753e5250 let's turn on the toc
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-03-30 03:32:41 -05:00
a248240a6a more on induction + implement language switcher
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-03-30 03:29:11 -05:00
07484d5812 small update
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-03-29 23:38:50 -05:00
db20f9536a Add the docker compose thing
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-03-29 23:33:59 -05:00
608503637c inductive types wip
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-03-29 15:03:10 -05:00
e31a8ba367 add rss feed
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-03-26 14:32:54 -05:00
59b4c52eee rust tags 2023-02-04 01:21:21 -06:00
8c44b266ff Add old post about weechat 2023-02-04 01:21:21 -06:00
78f1049fb7 Update date 2023-02-04 01:21:21 -06:00
df009fccbe path 2023-02-04 01:21:21 -06:00
9046fcc57e decentralized identity blog post, plus some logseq support 2023-02-04 01:21:21 -06:00
0a6e73df19 layout upd 2023-02-04 01:21:21 -06:00
910fa274ba uiuctf 2022 2023-02-04 01:21:21 -06:00
63c55873d9 Mastery post 2023-02-04 01:21:21 -06:00
cc22f9b9ae Add neofetch :) 2023-02-04 01:21:21 -06:00
4654b8de5f Mastery-based learning draft 2023-02-04 01:21:21 -06:00
5090a5a95c Undraft NixOS article 2023-02-04 01:21:21 -06:00
417c62988c add unmount and references 2023-02-04 01:21:21 -06:00
d304c41903 Add more indicator to NixOS post 2023-02-04 01:21:21 -06:00
125c39131c Add new NixOS install post 2023-02-04 01:21:21 -06:00
49ecbae990 a 2023-02-04 01:21:21 -06:00
Michael Zhang
1884515c6b a 2023-02-04 01:21:21 -06:00
98e1972a80 start on ecc post 2023-02-04 01:21:21 -06:00
b4caf7a0c2 lol flag format 2023-02-04 01:21:21 -06:00
4e4e3fd3af Explain step 4 2023-02-04 01:21:21 -06:00
Michael Zhang
9af469091d Cybergrabs post finished 2023-02-04 01:21:21 -06:00
Michael Zhang
baa186ea5a Ye 2023-02-04 01:21:21 -06:00
307ba4e59f Tags 2023-02-04 01:21:20 -06:00
dc80e5b44a Add music 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
44ba9624f7 A bit more 2023-02-04 01:21:20 -06:00
Michael Zhang
56bbbc5dee Start drafting CEK 2023-02-04 01:21:20 -06:00
10d53c0b2a
z 2021-11-17 21:02:38 -06: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
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