 Michael Zhang
|
62ad559dbd
|
sidebar styling
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 22:04:16 -05:00 |
|
|
Michael Zhang
|
c7c8be95b5
|
image borders
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 21:59:12 -05:00 |
|
|
Michael Zhang
|
b61a54de22
|
bigger title
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 21:53:16 -05:00 |
|
|
Michael Zhang
|
f3d89cfb61
|
more changes
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 21:52:21 -05:00 |
|
|
Michael Zhang
|
83d21cf9b6
|
remove more technical stuff
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 21:41:52 -05:00 |
|
|
Michael Zhang
|
b29d3dda82
|
mermaid
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 19:10:20 -05:00 |
|
|
Michael Zhang
|
8c5c341f44
|
margin is too big
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 15:17:40 -05:00 |
|
|
Michael Zhang
|
35f6d93ca0
|
about page
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 14:25:04 -05:00 |
|
|
Michael Zhang
|
0c6f3ff48a
|
wording
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 14:14:48 -05:00 |
|
|
Michael Zhang
|
322441a144
|
metadata
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 10:37:26 -05:00 |
|
|
Michael Zhang
|
b892dfa000
|
what
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 10:33:26 -05:00 |
|
|
Michael Zhang
|
0c2ac5e521
|
logseq post
|
2023-08-31 10:33:14 -05:00 |
|
|
Michael Zhang
|
10426919e1
|
include drafts
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 09:05:06 -05:00 |
|
|
Michael Zhang
|
86feeefbe3
|
remove brackets
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 08:53:36 -05:00 |
|
|
Michael Zhang
|
2c1b3c5677
|
blockquote
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 08:47:19 -05:00 |
|
|
Michael Zhang
|
e8f1437d95
|
no padding on links
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 08:46:08 -05:00 |
|
|
Michael Zhang
|
e2cc513dd4
|
a
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 08:39:21 -05:00 |
|
|
Michael Zhang
|
c478116f88
|
fill in site
|
2023-08-31 03:17:02 -05:00 |
|
|
Michael Zhang
|
a3a7d84d1e
|
pragmata
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 03:09:41 -05:00 |
|
|
Michael Zhang
|
4a89b35ba3
|
ok kinda working
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-08-31 03:07:03 -05:00 |
|
|
Michael Zhang
|
4eeec04dad
|
build works
|
2023-08-30 23:51:10 -05:00 |
|
|
Michael Zhang
|
43c5a8f70c
|
progress
|
2023-08-30 22:47:22 -05:00 |
|
|
Michael Zhang
|
4b853c6c86
|
init astro
|
2023-08-30 19:30:45 -05:00 |
|
|
Michael Zhang
|
98d3dddc41
|
misc
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-07-04 04:42:47 -05:00 |
|
|
Michael Zhang
|
3f6bdacaf6
|
conclusion
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-07-04 04:35:40 -05:00 |
|
|
Michael Zhang
|
abb4f9f8ad
|
fix intro
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-07-04 04:31:46 -05:00 |
|
|
Michael Zhang
|
68fb26e7ac
|
fuck meant to be a draft
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-07-04 04:29:24 -05:00 |
|
|
Michael Zhang
|
5850483297
|
new blog post about nginx
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-07-04 04:24:45 -05:00 |
|
|
Michael Zhang
|
63c7c43afc
|
Dotted
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-05-08 23:48:58 -05:00 |
|
|
Michael Zhang
|
353f325bac
|
Selection color
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-05-08 11:57:42 -05:00 |
|
|
Michael Zhang
|
28025a8c66
|
Equivalences post
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-05-08 11:51:29 -05:00 |
|
|
Michael Zhang
|
7f8137b9f6
|
add headers
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-05-08 00:39:10 -05:00 |
|
|
Michael Zhang
|
2f68aae3dd
|
Update to true \== false post
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-05-08 00:37:13 -05:00 |
|
|
Michael Zhang
|
a08f1206c2
|
Agda
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-04-21 01:57:08 -05:00 |
|
|
Michael Zhang
|
afaec7c0b6
|
Write some more
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-04-21 01:18:34 -05:00 |
|
|
Michael Zhang
|
079c2a8b38
|
Proof post
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-04-20 15:58:15 -05:00 |
|
|
Michael Zhang
|
535c3dca9f
|
Reword
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-04-20 14:25:51 -05:00 |
|
|
Michael Zhang
|
60b97648da
|
Flake post
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-04-20 14:11:41 -05:00 |
|
|
Michael Zhang
|
b781f83415
|
some slight wording updates on the last post
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-03-30 03:44:29 -05:00 |
|
|
Michael Zhang
|
6d753e5250
|
let's turn on the toc
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-03-30 03:32:41 -05:00 |
|
|
Michael Zhang
|
a248240a6a
|
more on induction + implement language switcher
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-03-30 03:29:11 -05:00 |
|
|
Michael Zhang
|
07484d5812
|
small update
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-03-29 23:38:50 -05:00 |
|
|
Michael Zhang
|
db20f9536a
|
Add the docker compose thing
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-03-29 23:33:59 -05:00 |
|
|
Michael Zhang
|
608503637c
|
inductive types wip
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-03-29 15:03:10 -05:00 |
|
|
Michael Zhang
|
e31a8ba367
|
add rss feed
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-03-26 14:32:54 -05:00 |
|
|
Michael Zhang
|
970a8b6e9f
|
Add some stuff to about page
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-03-14 03:41:59 -05:00 |
|
|
Michael Zhang
|
5e3f3a25c4
|
Update work status
|
2023-03-14 03:35:45 -05:00 |
|
|
Michael Zhang
|
be60e791da
|
Fix sase link/
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-02-05 17:13:17 -06:00 |
|
|
Michael Zhang
|
951689a328
|
Fix blog source link
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-02-04 01:25:40 -06:00 |
|
|
Michael Zhang
|
d6551c4632
|
Add Forgejo link
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-02-04 01:24:48 -06:00 |
|