diff --git a/content/about/_index.md b/content/about/_index.md index eaf108e..d693350 100644 --- a/content/about/_index.md +++ b/content/about/_index.md @@ -9,11 +9,7 @@ layout = "single" # About Me -Hi there! I'm a first-year master's student at the University of Minnesota. I -also currently work as a Software Developer at [AWS] (previously at [SIFT]). -My computing-related interests lie in programming language design and formal -verification, systems security, cryptography, and distributed -systems. +{{< left-nav >}} @@ -63,7 +59,6 @@ I also enjoy playing badminton 🏸 at the rec. [9]: setup [10]: pgp.txt [12]: ../projects -[aws]: https://aws.amazon.com [cubical]: https://ncatlab.org/nlab/show/cubical+type+theory [favonia]: https://favonia.org [foss]: https://en.wikipedia.org/wiki/Free_and_open-source_software @@ -72,7 +67,6 @@ I also enjoy playing badminton 🏸 at the rec. [leanshot]: https://git.sr.ht/~mzhang/leanshot [osu!]: https://osu.ppy.sh [pl seminar]: https://umn-plseminar.github.io -[sift]: https://www.sift.net [userpage]: https://osu.ppy.sh/u/2688103 [wisesplit]: https://wisesplit.org [acm]: https://acm.umn.edu diff --git a/layouts/partials/left-nav.md b/layouts/partials/left-nav.md index f5c161f..2a4c455 100644 --- a/layouts/partials/left-nav.md +++ b/layouts/partials/left-nav.md @@ -1,9 +1,8 @@ -Hi there! I'm a masters student at the University of Minnesota advised by -[Favonia][3]. I also currently work as a Software Developer at [AWS][1] -(previously at [SIFT][2]). My computing-related interests lie in programming -language design and formal verification, systems security, cryptography, and -distributed systems. +I'm a masters student at the University of Minnesota advised by [Favonia]. I +previously worked as a Software Developer at [AWS] and [SIFT]. My +computing-related interests lie in programming language design and formal +verification, systems security, cryptography, and distributed systems. -[1]: https://aws.amazon.com/ -[2]: https://www.sift.net/ -[3]: https://favonia.org/ +[aws]: https://aws.amazon.com/ +[sift]: https://www.sift.net/ +[favonia]: https://favonia.org/ diff --git a/layouts/shortcodes/left-nav.html b/layouts/shortcodes/left-nav.html new file mode 100644 index 0000000..8bb912f --- /dev/null +++ b/layouts/shortcodes/left-nav.html @@ -0,0 +1 @@ +{{ os.ReadFile "/layouts/partials/left-nav.md" | markdownify }}