Mastodawn

Show thread

Leon P Smith 3d ago

@dysfun that would suggest the existence of undelimited discontinuations.

Leon P Smith 3d ago

Show thread

Daphne Preston-Kendal 3d ago

Cloud providers will have identified self-hosting, community-organized services, and digital sovereignty campaigns as a threat, in the same way Microsoft identified free software as a threat in the 1990s and 2000s, and they will want to stamp out that threat. Keeping prices high to make self-hosting uneconomical is one way to do this

Leon P Smith 3d ago

tante 3d ago

Exactly. As I wrote a few weeks ago: This fits perfectly into Jeff Bezos' pitch at the end of last year telling us that "owning a computer" will no longer be a thing we do, we'll be renting them.
That is what big tech learned from all of this. It is possible to lock us out of the means of computation.
https://chaos.social/@dpk/116328991931442364

Daphne Preston-Kendal (@[email protected])

Content warning: depressing prediction

chaos.social

Leon P Smith 4d ago

Michael W Lucas

5d ago

Anthropic lost a class action suit for scraping books. Writers can register with Anthropic to be compensated for their pillaging of our copyrights.

The compensation system was AI-coded.

Anthropic can't keep track of our submissions. They don't know who wrote what.

Their customer support is AI-driven. Send a mail! Log in to a nonexistent page! Resubmit and it'll be fine!

This will be fine.

Leon P Smith 5d ago

Joachim Breitner Mar 28

Very nicely done video by @david explaining some of my work on #leanprover and well-founded recursion:
https://youtu.be/LOUbbiV0mWc

Kernel Reduction Redemption: How Recursion Got Better in Lean 4.27.0

YouTube

Show thread

Leon P Smith 5d ago

@azonenberg I didn't vote because I haven't used ngscopeclient yet, but my bench multimeter, oscilloscope, and programmable linear power supply are listed as "known to work".

Which, I guess is a sign that I have largely bought relatively popular T&M gear on the cheaper side of things, lol.

That's a good start, I really need to dig into hooking all my gear up to my computer and making things happen, so I'll definitely give ngscopeclient a go when I get around to that.

Leon P Smith 5d ago

Show thread

Brian Marick 5d ago

I should note that the devil-may-care attitude toward public education had some benefits.
– The New Math *rocked*. https://www.si.edu/object/uicsm-high-school-mathematics-experimental-programed-edition%3Anmah_1302593 Great preparation for being a computer programmer. Number bases! Sets!
– One particular whole-class exercise taught me that I could – in a rational way – organize groups with shared information toward a common goal. Also that they would be really mad at me for being bossy.

Show thread

Leon P Smith 5d ago

@marick I had a very similar experience. I'm sure I learned a lot more science because I moved schools, so I only had him for one semester instead of 5 or 6.

Leon P Smith 6d ago

Show thread

Azuaron 6d ago

@waitworry @futurebird This is exactly what happened last time, and why chromosome testing was ended. Women were finding out they had androgen insensitivity, or only a single X chromosome (no Y), or were XXY females, and the IOC finally ended chromosome testing in 1999 to protect the dignity of athletes who don't already know they have these conditions.

Leon P Smith 6d ago

Show thread

Claire, The Ultimate Worrier 6d ago

@futurebird the trans ban in the Olympics also mandates genetic testing so I think we're going to end up with a lot of athletes who have been assigned female at birth and been living their whole lives as women getting randomly kicked out because it turns out they have abnormal chromosomes