305 Commits (master)
 

Author SHA1 Message Date
  Justin Hsu 13e8e07eeb Bib. 1 month ago
  Justin Hsu 62e3e86429 Fix link. 1 month ago
  Justin Hsu 2a842d8142 Archive teaching on my website. 1 month ago
  Justin Hsu 420ddaed70 Don't delete extra files when deploying. 1 month ago
  Justin Hsu c2c9f85ff9 Update news. 1 month ago
  Justin Hsu dacf190484 Remove extra booktitle. 1 month ago
  Justin Hsu 8df121fbb8 Bump GHC version to 8.10. 1 month ago
  Justin Hsu 6129e92a1a Arxiv for S&P 2021. 1 month ago
  Justin Hsu 0244bdcdf6 Gitignore. 1 month ago
  Justin Hsu 525aa09f61 Switch to cabal builds. 1 month ago
  Justin Hsu 2602bdd594 Distinguished paper, POPL21. 2 months ago
  Justin Hsu 464da44b25 Bib: SP21. 2 months ago
  Justin Hsu 21d67e9dd7 Fix merge. 2 months ago
  Justin Hsu 1b2c03d048 Update bibs. 2 months ago
  Justin Hsu fd1d2d8ecf COLT PC. 4 months ago
  Justin Hsu b27378575a Update. 4 months ago
  Justin Hsu aafeb0435d Fix POPL slides. 4 months ago
  Justin Hsu 93d6a54fcd Remove extraneous. 4 months ago
  Justin Hsu 0af3898e45 CMCS tutorial. 4 months ago
  Justin Hsu 5909105764 Fix year. 4 months ago
  Justin Hsu 3169c114d8 Update. 4 months ago
  Justin Hsu c648146056 Link 763. 6 months ago
  Justin Hsu 0800594cb6 Update bib. 6 months ago
  Justin Hsu 139d611d3f Update. 6 months ago
  Justin Hsu bf8789d8cd AAAI 6 months ago
  Justin Hsu b79eacb129 Update. 6 months ago
  Justin Hsu 5dbd4b640d Archive 538 site. 6 months ago
  Justin Hsu e7f7a39c11 Fix. 7 months ago
  Justin Hsu 263dcae25e Update news. 7 months ago
  Justin Hsu 44a16544ea Update. 7 months ago
  Justin Hsu e8aa6ec680 PC 9 months ago
  Justin Hsu 71bc612ebb PC 9 months ago
  Justin Hsu 35767cc364 Update. 10 months ago
  Justin Hsu 235bdefd8a Update bio. 1 year ago
  Justin Hsu 1d59acba1e Link 538 website. 1 year ago
  Justin Hsu a10915e00f Fix. 1 year ago
  Justin Hsu 02ef453eb8 AISTATS. 1 year ago
  Justin Hsu a062156ffe Journal version. 1 year ago
  Justin Hsu e3be221e0d Update news. 1 year ago
  Justin Hsu ee0cd79f1a Update bib. 1 year ago
  Justin Hsu 9d85625357 Clean contacts. 1 year ago
  Justin Hsu 49d4a29c45 Don't make check during every deploy. 1 year ago
  Justin Hsu bf957ead06 Remove FOPARA. 1 year ago
  Justin Hsu 5539440521 Fix problem with underscores in URLs. 1 year ago
  Justin Hsu 72ad3df690 POPL. 1 year ago
  Justin Hsu 572e847c98 WoLLIC. 1 year ago
  Justin Hsu 9cf7b96522 Update teaching. 1 year ago
  Justin Hsu d621e92e18 Update CSF details. 1 year ago
  Justin Hsu d7432a7eff Link teaching. 1 year ago
  Justin Hsu 1bf64b1e22 Update news. 1 year ago