Pinned toot

✨ 𝓲𝓽 𝓲𝓼 𝓪𝓵𝔀𝓪𝔂𝓼 𝓪𝓵𝓵 𝓽𝓱𝓮 𝓽𝔂𝓹𝓮𝓼 ✨

Pinned toot

"Computers are rocks we tricked into thinking" is entirely incorrect. Computers are rocks we tricked ourselves into believing they could think

Why are there so many people whose name starts with "Matt" in Racket lmao

It's not too heavy AND it's got an extra RAM slot
I'll buy a RAM to stick into it some day

Show thread

I didn't want to intrude on a conversation but I like mentioning it so I'll say it here. I have a ThinkPad T480s and I think it's nice

I've opened OneNote to jot down ideas about size erasure but I've decided I don't want to work this weekend after all

I'm going to pull a Brouwer and comment on a paper whose abstract I haven't even read

Show thread

Might be interesting to put some HOPL talks on in the background tomorrow

re: cat a gory theory 

nah. I don't need any more of this
I'm going back to my sizes

Show thread

cat a gory theory 

Read a bit about coproducts from the Algebra and Programming book but now I'm thinking about reading from Topoi chapter 3 instead of continuing onwards

They don't even say "such that the following square commutes", they just [square]

Show thread

It's funny when a category theory definition goes something like "An xxxx is a yyyy such that [diagram]"

re: :oplss: subtoot 

Now we are doing monad algebras
I have lost sight of what the point of this was

Show thread

I await the day when basic category theory becomes natural

today ain't it

re: :oplss: subtoot 

Them: blah blah exponential objects blah blah external continuation monad
Me, re using R for right adjoint and J for left adjoint: Jeft (Jean left)

Show thread

re: :oplss: subtoot 

I want to meme in the chat. But people are being v srs and asking intelligent questions

Show thread

re: :oplss: subtoot 

Oh dear we are back at Kleisli categories and adjunctions

Show thread
Show older
types.pl

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