|
|
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 |
|
|
|
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 |
|
