371 Commits

Author SHA1 Message Date
Justin Hsu
08b0d31ace Update. 2023-01-10 18:06:51 -05:00
Justin Hsu
bc11166cbb Update. 2023-01-10 18:05:52 -05:00
Justin Hsu
0ec7ff1bcf Drafts. 2022-12-08 15:49:00 -05:00
Justin Hsu
b2411a36ec Change deploy target. 2022-11-11 23:49:56 -05:00
Justin Hsu
a56a10638a Update links. 2022-11-08 01:17:40 -05:00
Justin Hsu
57dd74d4d5 Update links. 2022-11-07 13:45:23 -05:00
Justin Hsu
0cecbac431 Update email. 2022-11-07 13:41:25 -05:00
Justin Hsu
122020105c Nit. 2022-10-05 00:43:08 -04:00
Justin Hsu
75dc689cc1 PC. 2022-09-30 11:52:00 -04:00
Justin Hsu
6a2dba33fa Update. 2022-09-18 23:34:55 -04:00
Justin Hsu
53af6e8cdd pc 2022-08-16 13:02:07 -04:00
Justin Hsu
afd6139309 Typo. 2022-08-13 16:01:54 -04:00
Justin Hsu
1083ba24e2 Cleanup. 2022-08-11 13:23:41 -04:00
Justin Hsu
17eb62542e CAV 2022-08-10 12:17:11 -04:00
Justin Hsu
9486caf1d0 CS 6117. 2022-08-03 22:38:49 -04:00
Justin Hsu
3dfb91d356 Update. 2022-08-03 10:31:15 -04:00
Justin Hsu
876296cfae Update flags for dart-sass. 2022-07-15 13:23:14 -04:00
Justin Hsu
a830711390 Update news. 2022-07-15 13:00:33 -04:00
Justin Hsu
3acd1e13fe Add PSE. 2022-06-30 21:56:58 -04:00
Justin Hsu
f1538f102e Update bibs. 2022-06-30 21:55:43 -04:00
Justin Hsu
f67f625000 RPGCL slides. 2022-06-17 14:28:03 -04:00
Justin Hsu
c791a7a88d News 2022-05-01 10:21:41 -04:00
Justin Hsu
08a5bdd488 CAV 2022-05-01 10:20:45 -04:00
Justin Hsu
08deca1967 pc 2022-05-01 10:12:57 -04:00
Justin Hsu
634559a69a Switch to dart sass.
Ruby sass deprecated.
2022-04-21 13:12:32 -04:00
Justin Hsu
a87ae4bad5 PC. 2022-04-18 20:25:49 -04:00
Justin Hsu
6210427cfb PC. 2022-04-14 19:42:00 -04:00
Justin Hsu
b174de7984 Update bibs. 2022-04-12 21:21:03 -04:00
Justin Hsu
35bc140506 Make wider. 2022-04-12 21:19:39 -04:00
Justin Hsu
e53742c4d1 Update. 2022-04-12 13:23:55 -04:00
Justin Hsu
ae4d332f4d Fix CSS bug. 2022-04-12 13:23:49 -04:00
Justin Hsu
3e3443573a Improve CSS.
- Compactify bib tables.
- Use class/id/span/divs properly.
- Slightly increase padding.
- Right-justify links to publications.
2022-04-07 19:26:32 -04:00
Justin Hsu
2b6c7abf39 Put photo/contact at top. 2022-04-07 18:31:57 -04:00
Justin Hsu
68b21fb394 Install sass, not compass. 2022-03-17 22:20:23 -04:00
Justin Hsu
28639a81ff Stop using compass.
Deprecated :(
2022-03-17 22:19:41 -04:00
Justin Hsu
615d2af023 Bibs. 2022-03-17 20:16:38 -04:00
Justin Hsu
25525430b9 Update pubs. 2022-03-01 00:06:48 -05:00
Justin Hsu
fc8eb93856 Update bib. 2022-03-01 00:04:16 -05:00
Justin Hsu
6507a8c63e Update website. 2022-01-28 21:55:24 -05:00
Justin Hsu
b9cc9668c2 Add POPL accept. 2021-12-01 10:50:21 -05:00
Justin Hsu
0d374add02 Update teaching. 2021-11-27 21:13:49 -05:00
Justin Hsu
0ae0e4fe6a Disable Google analytics. 2021-11-22 01:23:49 -05:00
Justin Hsu
56f86d8568 Update title. 2021-07-29 00:43:31 +01:00
Justin Hsu
61af5087bb Tweak. 2021-07-19 18:33:49 +01:00
Justin Hsu
0d18bb33be Fix linebreak. 2021-07-17 01:32:20 +01:00
Justin Hsu
aef6fb6b45 Update affiliation. 2021-07-16 23:12:58 +01:00
Justin Hsu
1fc945857a Missing. 2021-07-11 15:59:40 +01:00
Justin Hsu
b8fd56945a Typo. 2021-07-11 15:50:57 +01:00
Justin Hsu
30065cbe8b New flag jhsite to control site display. 2021-07-11 15:48:10 +01:00
Justin Hsu
d37f7ad4a7 Hide again. 2021-07-11 15:41:00 +01:00