Rob Dickerson @robd@types.pl

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).

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

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)

https://www.newyorker.com/magazine/2022/05/16/the-mysterious-disappearance-of-a-revolutionary-mathematician

I've been saying all crytocurrencies/assets/etc should die in a fire too!

https://www.currentaffairs.org/2022/05/why-this-computer-scientist-says-all-cryptocurrency-should-die-in-a-fire

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

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

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.

https://replika.com/

"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."

https://www.latimes.com/california/story/2022-05-10/report-immigration-officials-spying-on-majority-of-americans

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

Drop Whatever You’re Researching and Start Working on Crypto https://www.sigarch.org/drop-whatever-youre-researching-and-start-working-on-crypto/ | https://lobste.rs/s/crcfev #programming

This is how FUD gets spread.

@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.