Commit graph

34 commits

Author SHA1 Message Date
f3aeeb1b5f remove toc 2026-01-12 11:19:21 -05:00
dac0749890 remove so much stuff 2026-01-12 11:11:15 -05:00
7f1c155a7b update LI 2026-01-10 13:00:52 -05:00
142d0876a6 feat: remove themes 2026-01-07 13:43:40 -06:00
1d2f556b32 remove gists as viewable 2026-01-07 13:40:35 -06:00
e0936be05b feat: open terminal ctrl-click in a new tab 2025-12-30 19:39:24 -06:00
74b50c473a feat: use domain email 2025-12-18 22:17:01 -06:00
Barrett Ruth
40024cb2fb post 2025-11-29 02:39:43 -05:00
Barrett Ruth
24d6d2a757 themes 2025-11-29 00:54:06 -05:00
Barrett Ruth
0af506805d cleanup toc 2025-11-11 15:32:57 -05:00
Barrett Ruth
964cdc7d31 fix: update styling 2025-11-10 23:21:21 -05:00
Barrett Ruth
644e6d071c fix(ui): fix mobile view 2025-11-09 17:25:39 -05:00
Barrett Ruth
9312bb5fb8 fix(ci): make astro check more strict 2025-11-09 14:59:59 -05:00
Barrett Ruth
04308592ff fix: cleanup 2025-11-09 14:55:50 -05:00
Barrett Ruth
16850cf468 fix(ci): proper types 2025-11-09 14:53:56 -05:00
Barrett Ruth
b98b6f084a feat: theme 2025-11-09 14:45:26 -05:00
Barrett Ruth
fb0229d80e feat: theme 2025-11-09 14:35:00 -05:00
bf0c348587 fix: link to html 2025-10-09 15:14:59 -04:00
285f0ef1e0 fix: format 2025-10-08 21:18:36 -04:00
60aea94006 refactor 2025-10-08 19:04:25 -04:00
4076af3592 fix: terminal promtp 2025-10-08 15:47:17 -04:00
cefde24774 fix: gist & git in the bio 2025-10-08 15:09:49 -04:00
0765f9c1aa fix: html suffix 2025-10-08 11:01:23 -04:00
d351cd2e3e small tweaks 2025-10-08 00:22:42 -04:00
81fca03582 organize 2025-10-08 00:02:00 -04:00
5af8e1373e cleanup 2025-10-07 22:58:07 -04:00
7c5480a4cd bear 2025-07-19 09:04:26 -05:00
f0c1c15002 feat(proofs): some proofs 2025-06-22 14:22:12 -05:00
bd9511ff65 feat: mobile support 2025-06-02 11:06:58 -05:00
b81f0fa3c4 fix(ci): use .html 2025-05-22 17:19:31 -05:00
63fc4373b2 feat: try to fix the prod deployment 2025-05-22 16:57:29 -05:00
865065f89b feat: fix styling 2025-05-22 16:38:54 -05:00
da030f3dc1 feat: format 2025-05-22 16:12:05 -05:00
8666e5a169 feat: refactor 2025-05-22 14:23:22 -05:00