justhsu/justin-site
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
368 Commits 1 Branch 0 Tags
b2411a36ec9b99953f79c16fcbd4a7ba63e861b0
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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
Justin Hsu c2c9f85ff9 Update news. 2021-01-05 12:12:21 +00:00
Justin Hsu dacf190484 Remove extra booktitle. 2021-01-05 12:09:03 +00:00
Justin Hsu 8df121fbb8 Bump GHC version to 8.10. 
To fix problem with Big Sur.
 2021-01-05 12:08:31 +00:00
Justin Hsu 6129e92a1a Arxiv for S&P 2021. 2021-01-05 10:52:04 +00:00
Justin Hsu 0244bdcdf6 Gitignore. 2021-01-03 18:32:04 +00:00
Justin Hsu 525aa09f61 Switch to cabal builds. 
No more stackage.
 2021-01-03 18:31:52 +00:00
Justin Hsu 2602bdd594 Distinguished paper, POPL21. 2020-12-28 12:00:16 +00:00
Justin Hsu 464da44b25 Bib: SP21. 2020-12-28 11:56:46 +00:00
Justin Hsu 21d67e9dd7 Fix merge. 2020-12-16 11:25:33 +00:00
Justin Hsu 1b2c03d048 Update bibs. 2020-12-16 11:23:33 +00:00
Justin Hsu fd1d2d8ecf COLT PC. 2020-11-02 10:17:05 -06:00
Justin Hsu b27378575a Update. 2020-10-11 15:44:00 -05:00
Justin Hsu aafeb0435d Fix POPL slides. 2020-10-05 09:24:59 -05:00
Justin Hsu 93d6a54fcd Remove extraneous. 2020-10-05 09:22:14 -05:00
Justin Hsu 0af3898e45 CMCS tutorial. 2020-10-05 09:22:06 -05:00
Justin Hsu 5909105764 Fix year. 2020-10-04 19:08:43 -05:00
Justin Hsu 3169c114d8 Update. 2020-10-04 19:07:12 -05:00
Justin Hsu c648146056 Link 763. 2020-08-24 18:32:10 -05:00
Justin Hsu 0800594cb6 Update bib. 2020-08-24 13:36:26 -05:00
Justin Hsu 139d611d3f Update. 2020-08-18 15:51:34 -05:00
Justin Hsu bf8789d8cd AAAI 2020-08-17 12:08:33 -05:00
Justin Hsu b79eacb129 Update. 2020-08-14 10:44:47 -05:00
Justin Hsu 5dbd4b640d Archive 538 site. 2020-08-13 18:08:26 -05:00
Justin Hsu e7f7a39c11 Fix. 2020-07-22 16:58:51 -05:00
Justin Hsu 263dcae25e Update news. 2020-07-22 16:57:33 -05:00
Justin Hsu 44a16544ea Update. 2020-07-21 21:30:26 -05:00
Justin Hsu e8aa6ec680 PC 2020-05-18 12:26:30 -05:00
Justin Hsu 71bc612ebb PC 2020-05-18 12:24:05 -05:00
Justin Hsu 35767cc364 Update. 2020-05-01 16:15:43 -05:00
Justin Hsu 235bdefd8a Update bio. 2020-02-04 15:27:50 -06:00
Justin Hsu 1d59acba1e Link 538 website. 2020-01-15 19:01:43 -06:00
Justin Hsu a10915e00f Fix. 2020-01-13 10:27:56 -06:00
Justin Hsu 02ef453eb8 AISTATS. 2020-01-13 10:27:07 -06:00