Compare commits

..

No commits in common. "4fb464325ced0f47e03e5b5251fe62f658ff8b0d" and "0d70a68769f5967de883075bf137c0a8f69d8804" have entirely different histories.

2 changed files with 6 additions and 9 deletions

View file

@ -14,8 +14,6 @@ steps:
# - pnpm link /tmp/astro/packages/astro
# - pnpm link /tmp/astro/packages/markdown/remark
- pnpm run build
when:
- event: push
deploy:
image: alpine
@ -28,5 +26,4 @@ steps:
- rsync -azrP -e "ssh -i SSH_SECRET_KEY" dist/ blogDeploy@mzhang.io:/home/blogDeploy/public
secrets: [SSH_SECRET_KEY]
when:
- branch: master
event: push
branch: master

View file

@ -1,8 +1,8 @@
I'm a computer science master's student at the [University of Minnesota][1], advised by [Favonia].
My current research focus for my thesis is cubical type theory and its applications to formalizing mathematical proofs.
I've previously worked as a software engineer at [Swoop Search], [AWS] and [SIFT] in the past.
My computing-related interests lie in programming language design, type theory, formal verification, systems security, cryptography, and distributed systems.
I'm a computer science master's student at the [University of Minnesota][1],
advised by [Favonia]. I've previously worked as a software engineer at [Swoop
Search], [AWS] and [SIFT] in the past. My computing-related interests lie in
programming language design and formal verification, systems security,
cryptography, and distributed systems.
[1]: https://twin-cities.umn.edu/
[Swoop Search]: https://swoopsrch.com/