Commit graph

331 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
a088b670bd New Post 2022-03-09 00:03:36 -05:00
3a497b03c2 Added link 2022-03-02 10:10:45 -05:00
b2f782b181 Added this week's recitation slides 2022-03-02 10:09:27 -05:00
48445097a3 Updated last weeks' recitation slides 2022-03-02 10:09:17 -05:00
7b0138265d New Posts 2022-02-26 21:41:40 -05:00
3996e177f8 Update to mention common invariants 2022-02-26 21:41:19 -05:00
fcc8c5bb1f Remove drafts of posts I won't finish 2022-02-26 21:40:57 -05:00
4ae88a8633 Updated recitation practice 2022-02-23 12:38:25 -05:00
08bf1f6e88 Updating example 2022-02-23 12:16:12 -05:00
e1895df796 Updated example 2022-02-23 12:08:29 -05:00
c3a2007614 Updated recitation link 2022-02-22 21:43:26 -05:00
dfe333aa83 Relabeled recitation 2022-02-22 21:42:39 -05:00
Brandon Rozek
f57dc17903
Merge branch 'master' into updates 2022-02-23 02:41:42 +00:00
0c11b1c4c2 Uploaded recitation materials 2022-02-22 21:40:04 -05:00
b019f70488 Small research page updates 2022-02-17 13:40:33 -05:00
a12db74b98 Updated research page 2022-02-17 13:37:46 -05:00
93e42953e0 Added recitation slides 2022-02-16 11:53:22 -05:00
3d7e3e69c0 Fixed link 2022-02-15 01:15:21 -05:00
f7d458d761 Adding recitation slides 2022-02-09 11:30:26 -05:00
7ab4aab826 New Post 2022-02-07 19:47:12 -05:00
55f752a173 New Posts 2022-02-05 00:50:07 -05:00
60dba11acc New Posts 2022-02-04 21:25:43 -05:00
761a087506 New Post 2022-02-04 20:22:24 -05:00
7a0d5fa098 New Posts 2022-02-04 19:59:47 -05:00
e1a6145ad4 Added link to recitation 2022-02-02 10:17:15 -05:00
dfa903c84a Added recitation slides 2022-02-02 10:15:41 -05:00
6234d39dfb New Post 2022-01-29 20:31:27 -05:00
e42ea0680e New Post 2022-01-29 20:20:13 -05:00
f78540d68e New posts 2022-01-26 23:42:57 -05:00
59861d3bb9 Updated slides 2022-01-25 21:46:39 -05:00
6147471e6a Added link to recitation slides 2022-01-25 21:34:04 -05:00
0306afe6d1 Uploaded recitation slide 2022-01-25 21:32:41 -05:00
3b097ebd4b Updated TA page 2022-01-25 13:30:57 -05:00
a92180760a Updated office hours 2022-01-22 10:26:31 -05:00
c815cc4a6a Updated recitation slides 2022-01-19 13:21:09 -05:00
54d2a76240 Small tweak to TA page 2022-01-19 11:13:58 -05:00
149d630603 Updated TA section with recitation info 2022-01-19 11:07:00 -05:00
1a34623bce Reorganized files in TA section 2022-01-19 11:06:42 -05:00
c743dd70a2 New posts 2022-01-17 10:37:24 -05:00
2eb3effb87 Updated TA page 2022-01-12 23:53:15 -05:00
49c27dd613 Fixed some code/math 2022-01-12 23:45:54 -05:00
ddb17eb698 Updated publication list 2022-01-12 23:45:27 -05:00
21d901735b New post 2022-01-03 10:59:30 -05:00
ac86090672 New Post 2022-01-03 00:10:09 -05:00
6bddaa849f New Post 2022-01-02 16:12:10 -05:00
2a9c127365 Re-tagged blog posts 2022-01-02 14:24:29 -05:00
209995c77b Added a definition to a post 2021-12-15 14:10:07 -05:00
ceedd3a003 Added a definition to a post 2021-12-15 14:07:16 -05:00
fd62fbaf72 Cleaned up some old pages and uploaded some proceedings 2021-12-13 16:56:35 -05:00
d222df272b Research updates 2021-10-18 21:55:58 -04:00