diff --git a/src/pages/about.mdx b/src/pages/about.mdx new file mode 100644 index 0000000..752816c --- /dev/null +++ b/src/pages/about.mdx @@ -0,0 +1,76 @@ +--- +title: "About" +layout: ../layouts/BaseLayout.astro +--- + +# About Me + +import Intro from "../content/partials/shortBio.md"; + + + +### Research + +Currently, I'm learning about [cubical type theory][cubical]. I'll probably +write some blog posts as I learn more. My advisor is [Favonia]. + +### University Involvement + +During my time at the University of Minnesota, I like to be actively involved in +computing related student groups. + +- **[GopherHack]**. I'm one of the founding officers at the GopherHack + organization, hoping to grow a CTF community at the University. I prepare + material for club activities. +- **[PL Seminar]**. A group focused on reading and discussing programming + languages related papers. +- **[UMN Kernel Object]**. A group dedicated to studying operating system + development, created in the aftermath of the UMN Linux kernel controversy. + +Previously, I was also involved with: + +- **[ACM]**. I was webmaster and wrote the current website, as well as helping + out with other events such as CTF. +- **[SASE]**. I was webmaster and was involved in organizing student group + events as well. + +### Open-source Projects + +Some of the projects I've been working on in my free time include: + +- **[Wisesplit]**. A tool for easily splitting the bill with friends. +- **[Garbage]**. A CLI interface to the trash can API. +- **[Leanshot]**. A Linux screen capture tool. + +More can be found on [this page][12] or my public [Gitea][2]. + +I've also started making an increased effort at using and supporting [FOSS], and +other software that're not predatory towards users. As a part of this effort, +I'm also self-hosting and rewriting some of the services and software that I use +regularly. Find out what I'm using [here][9]. + +### Hobbies + +I'm also an avid rhythm game player and beatmap creator, mostly involved with +the free-to-play game [osu!]. Check out some of my beatmaps on my osu! +[userpage]. + +I also enjoy playing badminton at the rec. + +[2]: https://git.mzhang.io/explore +[9]: setup +[10]: pgp.txt +[12]: ../projects +[cubical]: https://ncatlab.org/nlab/show/cubical+type+theory +[favonia]: https://favonia.org +[foss]: https://en.wikipedia.org/wiki/Free_and_open-source_software +[garbage]: https://git.sr.ht/~mzhang/garbage +[gopherhack]: https://gopherhack.com +[leanshot]: https://git.sr.ht/~mzhang/leanshot +[osu!]: https://osu.ppy.sh +[pl seminar]: https://umn-plseminar.github.io +[userpage]: https://osu.ppy.sh/u/2688103 +[wisesplit]: https://wisesplit.org +[acm]: https://acm.umn.edu +[sase]: https://saseumn.org +[umn kernel object]: https://github.com/UMN-Kernel-Object