Let's see if my server supports unicode :? --- I've finally worked out how to write the characters in the computer, so without further ado, my chinese name is: 高凯燃

Went to a board game cafe meetup today. It was pretty fun.

best paper title I've seen today

synthesis papers: "suppose you want to learn a decryption program... ...that algorithm is a simple Caesar cipher" .

yeh. i'm respected (online)

You and me both captain.

Just found out that m$ github has some kind of integration with a plotting/diagramming library mermaid? which renders in their markdown viewer with some nice controls. This is pretty cool, although dampened by the fact that it is no doubt part of m$'s typical EEE tactics.

Worst part is, it even affected my evening/night run --- though my average pace had been increasing over the past weeks, today it plummeted. I guess that's two outlets in one. Amazing misery/effort value there. Such is life.

Unfortunately, I've lost all motivation to work on my side projects after someone IRL decided to bring it up in person. Gah. Just when I had started to have fun again. Oh well. Sucks for mental health, but I guess I now have more cycles to think about research. Sigh.