Postsp. 1/1

Automated Dependent Resource Analysis1/21/21

As presented at the POPL 2021 SRC
Abstract: https://cao.sh/posts/adra-src/popl_21_src_FINAL.pdf Slides: https://cao.sh/posts/adra-src/adra.pptx Virtual poster: https://vimeo.com/503234893 (it should also be embedded above)

Seascape: a smarterer CAPE9/9/19

Seascape is a new website for finding and comparing courses and professors at UCSD. It uses existing professor/course quality data and provides metrics and graphs which makes it easier to compare and quantify the quality of different professors/courses.

elba 0.3.0 & elba.pub6/16/19

Idris is basically production-ready now
elba is a new-ish package manager for the Idris programming language. Over the past few months, there has been slow but steady progress towards making elba a more robust package manager that can play in the big leagues.