hazel 
@hazel@types.pl
Admin
types.pl admin.
english-speaking / 
/ 
pure mathematics and computer science undergraduate at IU Bloomington. profreshional yak shaver. mostly interested in formal methods, mathematical logic, drinking water, and sleeping.
white.
Joined Oct 2020
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
hazel
boosted
boosted
Do you think god stays in heaven because he too lives in fear of in the cold food of out hot eat the food?
tempted to switch my mostly unmaintained blog's static site generator out
again
every time someone actually asks me questions about my software, or sends me code they built with it, I'm like
what?? the Fuck?? ????
hazel
boosted
boosted
a lot of people complain about lisp having too many parentheses. i complain about redex having too many ellipses
me: implements a language with the amb operator
also me: wait why is this term reducing to multiple values 🤔
every day Jordy gets into a conversation with someone #onhere and I read the thread and I'm like hmm. yes. these are Thoughts
hazel
boosted
boosted
imagine being the guy who goes around proving things are undecidable and ruining everyone's day
hazel
boosted
boosted
Me: Type checks an implementation of Girard's paradox in Agda
Agda: *does not terminate*
Me: 
hazel
boosted
boosted
'Irreconcilable Differences' by me
https://asininetech.com/2021/07/31/irreconcilable-differences/
My thoughts on the Mastodon iOS app and the frustrations within with a side of our long standing problems with Gargron.
hazel
boosted
boosted
masto beginners guide:
- if you're on .social or .online leave immediately
- don't look at federated
- if you see a cwed image with a purple blur do not open it in polite company
hazel
boosted
boosted
hazel
boosted
boosted
water... like it or not, this bad boy is going to make you hydrated. you gotta have it, folks
"this is sufficient to declare B a basis, by 2.something I don't feel like looking it up QED"
- my notes
hazel
boosted
boosted
: Dirty Savage Admin
I'm just really tired Eugen.
This isnt Twitter 2.0.
This is masto. If you keep trying to be Twitter 2.0 the only users you're gonna get are those were banned from Twitter.
Which usually means they are probably not great for here. If they managed to get kicked off the hellscape of Twitter.
You aren't getting more people because you're positioning yourself as a lesser baby version of something they already have.
The instances and local TL are what make masto cool. Why the fuck are you removing them from your app that's supposed to introduce people to the program????
Bebshsbsvshbwns
hazel
boosted
boosted
i also think federation should remain automatic, no whitelists, but, posts federated from an instance that has not manually approved the destination instance should have their font colour set to be the same as the post background colour
Admin
types.pl admin.
english-speaking / /
pure mathematics and computer science undergraduate at IU Bloomington. profreshional yak shaver. mostly interested in formal methods, mathematical logic, drinking water, and sleeping.
white.
Joined Oct 2020
hazel 's choices:
