Commit Graph

351 Commits

Author SHA1 Message Date
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
Justin Hsu 74a20d78fd Typo. 2021-07-11 15:39:10 +01:00
Justin Hsu 46f1917fc8 Remove jhnote. Prefer note, use errata for errors. 2021-07-11 15:29:12 +01:00
Justin Hsu 1f44c98b0e Remove extra sources. 2021-07-11 00:37:10 +01:00
Justin Hsu 9450c16278 Use `Main.hs` instead of `site.hs`. 2021-07-11 00:36:37 +01:00
Justin Hsu 574a0f0c0f Linebreak. 2021-07-11 00:35:58 +01:00
Justin Hsu 3c7ee03623 Make separate section for invited chapters and surveys. 2021-07-11 00:35:38 +01:00
Justin Hsu 41a9c8dd5e Hide under submission. 2021-07-10 23:47:39 +01:00
Justin Hsu 4f8e9069f7 Blogging. 2021-07-10 23:41:56 +01:00
Justin Hsu d72667da01 Add PCs. 2021-07-10 23:36:18 +01:00
Justin Hsu 11bce367db Add OPLSS 2021. 2021-07-10 23:35:42 +01:00
Justin Hsu c733e5b1aa Update bib. 2021-07-10 23:22:55 +01:00
Justin Hsu 983a1d79fb Typo. 2021-04-03 00:45:30 +01:00
Justin Hsu 4bb4adc3c5 LICS 2021 accepts. 2021-04-02 00:57:40 +01:00
Justin Hsu 568986aba8 MFPS and other PCs. 2021-04-01 23:14:17 +01:00
Justin Hsu dae41d2a7f LICS acceptances. 2021-04-01 23:09:59 +01:00
Justin Hsu 9a1197b19f Moving. 2021-03-09 00:36:59 +00:00
Justin Hsu 13e8e07eeb Bib. 2021-01-25 12:36:15 +00:00
Justin Hsu 62e3e86429 Fix link. 2021-01-14 23:01:45 +00:00
Justin Hsu 2a842d8142 Archive teaching on my website. 2021-01-14 16:55:18 +00:00
Justin Hsu 420ddaed70 Don't delete extra files when deploying. 2021-01-14 15:45:38 +00:00