Show newer

That's not true. I wouldn't change it legally, it's an enormous hassle

Show thread

I would change my name to ionchy but it's gonna be misspelt and mispronounced all the time
Also some software literally forces the first letter of your name to be capitalized which I think it's ridiculous, if last names can be de whatever or van whatever why can't mine be ionchy with a lowercase i

Show thread

Out of curiosity I looked up my name on twitter and found that there is a Jon H.M. Chan who is director of engineering at stack overflow and who is also queer
Illegal. Get your own name you're not allowed to have more than two traits in common with me

Sometimes I forget people generally assume others are straight

Turns out that was not the last time lol. This probably is though

Show thread

I updated my blog post about the meaning of "A" in "ANF", after some conversations with folks. In particular, it emphasizes why I care, and traces the origin of "A" back to a result by Curry.

williamjbowman.com/blog/2022/0

Food 

Craving mango lassi
Does East is East have mango lassi pls

I think I'll use another box to ship things that are a) solid and incompressible, b) light and can withstand some knocking around, and c) altogether worth more than 30$ so that shipping it makes sense but d) not a terrible awful loss if it goes missing
So far I have designated for it my screwdriver set, my tea, and my french press , which is around the 20$ mark I think

Show thread

If I had known for just one second you'd be BACK TO BOTHER ME
GO ON NOW GO

Sitting on the floor surrounded by stuff wondering how I'm going to get all of this stuff from my current place to the next place when the lease is over in a year and possibly six months

Show thread

Considering whether it's cheaper to go buy vacuum packaging (where??) or to ship whatever doesn't fit

Show thread

Stuffed another box full of clothes and it's ready overweight at 3.5 kg. ok then

Show thread

huh USPS is about the same price as Canada Post. the std box looks a little smaller but the price is also a little cheaper

Show thread

if I can fit my bathrobe AND blahaj in a tracked packet it would be totally worth it

Show thread

My computer is running out of disk space, my phone is running out of storage, my luggage is running out of room. I'm beginning to think maybe this is a me problem

And also pick a selection of clothes that I a) don't immediately need and b) are worth more than 33$ to make shipping worth it

Show thread

Also considering shipping some clothes that way depending on how much they weigh. A packet has a limit of 2 kg

Show thread

Considering stuffing blahaj into a tracked packet

Show thread
Show older
types.pl

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