hazel 💤 @hazel@types.pl

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

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

reposting this from old account so I can pin it

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

🦀 🦀 🦀 🦀 🦀

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

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

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

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

oh wait you need it? uhh... uhhhhhh

This kills the crab.

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

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"

actually let me rephrase that. I hate computers

actually let me rephrase that. I hate programming

actually let me rephrase that. I hate systems programming