michael/blog - Forgejo: Beyond coding. We forge.

Author	SHA1	Message	Date
Michael Zhang	5d631561b5	refactoring post Some checks failed ci/woodpecker/push/woodpecker Pipeline failed Details	2024-06-21 00:57:37 -05:00
Michael Zhang	dfbdf2d4ff	update path All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2024-06-11 10:58:14 -04:00
Michael Zhang	216b1c35ed	show left All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2024-06-11 10:53:37 -04:00
Michael Zhang	3fcaeccf48	logical relations All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2024-06-11 10:52:37 -04:00
Michael Zhang	d85b7f729f	update	2024-05-29 13:33:23 -05:00
Michael Zhang	6224860b0a	add goatcounter All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2024-05-03 16:08:54 -05:00
Michael Zhang	4fc2c3e589	Update src/content/posts/2024-05-02-ddr/index.mdx All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2024-05-03 18:13:56 +00:00
Michael Zhang	85ce708153	update All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2024-05-03 06:35:52 -05:00
Michael Zhang	f913eb52e2	ddr	2024-05-03 06:22:47 -05:00
Michael Zhang	b402ee102f	add comments All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2024-05-03 05:00:04 -05:00
Michael Zhang	bc8cb94181	tmp ignore All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2024-05-02 15:51:23 -05:00
Michael Zhang	9bb4c462d8	update	2024-05-02 15:06:19 -05:00
Michael Zhang	1d48472aa2	start ddr post	2024-05-02 13:00:04 -05:00
Michael Zhang	1f454d6883	lambda calc post	2024-04-20 01:14:46 -05:00
Michael Zhang	42cbda6ae1	fix the header issue	2024-04-20 01:14:46 -05:00
Michael Zhang	d4fe025437	typst	2024-04-20 01:14:46 -05:00
Michael Zhang	90f7fa2ee9	home to postlist	2024-04-20 01:14:46 -05:00
Michael Zhang	ea600b05f7	make the lines more condensed	2024-04-20 01:14:46 -05:00
Michael Zhang	62b4c105a9	style	2024-04-20 01:14:46 -05:00
Michael Zhang	565de50eb3	change colors	2024-04-20 01:14:46 -05:00
Michael Zhang	f048ce45ac	remove box shadow	2024-04-20 01:14:46 -05:00
Michael Zhang	56c95f6051	bio	2024-04-20 01:14:46 -05:00
Michael Zhang	4768a49fce	css	2024-04-20 01:14:46 -05:00
Michael Zhang	901fb1c005	a	2024-02-05 15:18:35 -06:00
Michael Zhang	da64309feb	undraft path induction post Some checks failed ci/woodpecker/push/woodpecker Pipeline failed Details	2023-10-24 14:02:45 -05:00
Michael Zhang	d70327ffb9	tags on home page Some checks failed ci/woodpecker/push/woodpecker Pipeline failed Details	2023-10-24 14:00:40 -05:00
Michael Zhang	4895546226	minor: parameter -> index All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2023-10-24 11:02:19 -05:00
Michael Zhang	396e1f5098	not ish All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2023-10-23 22:22:36 -05:00
Michael Zhang	025437ca10	more sane date format All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2023-10-23 21:50:45 -05:00
Michael Zhang	bd63dba9df	use the original names All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2023-10-23 21:38:28 -05:00
Michael Zhang	5216167465	path induction post All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2023-10-23 21:26:47 -05:00
Michael Zhang	0e0249d113	sad Some checks failed ci/woodpecker/push/woodpecker Pipeline failed Details	2023-10-12 17:22:58 -05:00
Michael Zhang	3833a310e0	render agda Some checks failed ci/woodpecker/push/woodpecker Pipeline failed Details	2023-10-11 11:48:34 -05:00
Michael Zhang	334e6cb1bf	add edit history All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2023-10-04 09:16:04 -05:00
Michael Zhang	263ed46253	time to bury this forever	2023-09-21 17:40:43 -05:00
Michael Zhang	328680c54b	equality notes Some checks failed ci/woodpecker/push/woodpecker Pipeline was successful Details ci/woodpecker/manual/woodpecker Pipeline failed Details	2023-09-15 01:42:41 -05:00
Michael Zhang	f9e388eb6e	fix ordering issue	2023-09-15 00:35:19 -05:00
Michael Zhang	109c2997c3	border radius All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2023-09-08 17:24:51 -05:00
Michael Zhang	f497f3536a	compiler?	2023-09-08 05:10:52 -05:00
Michael Zhang	6bb860f61a	oops All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2023-09-01 22:32:18 -05:00
Michael Zhang	ab1597a28b	add utterances Some checks failed ci/woodpecker/push/woodpecker Pipeline failed Details	2023-09-01 22:25:11 -05:00
Michael Zhang	c4b29c5e6f	FUCK All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2023-09-01 21:38:53 -05:00
Michael Zhang	60db0faba3	fix width All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2023-09-01 21:37:13 -05:00
Michael Zhang	89ece03307	remove prints	2023-09-01 20:59:39 -05:00
Michael Zhang	a670600ad7	scroll spy All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2023-09-01 20:59:23 -05:00
Michael Zhang	e3ded78ba3	make toc look better All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2023-09-01 19:30:15 -05:00
Michael Zhang	13d83842aa	fix padding again All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2023-09-01 19:26:23 -05:00
Michael Zhang	424c056a09	fix padding All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2023-09-01 19:25:56 -05:00
Michael Zhang	3bf0200e7e	wip toc All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2023-09-01 12:38:59 -05:00
Michael Zhang	e94fee5345	latexify All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2023-09-01 12:05:29 -05:00

1 2

82 commits