Michael Zhang michael
0 followers · 0 following
Repositories
123
 Projects Packages Code Public activity Starred repositories
michael pushed to master at michael/blog 2024-09-18 21:27:18 +00:00
4273a1ca0b add the j
michael pushed to master at michael/blog 2024-09-18 21:22:39 +00:00
c9c6365c87 fix inner links
michael pushed to master at michael/blog 2024-09-18 21:05:16 +00:00
67e9a31def initial draft done
michael pushed to master at michael/blog 2024-09-18 20:31:32 +00:00
89abd4ff02 wip
michael pushed to master at michael/blog 2024-09-18 19:43:38 +00:00
f166392f35 more blog post wip
michael pushed to master at michael/blog 2024-09-18 11:54:32 +00:00
3e4f2d0095 image :)
michael pushed to master at school/type-theory 2024-09-18 11:44:39 +00:00
9e1da47565 wip
michael pushed to master at michael/blog 2024-09-18 11:38:10 +00:00
79e8a2300a it works
2f4c87ea1d shortbio
Compare 2 commits »
michael pushed to master at michael/blog 2024-09-18 11:01:40 +00:00
37d59e6927 more wip
michael pushed to master at michael/blog 2024-09-18 10:21:08 +00:00
0dd553ad71 add diagrams
michael pushed to master at michael/blog 2024-09-18 09:47:54 +00:00
71cf0079dc start hcomp post
michael pushed to master at michael/blog 2024-09-18 06:18:19 +00:00
ce5ef4116d update bio
michael pushed to master at michael/blog 2024-09-18 06:14:18 +00:00
aeef05a47f faq page wip
michael pushed to master at michael/blog 2024-09-16 08:06:23 +00:00
198f3727e2 wip
michael pushed to master at michael/blog 2024-09-16 00:42:52 +00:00
764351ccb1 rip
michael pushed to master at school/type-theory 2024-09-16 00:40:32 +00:00
81fb1d0c77 wtf
c1788c20fb a
8ecbcefe92 cubical stuff
Compare 3 commits »
michael pushed to master at michael/blog 2024-09-16 00:38:07 +00:00
16c5e3ab81 wip
michael pushed to master at michael/blog 2024-09-15 23:31:27 +00:00
67bb9a196c Test rendering this page
michael pushed to master at school/type-theory 2024-09-15 22:39:33 +00:00
1a06c10bb5 updates
michael pushed to master at michael/blog 2024-09-15 04:57:50 +00:00
66de827e37 updates