Tulip @hazel@types.pl

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

sparkle on it's wednesday don't forget to be yourself

i say this being the founder of the programming languages mastodon instance

i think being around programming languages/computer toucher people has the capacity to atrophy my ability to socialize. like if you want to have a conversation about homotopy type theory while we are out walking i don't know what to tell you

i strongly recommend taking a break from computer touching if you can. i did that and got so much more swag

also to all who follow me here. hey i'm still alive wassup

i just did a backflip in the lab and everyone saw it

it's very funny watching someone live-microblog events that are occurring directly in front of you

    There is no need to understand the details of how these notation
    hacks work. (We barely understand some of it ourselves!) 

well that's great

haskell ppl will literally b like "haskell" and theyll be uh
wrong?

Haskell people will literally be like "yeah just use the <*$*wibblywobbly> operator it's intuitive. function follows form and all that"

and finally

shadow wizard money gang
we love casting spells

stonewall was a riot

there should be more kink at pride

its the official position of typesdotpl admins that there should be more sucking and fucking in the streets during pride parades

trans people are constantly under attack in the united states and our rights are regressing
its not about "love is love" anymore we are literally under attack and that should be the prerogative for this years pride messaging

and finally corporations arent your friends and someone changing their logo doesnt mean shit about fuck

thanks

vaguely reminiscent of the time where i used a piece of software called "taxslayer" to prepare taxes and it said "let's go! #slayit"

happy pride month

i cant wait to get thrown plush gay pride missiles with lockheed martin logos on them at me from a parade float

deactivated my twitter account and it said "sorry to see you go #GoodBye"

do not speak to me in my holy tongue

i have determined that coq is cursed after exactly one day of using it

That's nothing, I know it's nothing, and yet here I am posting it anyway.

She separate on my logic til I split the heap.

please lord have mercy