Show newer

It’s still under construction mostly, and currently goes toy amount of distances, but is nice

Show thread

My “Not involved in BUYING crypto. Not involved in MINING it either” T-shirt has people asking a lot of questions already answered by my shirt.

Types exclusive: Dinner was Keema (minced meat prep) pao (bread) and chutney sandwich

Types.pl exclusive: Trying out some excellent local coffee here in India

Okay the “terminal T2 is a 10 minute walk from T3” travel tip isn’t really that pleasant when you’re walking on mars

Delhi r u ok (thankfully not my final destination)

Interesting cloudage. Can you spot the plane?

Show older
types.pl

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