ionchy @ 🏡 @nonphatic@cybre.space

miasma

My paper's on arXiv
http://arxiv.org/abs/1912.05601
It was rejected from CPP so I can't say anything fancy like "it's gonna be published at so-and-so!" or whatever but here it is!

underlie

New MV from Hippo Campus https://youtu.be/18d5AAZWSpY

Idk about trusting a newspaper quoting some random scientists but https://www.latimes.com/lifestyle/story/2020-04-07/coronavirus-quarantine-dream it seems like I was not the only one having weird dreams during quarantine

my school's CS department website is down lol rip

o'erleif

Why doesn't GitHub wrap lines for TeX files lol I cannot read this on the site

My undergrad thesis is now ~~open source~~ https://github.com/PSTC/pstc-arxiv
I mean. It's on arXiv, so it was open source in the first place, but now it's actually accessible lmao

I wish they'd drive me to places. I don't have a licence

Everyone else in my family is a hermit and it's awful because they're all fine with being inside for the entire day and I'm just like LET ME OUT, LET ME OOUUUTTT

Ugh I'm BORED I wanna be GAY with someone

what package is it from omfg help

all my \varw in LaTeX disappeared

There really is no convenient way of downloading all my Overleaf projects as git repositories then pushing them to new repositories on my server is there huh

git poush

I've been getting so much administrivial things done like labelling my binders and copying my POPL notes into a notebook and updating Gitea
I've been doing absolute no actual work

I wonder why I used Gitea instead of Gogs

I suppose I should update my Gitea instance huh

It's 8:30 am. You know what that means

Do knots exist in 4D

I have the exact opposite energy. I am... hypo... break... hyoobreak