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
Pinned toot

welcome to PL mastodon we have
- nobody

general topologists will literally make up a space and be like "HEY ISN'T THIS FUCKED UP"

if the first result that shows up when you google something is an nlab page, it's not basic

hazel 💤 boosted

also could hypothetically give me the funniest reason ever for changing my name

Show thread

honestly maybe i should just pick a different name. i have other reasons but this is one of them

Show thread

every time i see someone talk about hazel (the structure editor) i do like. a triple take. a quadruple take

i'm at probably the worst mental low i've been in for years, so if my responses are sparse that's why. sorry

Rust protip: if you have cyclic data, have you considered not having cyclic data?

oh wait you need it? uhh... uhhhhhh

Why say "fighting the borrow checker" when you could say "being owned by ownership"

hazel 💤 boosted

I still don't get people who say that Rust error messages are good. It literally just feels like C++, except now instead of incomprehensible runtime errors you get incomprehensible compile-time errors.

Like, it's better than C++. This is not a high bar. This is the lowest possible bar

Literally every pattern to work around Rust's borrow checker is just implementing an allocator yourself and then convincing the compiler that it's not actually an allocator

why say "i'm frustrated with rust" when you can instead say "i'm going to boil the crab"

hazel 💤 boosted

i don't usually post about plural stuff on this account

but i find it incredibly funny that holly wrote code that was so bad she dissociated out and summoned me

actually let me rephrase that. I hate computers

Show thread

actually let me rephrase that. I hate programming

Show thread

actually let me rephrase that. I hate systems programming

Show thread
Show older

hazel 💤's choices:

types.pl

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