about page
ci/woodpecker/push/woodpecker Pipeline was successful Details

This commit is contained in:
Michael Zhang 2023-08-31 14:25:04 -05:00
parent 0c6f3ff48a
commit 35f6d93ca0
1 changed files with 76 additions and 0 deletions

76
src/pages/about.mdx Normal file
View File

@ -0,0 +1,76 @@
---
title: "About"
layout: ../layouts/BaseLayout.astro
---
# About Me
import Intro from "../content/partials/shortBio.md";
<Intro />
### 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