shop talk 

while giving my presentation yesterday I realized I was missing a little more explanation on why an axiom has to be an axiom so I'm once again adding more content to my thesis

re: OPLSS thread 

Baby's First Category Theory Proof 😌

Show thread

Tonight I'm making category theory infinitely worse by drawing diagrams three-dimensionally

re: OPLSS thread 

naw man. I'm not reading any of that

Show thread

lmao I brought my Jane Street notebook for notes and they gave another one (top)

I bought my favourite videoed game on Steam 🥰​ now I can do a THIRD playthrough on Linux this time lol

shop talk 

I'm torn on whether I should leave it like that, or turn it into three slides where I fade out the other two parts while I'm talking about one part, or remove the text entirely so that I'm not reading right off the slide

please write just a little to explain what you're doing. please my impermeable brain and my short attention span can't take this

Show thread

Very excellent UI decisions not completely confusing at all
Take a guess as to which one is forward and which one is reply

Show thread

The credit union has online banking but look at this UI lmao. Android KitKat tutorial app looking vibes

Show thread

There's a minimum deposit of 5$ so I'm simultaneously testing to see that Wise really works and to fulfill that minimum

Show thread

I love using colours (hope the projector makes these show up well enough)

Show thread
Show older
types.pl

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