Commit graph

134 commits

Author SHA1 Message Date
79afbeaafd feat(proofs): simplify 2025-06-23 16:34:36 -05:00
a24abe8686 fix(proofs): 993 contest 2025-06-22 18:30:09 -05:00
e80787ab01 feat(proofs): H 2025-06-22 18:23:03 -05:00
60ea8d10b4 feat: more proofs 2025-06-22 16:50:35 -05:00
f0368f3875 feat(proofs): correct 993 a 2025-06-22 14:29:18 -05:00
f0c1c15002 feat(proofs): some proofs 2025-06-22 14:22:12 -05:00
291dd7e9ec feat: consolidate posts 2025-06-05 18:29:33 -05:00
46f49fdabe fix: corrupted image 2025-06-05 18:19:39 -05:00
d0dfa96e24 fix: image addresses 2025-06-05 18:07:01 -05:00
475d2bfdd0 fix: typos 2025-06-05 17:53:28 -05:00
3aad252b69 feat: 2025-06-05 17:44:42 -05:00
9ff4113218 feat: autonomous racing 2025-06-05 13:29:03 -05:00
3f8ed983e7 fix: post latex embed 2025-06-02 18:35:49 -05:00
bd9511ff65 feat: mobile support 2025-06-02 11:06:58 -05:00
23267c98a2 feat: update website desc 2025-05-31 23:59:28 -05:00
34b18d3bb6 feat: improve grammar 2025-05-31 23:43:45 -05:00
8a7a88821b feat: final multithreading a gui post 2025-05-31 23:42:35 -05:00
f7d3a6fc64 fix: add links 2025-05-31 18:14:59 -05:00
832b67e081 feat: 404 2025-05-31 18:08:41 -05:00
267790933a feat(meditations): goodbye suckless 2025-05-30 20:27:40 -05:00
b640894653 feat: fix headers 2025-05-30 20:14:47 -05:00
0beb5b8fa1 fix: headers 2025-05-30 20:11:30 -05:00
e406a45f07 feat(software): gui multithreading 2025-05-30 20:11:13 -05:00
05535bc57b fix: proper list styles 2025-05-22 20:54:11 -05:00
a5afa8b196 feat(software): astro port blog 2025-05-22 20:51:54 -05:00
90e139a22f feat: fix stuff 2025-05-22 19:03:58 -05:00
c08e4ce9d5 feat: final refactor for port 2025-05-22 18:51:58 -05:00
cd9bd06eef feat: finally, everything done in astor port 2025-05-22 18:47:11 -05:00
ffc8ce9a4c fix: dates 2025-05-22 18:40:46 -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