this is the personal website of david cao, computer science student and lowkey freelance photographer at UCSD.

projects

• elba: a package manager for Idris
• seascape: a smarter professor/course evaluation tool for UCSD

links

• Keybase: dmcao
• Email: david@cao.sh
• GitHub: @dcao
• sr.ht: ~dcao
• GPG: BAF82063B3C00397