Pinned toot

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

Pinned toot

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

Pinned toot
Pinned toot

reposting this from old account so I can pin it

Pinned toot

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,

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.

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

Show thread
Hazel :verified_dragon: boosted

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

Show thread

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.

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

Show thread
Show older

Hazel :verified_dragon:'s choices:

types.pl

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