|
|
965029d039
|
Temporary placeholder for paper index page
|
2022-09-21 12:48:57 -04:00 |
|
|
|
5fe7a7ceb0
|
Added link to GandALF paper
|
2022-09-20 22:20:57 -04:00 |
|
|
|
0e5f69e827
|
Research page updates
|
2022-08-21 00:08:38 -04:00 |
|
|
|
eb02764efb
|
Updated publications section to include paper entries and support for citation tags
|
2022-08-21 00:07:58 -04:00 |
|
|
|
8048d9f5ec
|
Updated publications page
|
2022-07-25 09:54:03 -04:00 |
|
|
|
953f9f62d3
|
Added midtown adventure
|
2022-07-03 20:43:39 -04:00 |
|
|
|
390471c7b2
|
Hid photos behind details pane by default
|
2022-07-03 20:43:08 -04:00 |
|
|
|
46881949de
|
New Track
|
2022-06-23 16:50:07 -04:00 |
|
|
|
9ea5318b9f
|
New Track
|
2022-06-23 16:50:01 -04:00 |
|
|
|
9db8d7b105
|
New posts
|
2022-06-20 09:02:23 -04:00 |
|
|
|
220f2b7571
|
Added note on working directory
|
2022-06-12 19:50:41 -04:00 |
|
|
|
2d2f88790b
|
Updated post to include systemd-run
|
2022-06-12 19:28:04 -04:00 |
|
|
|
ecdc3317f5
|
New post
|
2022-06-12 19:20:02 -04:00 |
|
|
|
eedd6f9959
|
Added Crotona Park trip
|
2022-06-12 18:23:05 -04:00 |
|
|
|
9b17e55c0b
|
Added photos to existing tracks
|
2022-06-12 12:06:00 -04:00 |
|
|
|
0f684ed5c4
|
Moved images to blog subfolder
|
2022-06-11 22:54:02 -04:00 |
|
|
|
053cfc1a82
|
Reorganized static folder
|
2022-06-11 20:36:10 -04:00 |
|
|
|
7400bd41a4
|
Changed PDF notes to markdown notes
|
2022-06-11 20:09:26 -04:00 |
|
|
|
93473c5514
|
New tracks
|
2022-06-11 16:42:52 -04:00 |
|
|
|
bb7a6b3741
|
Added walk around Botanical Garden
|
2022-06-05 16:20:58 -04:00 |
|
|
|
534c76a209
|
New post
|
2022-06-02 21:39:20 -04:00 |
|
|
|
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 |
|
|
|
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 |
|
|
|
12b9738f0b
|
New post
|
2022-05-21 00:14:44 -04:00 |
|
|
|
85b76c5627
|
Adding tags
|
2022-05-21 00:14:26 -04:00 |
|
|
|
1eed1e9d5c
|
New Post
|
2022-05-20 18:10:55 -04:00 |
|
|
|
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 |
|
|
|
c266c2dd20
|
New Post
|
2021-10-11 15:14:53 -04:00 |
|
|
|
74211e125c
|
Added links to other's personal websites
|
2021-10-11 00:13:05 -04:00 |
|
|
|
1bf2d791fa
|
Redid TA page
|
2021-10-10 23:50:53 -04:00 |
|
|
|
4f2a4a063d
|
Fixed old blog posts
|
2021-10-10 23:50:45 -04:00 |
|
|
|
2489aa163b
|
Updated research section on website
|
2021-10-10 23:15:46 -04:00 |
|
|
|
91ecc135fa
|
New Posts
|
2021-08-27 22:03:42 -04:00 |
|
|
|
6575a655e8
|
Added UNIF 2020 slides
|
2021-07-26 10:54:18 -04:00 |
|
|
|
ac97ae2802
|
New Posts
|
2021-07-26 10:47:06 -04:00 |
|
|
|
6b8de62ee2
|
Added publication
|
2021-07-26 10:46:59 -04:00 |
|
|
|
17165847cd
|
Fixed math in some blog posts
|
2021-07-26 09:52:41 -04:00 |
|
|
|
637bb713d9
|
Moved small group study to top and added new study
|
2021-07-26 09:14:13 -04:00 |
|
|
|
7ccec419fc
|
Reflowed research page to mainly highlight RL and SM.
|
2021-07-26 09:13:58 -04:00 |
|
|
|
330ace0de9
|
Fixed titles, math rendering, and links on some pages
|
2021-07-26 09:13:20 -04:00 |
|
|
|
c3d50c3da0
|
New Post
|
2021-07-26 07:36:39 -04:00 |
|
|
|
f09755c260
|
Fixed links
|
2021-07-26 07:36:27 -04:00 |
|
