Michael Zhang michael
0 followers · 0 following
Repositories
136
 Projects Packages
5
 Code Public activity Starred repositories
michael opened issue michael/type-theory#44 2024-10-28 23:56:33 +00:00
Exercise 3.5
michael pushed to master at michael/blog 2024-10-23 03:21:16 +00:00
2745f390d9 main tag
michael pushed to master at michael/blog 2024-10-23 03:12:57 +00:00
39911006a0 update lockfile
michael pushed to master at michael/blog 2024-10-23 03:11:56 +00:00
8f8e2bb4bd update rss
michael pushed to master at michael/blog 2024-10-23 02:50:34 +00:00
c2510fea83 move woodpecker file
michael pushed to master at michael/blog 2024-10-23 02:42:15 +00:00
4e485b29fe add rss feed here
michael pushed to master at michael/blog 2024-10-23 02:39:00 +00:00
d68bbbaae6 update site title for rss
michael pushed to master at michael/blog 2024-10-23 02:37:01 +00:00
673d86215b fix link in rss
michael pushed to master at michael/blog 2024-10-21 11:42:25 +00:00
e1d0bb6d33 nix builder changes
michael pushed to master at michael/blog 2024-10-21 11:39:10 +00:00
3e1745f215 forgot to include git ooops
michael pushed to master at michael/blog 2024-10-21 11:34:55 +00:00
2d0316adee update footer to include hash
michael pushed to master at michael/blog 2024-10-21 11:17:42 +00:00
ee867ae783 update for awscli woodpecker
f1b8136785 make the tone less doomer
Compare 2 commits »
michael pushed to master at michael/blog 2024-10-21 10:39:54 +00:00
87107d3a29 typo
michael pushed to master at michael/blog 2024-10-21 10:38:27 +00:00
d2a3493aee update docker builder to include aws cli
michael opened issue michael/type-theory#43 2024-10-21 05:06:03 +00:00
FvD Thesis Theorem 5.4.12
michael pushed to main at michael/cubeviz 2024-10-21 03:55:08 +00:00
5c15d78e53 fix issue with function order
michael created repository michael/infra2 2024-10-21 00:35:31 +00:00
michael created repository michael/mzautomate 2024-10-21 00:04:18 +00:00
michael pushed to master at michael/type-theory 2024-10-20 23:02:19 +00:00
fd5b32c47f update
michael pushed to master at michael/type-theory 2024-10-20 19:11:20 +00:00
2b9e0402bf update tokei