Hazel @hazel@types.pl

I would like to emphasize to everyone that I understand literally nothing and none of my word can be taken as authority on anything

thank you

This message was sent from a non-IU address. Please exercise caution when clicking links or opening attachments from external sources.

reposting this from old account so I can pin it

welcome to PL mastodon we have
- nobody

all new agda burger which you order via the webapp but you just get the wrapper and in order to get the actual burger you have to follow a seven step process that involves editing a text file

"what's equality" - the greatest thread in the history of programming languages, locked after 8130 pages of debate,

​

meow

Hazel

save your sanity

I am not doing Advent of Code and I would recommend also not doing Advent of Code

WHO THE FUCK IS SCREAMING "REIFY" AT MY WINDOW. SHOW YOURSELF COWARD. I WILL NEVER REIFY.

type theory (DEROGATORY)

She mon-in on my ad 'til I attempt to get a trace of linear execution and fuck up the entire stack.

just realized that none of these words are real

bogos bingus

bingus binthesized 👽

bingus

​​ ← what is this country and why are all the girls from here into type theory

types.🇵🇱

in my computability theory course we were asked to write about "some undecidable problem we find interesting" so i cited harry goldstein's paper on the cha cha slide.

here's my racketcon talk for people who weren't in person. https://youtube.com/watch?v=oAE_G6HYilo

i'll have to make something more subdued for 2023. i don't think we did anything in 2022 because i was having a moment