🫠
(the 16gb pi 5 is actually more than $350 but shh)

DJ Cosmic is now playing Romeo - Rooty by Basement Jaxx, right here on Galaxy Radio! Listen here at either https://beats.seedy.cc:9005/public/gr or https://beats.seedy.cc:9005/listen/gr/radio.mp3

I work for a public sector body. Someone important has had an idea and wants us to do it. Everyone agrees the idea is not viable. But because we can't say no, we're paying a consultancy £100k to come up with the evidence to say its not viable. This happens a lot.

the garden is really picking up steam

@betelgeuse93 @nicolaottomano @macfranc @francina1909
Cambiare abitudini può essere spiazzante, ma una volta cambiate tutto si percepisce come normale.

I colori mi sembra non cambino troppo rispetto ad adesso, anche se sono un po' più accesi.

Evidentemente son stati dati due temi possibili, o uccelli ed architetture o persone e (loro) attività e tutto predeterminato. Ora sono anonime porte e falsi ponti?

Voi no, mi pare di capire, ma io vedo un grande miglioramento rispetto a quelle attuali.

Last week, it was brought to our attention that a part of our mission statement was very badly worded.
The phrase "in a way that traditional archives cannot" caused harm. While we never intended to insult and devalue, it happened nevertheless.

We regret this phrasing deeply - frankly, it's embarrassing - and have removed it from every instance of our mission statement.

Please allow us to clarify how it happened, what we tried to bring across, and how we are proceeding:
[1/7]

@GuerillaOntologist @davidgerard first they came for the bitcoiners, and I didn't speak up because I'm not running a Ponzi scheme. Then they came for the sloperators, and I didn't speak up because I'm a fully formed human being with a soul. Then we all lived happily ever after. The end.

@glyph if the water use issue was overblown then I think we'd see more transparency around the numbers than we do. Instead we get deals signed that keep the numbers under NDA. Plus, we've also seen that the amount of water is only part of the problem. Meta just recently did a bunch of damage to some water infrastructure in Wyoming, and they were using the "reclaim" water or whatever it's called that doesn't go to humans. Another Meta data center project is dumping heavy metals and other contaminants into a river in Wisconsin.

https://www.msn.com/en-us/money/markets/wisconsin-resident-flags-water-contamination-near-meta-s-new-1b-data-center/ar-AA246msD

@UKFilmNerd @solarphasing Hmm, not when it's from Amazon. They're like a corp right out *of* the Blade Runner universe! Ironic, when you think about it. 😄

While you're being told to recycle more & use paper straws to save the #planet the world’s richest 0.01% are wrecking it not only through their lavish lifestyles but also their ownership-based #emissions.

A new Greenpeace Africa report found that the world’s richest 0.01% are associated with about US$992 billion worth of climate damage in 2022 alone through ownership-based emissions. These are emissions linked to the companies, investments and assets wealthy people own and profit from.

@FediFollows @SpaceLifeForm @GrapheneOS what is a Linux distribution then?
If I take a Linux kernel, run JVM on top and create a "framework" to provide my own way to deal with app security, aisolation, memory, etc, and make it installable: is that a Linux distribution?

Orangetan puts physical CWs near museums.

That's gonna improve your economy 100x.

#uspol #disinformation #science #history

The new #euro notes should feature peak european innovation.

I'm still waiting on an eMachines PC handheld to come out

long rant about math

The recent big AI results in math have left me in quite a bad mood. I believe the main ingredient is Lean, which is a formal language resembling a programming language. Math proofs written in Lean can be verified deterministically with a computer, which really helps mitigate the hallucination problems of LLMs. Back in the days of pure scaling LLMs and Sam Altman talking about Dyson spheres, I was skeptical that LLMs would do math, but I did think that perhaps in the future, techniques using these formal languages could contribute to math. Well, it seems like OpenAI and Anthropic had the same idea and I underestimated their limitless checkbooks. Many of the biggest results were announced by mathematicians directly working for them (and presumably being paid a handsome amount).
For what it’s worth, after the last of these big announcements, I decided to try one of these AIs on one of my small problems that I couldn’t figure out. The AI did give a solution. That is, until I checked it thoroughly and realized that the it had a subtle but severe mistake that made it useless. I reprompted it, it failed again, and I ran out of tokens. I’m sure someone will tell me to shell out $200/mo for a pro subscription.
In the math and computer science research community, this is all anyone can really talk about right now. Honestly, after watching this whole AI bubble starting from the very beginning, I think the AI companies want to use marketing to stoke fear that all mathematicians will be replaced. But now, I am just too tired to argue. The amount of alarm and the extraordinary social pressure to use LLMs has soured me to this whole research thing. If becoming a researcher will one day require supporting these evil AI companies, I would rather just not. My dream job now is Factorio developer.
A lot of annoying people in technical areas view the world in terms of an intelligence hierarchy: the smartest people do math and physics, the slightly less smart people do coding, and the dumb people do everything else. So if AI can do math then it can do anything else. But, as an example, it is abundantly obvious now that AI is not replacing filmmaking. The techbros might be moved by arguments about how hilariously expensive video generation is, and how all these videos are 2 second clips stitched together so you won’t feel the uncanny valley. But the real reason is that nobody wants to watch slop made with no intention or feeling. Also, nobody wants to support the AI companies, which could not act more evil even if they tried.
The mania in math right now quite resembles the mania in software engineering back in December-February, when Claude Code definitely solved all coding. I don’t think the boosters expected that by April, everyone would be complaining about how expensive it all was while seeing an endless parade of vibe coding disasters (and no increase in productivity). Even if math research works out perfectly well (which is a still big if), it’s not going to pay the bills. They would need to find a use case in the real world, where hallucinations can cause serious damage and cannot be formally prevented. And they have certainly tried. Math will not change the fact that all of this will collapse.

@mattblaze

“We have always been at war with Eastasia.”

Aside: The effect of the "degenerate art" exhibits was a plot point explored in the 2018 film Never Look Way, which is (approximately) based on the life of the artist Gerhard Richter.

@davidgerard These decisions made me scan my goddamn face so I could use Wise to do a SEPA direct debit to join Codeberg e.V. That's how much I love them and hate slop.