Commit graph

777 commits

Author SHA1 Message Date
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
b9b44a6d9f Updated theme 2022-05-24 09:07:32 -04:00
a50c94244a Updated theme 2022-05-24 09:05:26 -04: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
0a9da20377 Theme update 2022-05-23 19:51:18 -04:00
095622e242 Moved avatar to assets as opposed to static 2022-05-21 00:33:05 -04:00
12b9738f0b New post 2022-05-21 00:14:44 -04:00
a8ecad7bba Replacing hard coded number with static variable 2022-05-21 00:14:38 -04:00
85b76c5627 Adding tags 2022-05-21 00:14:26 -04:00
1eed1e9d5c New Post 2022-05-20 18:10:55 -04:00
226a87bc06 Update theme 2022-05-20 18:10:40 -04:00
3d79d0a907 Update toots 2022-05-20 18:09:28 -04:00
201e6fefea Theme update 2022-05-20 16:56:19 -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
4e82b2df9f Removed notes from primary homepage navigation 2022-05-16 20:04:58 -04:00
97d6c00825 Updated theme 2022-05-16 20:00:26 -04:00
0fffc5c672 Subscribe page 2022-05-16 18:39:34 -04:00
17e944e588 Theme update 2022-05-16 18:34:41 -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
3d67de1da5 Theme update 2022-05-16 17:24:11 -04:00
07ad651a7c Toot update 2022-05-16 17:06:28 -04:00
57d456c9d8 Updated theme 2022-05-16 15:38:31 -04:00
710c1d6ceb Shrinked favicon.ico to 16x16 as per specification 2022-05-16 15:38:26 -04:00
6e16128220 Theme update 2022-05-16 15:07:40 -04:00
9b8f8c8d93 Added toots 2022-05-16 14:55:08 -04:00
26a546c195 Updated theme 2022-05-16 14:54:46 -04:00
1021cb068b New Post 2022-05-15 23:05:55 -04:00
a9c0296b72 New post 2022-05-15 22:35:21 -04:00
a24c90d593 Updated theme 2022-05-15 22:11:53 -04:00
f1566766df New post 2022-05-15 21:51:56 -04:00
9947478c6c Script to archive a mastodon toot 2022-05-15 20:38:27 -04:00
dab55fd1da Theme update 2022-05-15 20:38:06 -04:00
0fc7538d6d New Post 2022-05-15 19:26:52 -04:00
564234a371 Updated toot 2022-05-15 19:26:46 -04:00
04969e66eb Added toot 2022-05-15 17:28:51 -04:00
6d02a2a04a Added now page 2022-05-15 17:18:54 -04:00
079ec5c614 Toot metadata update 2022-05-15 11:20:28 -04:00