I watched Cats (2019) w friends at one of their places who has a cat his name is Pippin and he's wonderful

tired: doing actual work
wired: coming up with something to put for this in our repo

ice cream 

Consolation: ice cream from my THIRD pick in the neighbourhood. It's good but idk I've had better matcha

Show thread

Okay this one was my fault I should have first checked on Google maps to see if they were open :mario_flop:

Show thread

man... I can't follow EVERY store I want to visit on Instagram

Show thread

the images on science museum group aren't loading veyr fast so this is what I'm seeing atm

Show thread

please stop referring to pets as a "furry friend"

Neat stuff about amortized analysis using CBPV and coinduction by Harrison Grodin
Wish my rent were 20$ a day tho

Show thread

ooh that's an interesting perspective of type checking
kinda has extensional type checking vibes
(Refutation-based typechecking using symbolic execution, presented by Earl Wu)

Show thread

NJPLS without context: polymorphism must be stopped!
(Unbox Types in OCaml by Richard Eisenberg)

Show older
types.pl

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