justhsu
/
justin-site
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Commit Graph

  • 4e4725cc86 Fix. master Justin Hsu 2024-04-13 15:04:21 -0400
  • 745415e7a2 Update news. Justin Hsu 2024-04-13 14:59:49 -0400
  • f1fc41df91 Update papers. Justin Hsu 2024-04-13 14:36:32 -0400
  • 7d25997282 pc Justin Hsu 2023-12-29 14:38:40 -0500
  • 39c60daa26 pc Justin Hsu 2023-12-29 00:37:06 -0500
  • b8be6332b1 Teaching. Justin Hsu 2023-12-02 00:06:11 -0500
  • fb551e88d3 Sort. Justin Hsu 2023-12-02 00:05:11 -0500
  • 6e3bedcf7f Caps. Justin Hsu 2023-12-01 23:56:07 -0500
  • 9b818895d6 Fix date. Justin Hsu 2023-12-01 23:54:18 -0500
  • 0caf2f0284 Nit. Justin Hsu 2023-12-01 23:53:39 -0500
  • cce8213d29 Update. Justin Hsu 2023-12-01 23:46:10 -0500
  • fffece9cd5 pc Justin Hsu 2023-04-20 10:10:50 -0400
  • eebf145004 DOI and arxiv. Justin Hsu 2023-04-11 13:30:11 -0400
  • 6abe68fceb Blog. Justin Hsu 2023-04-05 19:03:39 -0400
  • 6fd5ee373d PLDI paper. Justin Hsu 2023-04-01 01:40:07 -0400
  • d45f0cc0ea Archive 6117 locally. Justin Alpine Hsu 2023-03-29 23:35:53 -0400
  • bef58780b8 pc. Justin Hsu 2023-03-21 17:13:54 -0400
  • 22e1f52e26 Linebreak. Justin Hsu 2023-03-12 00:15:55 -0500
  • de418a1112 Update script. Justin Alpine Hsu 2023-03-11 14:18:16 -0500
  • b2a2fdef17 Use bash for deploy script. Justin Alpine Hsu 2023-03-11 14:14:34 -0500
  • 8bebb7682f Remove draft. Justin Hsu 2023-03-11 13:37:38 -0500
  • 2e5767f577 Bib. Justin Hsu 2023-03-06 22:46:34 -0500
  • 62740a7566 Separated effects draft. Justin Hsu 2023-01-12 14:52:58 -0500
  • f1dd27ac73 Update. Justin Hsu 2023-01-10 18:11:39 -0500
  • 4b1367a1f8 Update. Justin Hsu 2023-01-10 18:09:20 -0500
  • 08b0d31ace Update. Justin Hsu 2023-01-10 18:06:51 -0500
  • bc11166cbb Update. Justin Hsu 2023-01-10 18:05:52 -0500
  • 0ec7ff1bcf Drafts. Justin Hsu 2022-12-08 15:49:00 -0500
  • b2411a36ec Change deploy target. Justin Hsu 2022-11-11 23:49:56 -0500
  • a56a10638a Update links. Justin Hsu 2022-11-08 01:17:40 -0500
  • 57dd74d4d5 Update links. Justin Hsu 2022-11-07 13:45:23 -0500
  • 0cecbac431 Update email. Justin Hsu 2022-11-07 13:41:25 -0500
  • 122020105c Nit. Justin Hsu 2022-10-05 00:43:08 -0400
  • 75dc689cc1 PC. Justin Hsu 2022-09-30 11:52:00 -0400
  • 6a2dba33fa Update. Justin Hsu 2022-09-18 23:34:55 -0400
  • 53af6e8cdd pc Justin Hsu 2022-08-16 13:02:07 -0400
  • afd6139309 Typo. Justin Hsu 2022-08-13 16:01:54 -0400
  • 1083ba24e2 Cleanup. Justin Hsu 2022-08-11 13:23:41 -0400
  • 17eb62542e CAV Justin Hsu 2022-08-10 12:17:11 -0400
  • 9486caf1d0 CS 6117. Justin Hsu 2022-08-03 22:38:49 -0400
  • 3dfb91d356 Update. Justin Hsu 2022-08-03 10:31:15 -0400
  • 876296cfae Update flags for dart-sass. Justin Hsu 2022-07-15 13:23:14 -0400
  • a830711390 Update news. Justin Hsu 2022-07-15 13:00:33 -0400
  • 3acd1e13fe Add PSE. Justin Hsu 2022-06-30 21:56:58 -0400
  • f1538f102e Update bibs. Justin Hsu 2022-06-30 21:55:43 -0400
  • f67f625000 RPGCL slides. Justin Hsu 2022-06-17 14:27:50 -0400
  • c791a7a88d News Justin Hsu 2022-05-01 10:21:41 -0400
  • 08a5bdd488 CAV Justin Hsu 2022-05-01 10:20:45 -0400
  • 08deca1967 pc Justin Hsu 2022-05-01 10:12:57 -0400
  • 634559a69a Switch to dart sass. Justin Hsu 2022-04-21 13:12:32 -0400
  • a87ae4bad5 PC. Justin Hsu 2022-04-18 20:25:49 -0400
  • 6210427cfb PC. Justin Hsu 2022-04-14 19:42:00 -0400
  • b174de7984 Update bibs. Justin Hsu 2022-04-12 21:21:03 -0400
  • 35bc140506 Make wider. Justin Hsu 2022-04-12 21:19:39 -0400
  • e53742c4d1 Update. Justin Hsu 2022-04-12 13:23:55 -0400
  • ae4d332f4d Fix CSS bug. Justin Hsu 2022-04-12 13:23:49 -0400
  • 3e3443573a Improve CSS. Justin Hsu 2022-04-07 19:25:43 -0400
  • 2b6c7abf39 Put photo/contact at top. Justin Hsu 2022-04-07 18:31:57 -0400
  • 68b21fb394 Install sass, not compass. Justin Hsu 2022-03-17 22:20:23 -0400
  • 28639a81ff Stop using compass. Justin Hsu 2022-03-17 22:19:41 -0400
  • 615d2af023 Bibs. Justin Hsu 2022-03-17 20:16:38 -0400
  • 25525430b9 Update pubs. Justin Hsu 2022-03-01 00:06:48 -0500
  • fc8eb93856 Update bib. Justin Hsu 2022-03-01 00:03:20 -0500
  • 6507a8c63e Update website. Justin Hsu 2022-01-28 21:55:24 -0500
  • b9cc9668c2 Add POPL accept. Justin Hsu 2021-12-01 10:49:14 -0500
  • 0d374add02 Update teaching. Justin Hsu 2021-11-27 21:13:49 -0500
  • 0ae0e4fe6a Disable Google analytics. Justin Hsu 2021-11-22 01:23:49 -0500
  • 56f86d8568 Update title. Justin Hsu 2021-07-29 00:43:31 +0100
  • 61af5087bb Tweak. Justin Hsu 2021-07-19 18:33:49 +0100
  • 0d18bb33be Fix linebreak. Justin Hsu 2021-07-17 01:32:20 +0100
  • aef6fb6b45 Update affiliation. Justin Hsu 2021-07-16 23:12:58 +0100
  • 1fc945857a Missing. Justin Hsu 2021-07-11 15:59:40 +0100
  • b8fd56945a Typo. Justin Hsu 2021-07-11 15:50:57 +0100
  • 30065cbe8b New flag `jhsite` to control site display. Justin Hsu 2021-07-11 15:48:10 +0100
  • d37f7ad4a7 Hide again. Justin Hsu 2021-07-11 15:41:00 +0100
  • 74a20d78fd Typo. Justin Hsu 2021-07-11 15:39:10 +0100
  • 46f1917fc8 Remove jhnote. Prefer note, use errata for errors. Justin Hsu 2021-07-11 15:29:12 +0100
  • 1f44c98b0e Remove extra sources. Justin Hsu 2021-07-11 00:37:10 +0100
  • 9450c16278 Use `Main.hs` instead of `site.hs`. Justin Hsu 2021-07-11 00:36:37 +0100
  • 574a0f0c0f Linebreak. Justin Hsu 2021-07-11 00:35:58 +0100
  • 3c7ee03623 Make separate section for invited chapters and surveys. Justin Hsu 2021-07-11 00:35:38 +0100
  • 41a9c8dd5e Hide under submission. Justin Hsu 2021-07-10 23:47:39 +0100
  • 4f8e9069f7 Blogging. Justin Hsu 2021-07-10 23:41:56 +0100
  • d72667da01 Add PCs. Justin Hsu 2021-07-10 23:36:18 +0100
  • 11bce367db Add OPLSS 2021. Justin Hsu 2021-07-10 23:35:42 +0100
  • c733e5b1aa Update bib. Justin Hsu 2021-07-10 23:22:55 +0100
  • 983a1d79fb Typo. Justin Hsu 2021-04-03 00:45:30 +0100
  • 4bb4adc3c5 LICS 2021 accepts. Justin Hsu 2021-04-02 00:57:40 +0100
  • 568986aba8 MFPS and other PCs. Justin Hsu 2021-04-01 23:14:17 +0100
  • dae41d2a7f LICS acceptances. Justin Hsu 2021-04-01 23:09:59 +0100
  • 9a1197b19f Moving. Justin Hsu 2021-03-09 00:36:59 +0000
  • 13e8e07eeb Bib. Justin Hsu 2021-01-25 12:36:15 +0000
  • 62e3e86429 Fix link. Justin Hsu 2021-01-14 23:01:45 +0000
  • 2a842d8142 Archive teaching on my website. Justin Hsu 2021-01-14 16:55:18 +0000
  • 420ddaed70 Don't delete extra files when deploying. Justin Hsu 2021-01-14 15:45:38 +0000
  • c2c9f85ff9 Update news. Justin Hsu 2021-01-04 13:07:02 +0000
  • dacf190484 Remove extra booktitle. Justin Hsu 2021-01-05 12:09:03 +0000
  • 8df121fbb8 Bump GHC version to 8.10. Justin Hsu 2021-01-05 12:08:31 +0000
  • 6129e92a1a Arxiv for S&P 2021. Justin Hsu 2021-01-05 10:52:04 +0000
  • 0244bdcdf6 Gitignore. Justin Hsu 2021-01-03 18:32:04 +0000