Pinned toot

My name is Rob. I grew up a military brat, but my family is generally from the midwestern US.

I was a software engineer for about a decade, including a ~5-year stint at Square (the payments processor). I made the move to academia about 4 years ago, and I am currently working on a PhD studying programming languages at Purdue with Ben Delaware.

I'm an avid reader in general, and like science fiction in particular. I like to fence, although I do it less than I used to. I play violin and piano equally terribly, and I have a beautiful family who is forced to listen.

My daughter was redecorating her room, and wanted a large solar system poster.

So, I designed a set that reflects the "world-focused" view of the Solar System that I've used when presenting planetary science to kids -- emphasizing moons, planets, and dwarf planets as worlds in themselves.

I did a print run, and I still have some for sale in my shop. The individual posters are 19"x27".

I still have some for sale in my shop (link in reply).

Who called them "donut holes" and not "co-nuts"?

Roman Elizarov, who works on Kotlin, recounts the ways that PL research has turned into language-design practice over the history of the language. blog.sigplan.org/2022/05/19/la

Grothendieck revolutionized mathematics. Then he disappeared. He became a hermit, living in a stone hut and taking a vow of silence.

There's a great story about him here. And a conference about him next week!

(1/n)

newyorker.com/magazine/2022/05

RT @blackpooltower
Love this Le Guin quote in @jamesbridle fascinating new book, which explores “an ecology of technology”

(cc @CarbonCycleKate )

Morning.

Fedi things I’ve noticed since I’ve joined:

1. There’s a lot of unique people here that are utterly different than me. NB, on gender journeys, furries, a kaleidoscope of sexual orientations, and many of them prefer Linux.

2. They all are having more fun, more real candid conversations, and bonding digitally than anything I observed in my decade+ on birdsite.

3. They seem to be fulfilling the original promise of the internet here in these verdant e-valleys while so much of the rest of discourse and networking is scorched earth on its way to ash.

4. I like it here.

Don’t make the same mistakes over again. Make new, exciting mistakes. Fuck things up in ways no one even thought possible

MSP101 tomorrow 1300 UTC+1 

Plans are laid: msp.cis.strath.ac.uk/msp101.ht

There will be binomial coefficients, bit twiddling, and double categories for beginners like me. All happening live in LT1310 and on zoom if you know where to find us.

Binomial coefficients (m choose n) can be seen as the types of bit vectors with length m, exactly n of which are 1. You can see them as string diagrams from bottom to top, where 1 denotes a wire and 0 connects up but not down. I use them to keep a vice-like grip on variable scope.

The testimonials here are kind of fascinating and a lot frightening.

replika.com/

US Pol ICE surveillance state 

"Among other findings, the report documents that ICE has driver’s license data for 3 in 4 adults living in the U.S.; has scanned at least 1 in 3 of all adults’ driver’s licenses with face recognition technology; can track the movement of vehicles in cities that are home to nearly 3 in 4 adults; and can locate 3 in 4 adults through their utility records."

latimes.com/california/story/2

Printed out a draft and threw it straight into the bin myself to cut out the middleman

There are fundamental difficulties with coordinating state modification throughout a long-running execution that don't go away just because of StateT or whatever. Maybe I'm just not leet enough, but when I look at a codebase with a complex monad transformer stack carrying lots of long-running state, I feel like I might as well be looking at imperative code spaghetti.

Show thread

Hot take that might earn me PL enemies: writing clean state manipulation in imperative languages and writing clean monad transformers in Haskell feels about the same amount of complex and annoying to me.

Also some of the attempts to match books from the import are pretty amazing. I'm sure these two books are basically the same thing.

Show thread

Trying out BookWyrm (like fediverse GoodReads). I'm robd if anyone else there wants to follow:

bookwyrm.social/user/robd

(The GoodReads import wonked up a bunch of dates, so don't trust my timeline atm.)

Kid has been into Sonic the Hedgehog lately (b/c new movie), so naturally we broke out the Genesis.

@iamdoon Gosh, great point. The CWs really do make everything more manageable, don't they?

Like, I can still engage in organizing and advocacy, but at a pace my nervous system can handle. It's a meal I choose instead of a firehouse in my eyeballs.

Show older
types.pl

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