advent of code time. i am not ready but i will do it

@david @tfb i actually made a racket reader extension for this once, solely as a bit

@tfb i have a student who's doing it solely to spite me

my patience for people putting parentheses on their own line while writing lisp is at its end

hazel :ms_asleep: boosted

@heartles nobody's told them that you're allowed to defederate based on vibes alone. but instead they have to come up with some generic excuse and end up being wildly racist in the process.

if someone defedded monads solely because they didn't vibe with monads posts that's literally okay
but the fact that they go out of the way to smear them is what makes it godawful

*points at you*

you are the cyclic group of order 2. there is nothing you can do

email protip: filter the word "Unsubscribe"

thanksgiving is a holiday meant to mask the US's horrid treatment of indigenous people. if we truly wished to give thanks we would give them their land back.

the cats are smelling each other. this is getting out of hand

Show thread

im in the cat room. there are cats

hazel :ms_asleep: boosted

that feel when you ..uh . y ou fucking. you fucking uh. you Set (A.ℓ ⊔ B.ℓ₁) != Set B.ℓ₁

squimsh : A ≡ A → A ≐ A
squimsh refl = refl

I have learned that doing any mathematics in type theory requires you to be a genius

this is either a post about politics or about type theory. up to you

Show thread
Show older

hazel :ms_asleep:'s choices:

types.pl

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