Commit graph

320 commits

Author SHA1 Message Date
bbc3c52795 Refactoring toots into a submodule 2022-09-28 15:51:39 -04:00
c66cc23142 New Post 2022-09-23 15:41:46 -04:00
e0835a2256 Added last hike 2022-09-23 15:13:05 -04:00
c8edd9b7ab Modified feed type to include links in title 2022-09-23 15:12:58 -04:00
965029d039 Temporary placeholder for paper index page 2022-09-21 12:48:57 -04:00
5fe7a7ceb0 Added link to GandALF paper 2022-09-20 22:20:57 -04:00
0e5f69e827 Research page updates 2022-08-21 00:08:38 -04:00
eb02764efb Updated publications section to include paper entries and support for citation tags 2022-08-21 00:07:58 -04:00
8048d9f5ec Updated publications page 2022-07-25 09:54:03 -04:00
953f9f62d3 Added midtown adventure 2022-07-03 20:43:39 -04:00
390471c7b2 Hid photos behind details pane by default 2022-07-03 20:43:08 -04:00
46881949de New Track 2022-06-23 16:50:07 -04:00
9ea5318b9f New Track 2022-06-23 16:50:01 -04:00
9db8d7b105 New posts 2022-06-20 09:02:23 -04:00
220f2b7571 Added note on working directory 2022-06-12 19:50:41 -04:00
2d2f88790b Updated post to include systemd-run 2022-06-12 19:28:04 -04:00
ecdc3317f5 New post 2022-06-12 19:20:02 -04:00
eedd6f9959 Added Crotona Park trip 2022-06-12 18:23:05 -04:00
9b17e55c0b Added photos to existing tracks 2022-06-12 12:06:00 -04:00
0f684ed5c4 Moved images to blog subfolder 2022-06-11 22:54:02 -04:00
053cfc1a82 Reorganized static folder 2022-06-11 20:36:10 -04:00
7400bd41a4 Changed PDF notes to markdown notes 2022-06-11 20:09:26 -04:00
93473c5514 New tracks 2022-06-11 16:42:52 -04:00
bb7a6b3741 Added walk around Botanical Garden 2022-06-05 16:20:58 -04:00
534c76a209 New post 2022-06-02 21:39:20 -04:00
c35ce62d70 Updated theme 2022-06-02 20:22:53 -04:00
9037445332 Reworded section headings in publications page 2022-05-30 14:26:23 -04:00
df2a063d1f Added stats page 2022-05-29 14:24:20 -04:00
04cfc4deac Updated toots 2022-05-29 12:55:17 -04:00
63fda4b333 Added new tracks section to website 2022-05-29 12:54:43 -04:00
55c64b0d8f Added toot 2022-05-24 09:09:30 -04:00
51ed1f63b6 Added OpenStreetMap profile 2022-05-24 09:08:54 -04:00
Brandon Rozek
05779f7d36
Merge pull request #2 from Brandon-Rozek/merge-22-05-24-1
Merge 22 05 24 1
2022-05-24 13:07:43 +00:00
9389189e6d New toots 2022-05-23 19:52:30 -04:00
d26a2b56f8 New Post 2022-05-23 19:51:59 -04:00
1093eaffd6 New Post 2022-05-23 19:51:50 -04:00
12b9738f0b New post 2022-05-21 00:14:44 -04:00
85b76c5627 Adding tags 2022-05-21 00:14:26 -04:00
1eed1e9d5c New Post 2022-05-20 18:10:55 -04:00
3d79d0a907 Update toots 2022-05-20 18:09:28 -04:00
a48c043a82 New post 2022-05-19 22:52:57 -04:00
77f7dd1bec New toot 2022-05-19 22:44:25 -04:00
c39bab6995 Publication update 2022-05-19 22:18:50 -04:00
077fe09888 New Post 2022-05-19 21:59:07 -04:00
975bfb1355 New post 2022-05-19 21:21:51 -04:00
97d6c00825 Updated theme 2022-05-16 20:00:26 -04:00
0fffc5c672 Subscribe page 2022-05-16 18:39:34 -04:00
73e972db60 Added new section on automated theorem proving 2022-05-16 18:21:53 -04:00
2d0ebc5415 Moved publications page 2022-05-16 18:21:16 -04:00
5f23ce4e86 New Post 2022-05-16 17:24:24 -04:00