what the actual fuck is this thing

like this.

$$\ll e \gg$$ isn't quite right

new patreon tier

they let me teach a class for some reason. here it is. it's real

(abject fear)

got a letter from @ionchy

check this out I drew a line

this is what happens when your type theory is scrunge

RIP Hyacinth (2020-2022)
hello Hyacinth² (2022-)

i did the funny

oh yeah. it's all coming together

this pic goes so hard. feel free to screenshot

wh. what

really disliking the fact that I have to put this on my website now

actual algebra lecture today

post inference rules that look like they could go in the evangelion intro

Show older

#### Hazel 's choices:

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.