Commit graph

281 commits

Author SHA1 Message Date
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
1021cb068b New Post 2022-05-15 23:05:55 -04:00
a9c0296b72 New post 2022-05-15 22:35:21 -04:00
f1566766df New post 2022-05-15 21:51:56 -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
ae8ae34ff1 New toots 2022-05-14 22:59:40 -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
bac55636e4 Theme update 2022-05-05 21:23:39 -04:00
4d969cf4f6 Updated theme 2022-05-05 20:45:05 -04:00
e617faf805 New post 2022-05-03 01:31:11 -04:00
67685c82e7 Updated theme 2022-05-03 01:10:21 -04:00
a8ddec1639 New Post 2022-05-03 01:09:49 -04:00
130c69dbd7 Updated toots page 2022-05-02 12:05:08 -04:00
3d4a735012 Added mastodon toots page 2022-05-02 11:59:00 -04:00
5a8462a939 Redid presentations section of site to use new feed layout 2022-05-02 00:07:12 -04:00
925a9eb3bf Rewrote notes page 2022-05-02 00:06:29 -04:00
f6314f9b2a Added links to program guides 2022-05-01 21:16:24 -04:00
afe012d1d2 Added recitation 2022-05-01 01:08:27 -04:00
8c89dfe843 Added recitation 2022-04-20 11:02:32 -04:00
55f62fa7c4 Updated recitations page 2022-04-13 10:52:50 -04:00
340b13cb09 Updated recitation doc 2022-04-11 08:42:50 -04:00
d597f8372b New Post 2022-04-10 22:52:41 -04:00
63ea2d6124 New Post 2022-04-07 20:17:10 -04:00
57af71b063 New Post 2022-04-07 19:58:20 -04:00
7b3684f1bc Added recitation content 2022-04-05 10:59:59 -04:00
715c4fce26 Updated post to address network namespace bug 2022-04-05 10:59:11 -04:00
eb301db693 Uploaded and updated references for WRLA presentation 2022-04-03 10:24:04 -04:00
eefa5a3941 Updated publications list 2022-03-31 14:28:45 -04:00
ba9a02cf46 Uploading this week's recitation 2022-03-29 10:42:04 -04:00
89fdb23df1 Added topics to recitation page 2022-03-16 09:27:20 -04:00
559759ab15 Uploaded recitation slides 2022-03-16 09:14:04 -04:00
c77954d331 New Post 2022-03-16 00:11:21 -04:00
f41d2c7009 Added remark to post 2022-03-16 00:11:17 -04:00