hazel @hazel@types.pl

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

@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

@ionchy it's java why am i not surprised

email protip: filter the word "Unsubscribe"

google dot com

that's today's post

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

im in the cat room. there are cats

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