|
|
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 |
|
|
|
58b11fcbeb
|
Strip out highly dynamic account information from toot to lower the number of times toot files update.
|
2022-05-15 11:20:09 -04:00 |
|
|
|
4a2fa9c5a0
|
Refresh toots script now graphs all toots via subsequent API calls
|
2022-05-15 11:14:34 -04:00 |
|
|
|
5f570b07d2
|
Updated theme
|
2022-05-14 23:28:11 -04:00 |
|
|
|
ae8ae34ff1
|
New toots
|
2022-05-14 22:59:40 -04:00 |
|
|
|
6a0d71c121
|
New version of toot grabber which creates a hugo markdown file
|
2022-05-14 22:58:49 -04:00 |
|
|
|
5f85a31a71
|
Updated toot grabber
|
2022-05-14 22:58:30 -04:00 |
|
|
|
18abecc776
|
Updated theme
|
2022-05-14 22:58:12 -04:00 |
|
|
|
4a1dfba1b4
|
Updated theme
|
2022-05-14 19:20:03 -04:00 |
|
|
|
5072eaddb4
|
Updated theme
|
2022-05-10 18:44:20 -04:00 |
|
|
|
e31b53d214
|
Updated post to include systemd-run
|
2022-05-10 12:08:39 -04:00 |
|
|
|
c0cb79a8b5
|
New Page
|
2022-05-08 23:29:56 -04:00 |
|
|
|
35bba8322b
|
Updated theme
|
2022-05-08 19:12:44 -04:00 |
|
|
|
7152a442be
|
Theme update
|
2022-05-08 18:06:43 -04:00 |
|
|
|
ef55d74b7d
|
Theme update
|
2022-05-08 18:02:48 -04:00 |
|
|
|
f4d006cc89
|
Update theme
|
2022-05-08 16:41:00 -04:00 |
|
|
|
c067d14a02
|
Update theme
|
2022-05-08 16:22:23 -04:00 |
|
|
|
a5b87ab339
|
Updated theme
|
2022-05-08 16:11:24 -04:00 |
|
|
|
52d637a0e0
|
Rearranging social icons
|
2022-05-05 21:51:42 -04:00 |
|
|
|
c47eb37ecf
|
Updated theme
|
2022-05-05 21:32:20 -04:00 |
|
|
|
3c4eeb03ed
|
Updated theme
|
2022-05-05 21:29:33 -04:00 |
|
|
|
bac55636e4
|
Theme update
|
2022-05-05 21:23:39 -04:00 |
|
|
|
2170706524
|
Updated theme
|
2022-05-05 21:08:08 -04:00 |
|
