|  | 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 |  | 
				
					
						|  | 07ad651a7c | Toot update | 2022-05-16 17:06:28 -04:00 |  | 
				
					
						|  | 9b8f8c8d93 | Added toots | 2022-05-16 14:55:08 -04:00 |  |