Pinned toot
hazel levine :ms_asleep:

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

1
Pinned toot
hazel levine :ms_asleep:
1+
Pinned toot
hazel levine :ms_asleep:

reposting this from old account so I can pin it

0
Pinned toot
hazel levine :ms_asleep:

welcome to PL mastodon we have
- nobody

1+
hazel levine :ms_asleep:

me: oh god oh fuck i lost my glasses
(they're on my face)

0
hazel levine :ms_asleep: boosted
nev

bugs.launchpad.net/ubuntu/+sou

stolen from someone who didn't provide alt text or source :pirate_flag:

1
hazel levine :ms_asleep: boosted
david

>Personally, I find I am too imperfect to fit into such a crystal clear mathematical construct, so I would not say I am a monad. Maybe, on a good day, you could model me as one.
>
>Whether you are sufficiently perfect to be a monad is up to you.

Show thread
0
hazel levine :ms_asleep:

man

1+
hazel levine :ms_asleep: boosted
sabrina

you can spend a lot of time on wolfram alpha

1
hazel levine :ms_asleep: boosted
pounce

@hazel fuck you *unreproduces your problems*

0
hazel levine :ms_asleep: boosted
Dee :heart_nb: :offline:
I'm gonna dremel a sim card now
1
hazel levine :ms_asleep:

bangs head against a wall repeatedly LET 👏 ME 👏 COMPILE 👏 RACKET

Show thread
1
hazel levine :ms_asleep:

"at least with Nix your problems are reproducible"

1+
hazel levine :ms_asleep: boosted
Jay

Yeah I've got ADD (algebra-driven design)

1
hazel levine :ms_asleep:

racket minimal be like:
"I would like to raco pkg install literally-anything"
"ah. I see you've chosen death"

1+
hazel levine :ms_asleep: boosted
Clarjon1 :vf:
:win3:
1
hazel levine :ms_asleep: boosted
ilo nata :wasoa:
my software is free as in you are free from the prospect of using or knowing about it
1+
hazel levine :ms_asleep: boosted
∈∋_∈∋

It makes perfect sense to compare apples and oranges imo. Why do we say that

1+
hazel levine :ms_asleep: boosted
Anne C. A. Baanen
1
hazel levine :ms_asleep:

it is always all the type

0
hazel levine :ms_asleep:

fuck you *uncompletes your logic*
- Kurt Gödel, 1931

0
hazel levine :ms_asleep: boosted
a busy beelia 🐝

i'm the sourdough stopper. how do you like that? huh? little bitch?

Show thread
0
hazel levine :ms_asleep: boosted
a busy beelia 🐝

fuck you *unstarts your sourdough*

1
hazel levine :ms_asleep:

cut my life into pieces. this is my bogosort

0
Show older

hazel levine :ms_asleep:'s choices:

types.pl

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.

Trending now

Resources

Developers

What is Mastodon?

types.pl

More…