@HaraldvonBlauzahn@feddit.org

member since 4 Apr 2025 21:35

posts

Don't Take the Black Pill (Text Adaptation) - Andrew Kelley

andrewkelley.me
preview

cross-posted from: feddit.org/post/35625610

cross-posted from: feddit.org/post/35625554

About programming and using computers as a liberating piece of magic, in a time that faces growing coercion and attempts to reduce freedoms by software and computing systems.

I’ll leave you with one final message, addressed to people of all ages, whether you are younger than me, a peer, or my elder.

We don’t have to take it lying down.

Next time you’re feeling alone, count your allies: VideoLAN Organization, Blender Foundation, Software Freedom Conservancy, Electronic Frontier Foundation, Linux Foundation, Signal Foundation, KDE e.V., the PostgreSQL Community, the Debian Community, and so, so many more.

Just look at how eager people were to come together, even from places as far away as Greece, for the inauguration of a conference with a manifesto as simple as “software should work”.

“I wish it need not have happened in my time,” said Frodo.

“So do I,” said Gandalf, “and so do all who live to see such times. But that is not for them to decide. All we have to decide is what to do with the time that is given us.”

J.R.R. Tolkien, The Fellowship of the Ring

The battle against Coercionware is only beginning, and we find ourselves on the frontlines whether we like it or not, because we are the ones who make computers do what they do.

But we are not alone, and computers truly are magic. Do not mistake lost ground for lost hope. We can win this thing if we collectively choose to believe it and bet on it.

Faulty Towers, vibe sickness, and the vibe bobsled -- Dustycloud Brainstorms

dustycloud.org
preview

cross-posted from: feddit.org/post/35091193

About the limits of reviewing and understanding code:

Ka-Ping constructs a model voting machine, and decides to see how hard it would be to verify that we know it behaves correctly. To push that exploration to its furthest, Ka-Ping Yee and David Wagner try an interesting experiment:

David Wagner and I decided to insert three bugs into Pvote to see if the reviewers would find them. We inserted what we thought would be an “easy” bug, a “medium” bug, and a “hard bug” to find, and chose each bug individually in such a way that an insider could conceivably exploit the bug to influence the results of an election. […]

We decided to insert all of these bugs in a 100-line region of a single file, lines 11 to 109 of Navigator.py, and told the reviewers to look in this region. We did this both because the navigator was the most interesting in terms of the program logic and because we knew the reviewers would have limited time. The new version of the code that we gave the reviewers contained all three bugs, but we did not tell the reviewers how many bugs there were.

Yoshi Kohno, Mark Miller, and Dan Sandler participated as reviewers on the third day of the review. Dan was very familiar with Python and found the “easy” and “medium” bugs quickly, within about 70 minutes. Yoshi Kohno and Mark Miller found the “easy” bug after about four hours of reviewing. None of the reviewers found the “hard” bug.

The reviewers spent a total of about 20 reviewer-hours focused on the task of finding the bugs in this 100-line section of Navigator.py.

[…]

If some of the best programmers in the world struggle to find bugs they even know must be there within a 100 line program, there is simply no hope for humans to review the volume of output from LLMs.

And so there is only one thing to do: don’t bother. At each step, remove yourself. You tell yourself you won’t, but you do. You give in to the chute and the shape of the vibe tunnel, and down you go.

Oil Lobbyists, Anti-Abortion Groups, and Tech Giants Flock to Reform Conference

DeSmog Oil Lobbyists, Anti-Abortion Groups, and Tech Giants Flock to Reform Conference
preview

cross-posted from: piefed.social/…/oil-lobbyists-anti-abortion-group…

Nigel Farage’s party is welcoming polluting interests and radical pressure groups to its annual gathering.

Corporate titans including Google, Meta, and TikTok will be appearing at Reform UK’s annual conference this week, rubbing shoulders with fossil fuel interests, far-right politicians, and Christian rights groups.

The conference, designed to showcase the party’s policies and politicians, will be attended by figures from some of the world’s biggest tech companies – several of which have donated to funds and projects associated with U.S. President Donald Trump.

They will be joined by the likes of Fuels Industry UK, a trade group for the oil sector which counts BP, Shell, and ExxonMobil among its six members. Reform, whose senior figures frequently deny climate science, advocates for the dramatic expansion of fossil fuel production in the UK.

It’s no wonder Reform is slumping to third in the polls

Porto introduces free public transport for all city residents

eutoday.net
preview

cross-posted from: ani.social/post/35731509

cross-posted from: slrpnk.net/post/41596092

The measure came into force on 10 July 2026

[…] the annual financial requirement is likely to be between €20 million and €25 million.

[…]

The policy is intended to encourage more people to leave their cars at home and use public transport for journeys within Porto and the surrounding urban region.

[Mayor] Duarte has cautioned that abolishing fares will not, by itself, resolve Porto’s congestion problems. He described the programme as part of a broader mobility strategy that must also include faster services, better connections, increased capacity and more reliable journey times.

Porto currently has about 16 kilometres of dedicated bus lanes. The municipality plans to increase this to approximately 22 kilometres by the end of 2026, giving buses greater priority over private vehicles on some of the city’s busiest routes.

The mayor said public transport would need to become more convenient and dependable than travelling by car before a substantial change in daily habits could be expected. The municipality’s objective is for public transport to become the main means of travelling around Porto, with private cars taking a secondary role.

The scheme is unusual because Porto is paying for its residents to travel across the entire metropolitan network rather than offering free journeys only inside the municipality.

The Porto Metropolitan Area comprises 17 municipalities, each of which remains responsible for its own spending decisions. […]

The AI Bubble Warning Just Came From Europe’s Central Bank

gadget review the ai bubble warning just came from europe’s central bank
preview

Passive investing turned everyone into a tech investor without anyone asking permission. That’s the uncomfortable reality your pension statement won’t spell out. Concentration risk isn’t theoretical — it’s sitting inside the funds you forgot you owned, quietly indexed to the same seven companies the ECB just flagged as the core of a potential AI Infrastructure financial stability problem.

comments