Home

What's on

Working but also doing some interesting stuff!

• Haskell programming
• French
• Formal verification (upcoming)

Quotes

蜉蝣之羽，衣裳楚楚。心之忧矣，於我归处。
蜉蝣之翼，采采衣服。心之忧矣，於我归息。
蜉蝣掘阅，麻衣如雪。心之忧矣，於我归说。

⸺《诗经·曹风·蜉蝣》