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).
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!
I've been saying all crytocurrencies/assets/etc should die in a fire too!
Love this Le Guin quote in @jamesbridle fascinating new book, which explores “an ecology of technology”
(cc @CarbonCycleKate )
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.
MSP101 tomorrow 1300 UTC+1
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.
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."
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
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.
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.
Trying out BookWyrm (like fediverse GoodReads). I'm robd if anyone else there wants to follow:
(The GoodReads import wonked up a bunch of dates, so don't trust my timeline atm.)
@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.
PhD Student at Purdue advised by Ben Delaware. PL, formal methods, verification and synthesis.
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.