updates
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful

This commit is contained in:
Michael Zhang 2024-09-14 23:57:48 -05:00
parent 509fd14440
commit 66de827e37
5 changed files with 29 additions and 9 deletions

View file

@ -8,7 +8,7 @@ const { extraFront, tags, extraBack } = Astro.props;
{extraFront}
{
tags.toSorted().map((tag: string) => (
<a href={`/tags/${tag}`} class="tag">
<a href={`/tags/${tag}/`} class="tag">
<i class="fa fa-tag" aria-hidden="true" />
<span class="text">#{tag}</span>
</a>

View file

@ -13,8 +13,15 @@ Hi there! :wave:
### 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].
I'm learning about [cubical type theory][cubical]!
I'll probably write some blog posts as I learn more.
For my master's thesis project, I'm investigating a mechanization of [spectral sequences] in [Cubical] [Agda].
So far, I've been primarily working through the [homotopy type theory book][HoTTBook].
[spectral sequences]: https://en.wikipedia.org/wiki/Spectral_sequence
[agda]: https://agda.readthedocs.io/en/latest/overview.html
[hottbook]: https://homotopytypetheory.org/book/
### University Involvement
@ -53,8 +60,17 @@ regularly.
### Hobbies
I love cooking, listening to music, chess, bouldering, and beer.
If you're in the Minneapolis area, let's chat!
Outside of computer science, I love cooking, music, and games.
In particular, I'm a huge fan of rhythm games.
Occasionally, I also like to take some time and immerse myself in some random hobby. Here are some things that I have taken interest in before:
- Chess
- Lock picking
- Bouldering
- Craft beer
If you're in the Minneapolis or Twin Cities area, let's chat!
[2]: https://git.mzhang.io/explore
[9]: setup

View file

@ -43,7 +43,7 @@
@media (prefers-color-scheme: dark) {
$backgroundColor: hsl(230, 20%, 16%);
$textColor: #cdcdcd;
$linkColor: hsl(216, 82%, 75%);
$linkColor: hsl(211, 83%, 75%);
$linkHoverColor: #202749;
:root {

View file

@ -4,6 +4,8 @@
--blue: #5175be;
--module: purple;
--inductive-constructor: #008b00;
--comment: #b22222;
--string: var(--comment);
}
@media (prefers-color-scheme: dark) {
@ -13,12 +15,13 @@
--blue: #9999FF;
--module: hsl(276, 66%, 69%);
--inductive-constructor: #32bb32;
--comment: hsl(0, 78%, 66%);
}
}
/* Aspects. */
.Agda .Comment {
color: #B22222
color: var(--comment);
}
.Agda .Background {}
@ -32,7 +35,7 @@
}
.Agda .String {
color: #B22222
color: var(--string);
}
.Agda .Number {

View file

@ -3,7 +3,8 @@ footer {
margin-top: 24px;
margin-bottom: 40px;
padding-bottom: 30px;
text-align: center;
font-size: 0.85rem;
}
}