Show newer

POPL paper: Ta-daaaaa! Look at this huge problem we solved! (200 citations)

Workshop paper, same people, four years later: uhhhh so actually it turns out that that doesn't work, here's what to do instead (7 citations)

racket-mode’s improvements are major improvements to Cur

Works entering the public domain include:

Written work by: Agatha Christie, Baroness Orczy, Hermann Hesse, Marcel Proust, Upton Sinclair, and Virginia Woolf

Art by: Ansel Adams, Edward Hopper, Georgia O'Keeffe, René Magritte, Salvador Dalí, and Tamara de Lempicka

Films including The Jazz Singer, Metropolis, Napoléon, and Trolley Troubles

Music by Béla Bartók, Ira and George Gershwin, Igor Stravinsky, Irving Berlin, Louis Armstrong, Ruth Etting, and Sophie Tucker

Show thread

Read this and understand why Twitter and Facebook are failing. They’re run by people who fundamentally hate what those sites are, hate the people who use them, and so they keep trying to make them be something else.
tedgioia.substack.com/p/what-c

@arjun Also a reminder that TurboTax is one of the main reasons we don't have a much simpler tax filing system, where the IRS simply tell us what we/they owe based on the info they already have — as some other countries do.

Fun fact: one of the main advocate for it in the US, who even spent his own money trying to get that legislation passed, is Joseph Bankman, father of SBF.

Here's his interview where he explicitly calls out Intuit:
npr.org/2017/03/29/521954033/s

Opinion: Jon Wurster is a national treasure. Related: this new Mountain goats album is -- again, in my opinion -- utterly fantastic.

If you're thinking of running your own Mastodon instance, EFF's Legal Director Corynne McSherry breaks down some of the common legal issues and practical considerations here:

eff.org/deeplinks/2022/12/user

@cstross I think giant batteries to stick the wind into are more immediately interesting.

These guys seem to have the best tech for municipal container batteries:

cleantechnica.com/2022/09/28/e

It's iron, road salt, water, and vinegar in a bunch of PVC pipes. It's all 1970s tech. Their patents are all around special filters (clever but still pool/aquarium level of complexity) that take it from a few hundred cycles to "the plumbing wears out long before the chemistry does".

I'm thinking right now that I'm genuinely grateful for my purely chronological mastodon feed; I scroll for two minutes, I feel like I've spent time with reasonable and respectful people, I might or might not be interested, and then I can get on with other things. I know that's not "driving engagement", but it makes me a happier human being.

I'm delighted to see that @TheConversationUS@newsie.social is on Mastodon; I've really enjoyed a lot of their reporting over the last few years.

There are many legitimate reasons to track Elon Musk's flight coordinates, for example to offer him ads more relevant to his interests

This is significant ...

The German office for data protection and freedom of information hosts the official #Mastodon server for government departments

They are now calling for all ministries on the server to put their focus on Mastodon

They are also asking ministries which are not yet on Mastodon to join as soon as possible

Firefox is really nice. Thanks @jbclements for the recommendation 👍

OK, so I setup a blog, and wrote a post about the crazy month of November for Mastodon.world.

blog.mastodon.world/and-then-n

“You can find us anywhere you get your podcasts.”

I *adore* this phrase, because it has been like two whole-ass decades and not one single venture capital darling has managed to unseat plain RSS as the distribution method for podcasts. Not one. (And they have really tried!)

Podcasts are just out there, like air. You don’t go to one place to get them; you get them from everywhere and anywhere. You can choose how you want to engage with them and manage them and it is legitimately heartwarming that nothing has ever gotten in the way of that being a fundamental fact.

This is the best of what the web is. It will never have a stock ticker or even a marketing scheme. Most people don’t even know it is there. But it endures (past the many, many attempts by squillionaire corporates to kill it) because of its absolute unshakable utility.

My suggestion: any time you hear “anywhere you get your podcasts”, send a little thanks to RSS for keeping the real web alive.

#RSS #Podcasts #ProtocolsNotProducts

December 15th (Thursday) is this year’s #RNGDay!

It’s a day to celebrate and think about random numbers, and also the day that next year’s date is decided randomly!

rngday.com/

“Someone with a 1-hr car commute needs to earn 40% more to be as happy as someone with a short walk to work. On the other hand, if someone shifts from a long commute to a walk, their happiness increases as much as if they’d fallen in love.” #CityMakingMath
50 reasons why everyone should want more walkable streets & cities, in Fast Company:
fastcompany.com/3062989/50-rea
#cities #walking #walkablecities #urbanism

Show older
types.pl

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