Show newer

joined a meeting that was said to be scheduled for 12 noon central which is 1 pm eastern where I am but I joined the meeting and it says it's scheduled for 5 pm

In case you haven't been following updates on twitter (twitter.com/ionathanch/status/) I found out that ⍼ is in NONE of the catalogues I thought they might be in, as confirmed by a typesetting press who has these catalogues
It has to be in some catalogue though, or else Berglund wouldn't've found them

I don't remember what I was doing this morning

domain theory! that's the phrase I was looking for

Show thread

whenever someone says denotation semantics and then interprets something that is clearly not an empty type as ⊥ I'm like what are you doing. what does this mean

But I also have the opposite problem when someone asks "what's up" and I say like hi back and there's an awkward pause where I realize they were actually opening the conversation lol

Show thread

But also I can tell when people ask me how I am and I start to think about the question seriously and they're clearly not looking for that lmao

Show thread

Not to like berate the question but I also just don't like to give inaccurate answers. From time to time I'll see someone answer a question and then later answer the same question differently not because they changed their mind but because they didn't think too hard about their first answer, and somehow you're supposed to identify that they're not bothering to be complete about it and you shouldn't go remembering that answer. I hope that if I give an answer that's different from before it's genuinely because I changed my mind since (or I'm doing a bit)

Show thread

Thinking about when I was asked whether I would consider myself "obsessed" with ice cream and I think I have an answer now. The answer is no because this is just how I engage with things normally and I don't have any other state when it comes to things I like, like that's just normal

I should really just go ask a subject librarian about the Monotype stuff

hot coffee take 

Sometimes I forget people drink coffee for the caffeine
I never base my coffee selection on caffeine content lol

Show thread

hot coffee take 

a pourover is a gentle caress of coffee. it's also so much gotdang liquid

Show thread

hot coffee take 

big words from someone who hasn't had coffee since last last Friday

Show thread

hot coffee take 

it's gotta be espresso or cold brew. I need it STRONG

Show thread

hot coffee take 

pourovers are overrated

jonoodle :cat_yawn: boosted

rainbow capitalism, queerphobia 

I know rainbow capitalism was never real support but seeing two large companies just completely fold to right wing hate still feels impressively ghoulish

Show older
types.pl

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