Stefan Sperling @stsp@bsd.network

Dev accidentally commits Copilot binary to FreeBSD ports repo

https://www.theregister.com/os-platforms/2026/07/24/dev-accidentally-commits-copilot-binary-to-freebsd-ports-repo/5278458

Git is aptly named: it isn’t easy – but there are alternatives

<- by me on #TheRegister

Hanser Fachbuch bringt im Jahr 2026 ein neues Buch (!) zu BSD (!) raus: FreeBSD, NetBSD, OpenBSD. Nicht, dass ich persönlich das brauchen würde, aber ich finde das sehr mutig vom Verlag und freue mich über diesen Mut: https://www.hanser-fachbuch.de/BSD-Praxis-kompakt-FreeBSD-NetBSD-OpenBSD/978-3-446-48783-3 #bsd #unix #openbsd #freebsd #netbsd

M51 is a spiral galaxy located about 25 Mly away in the constellation of Cannes Venatici.

Easily found in a small telescope, it's an example of interacting galaxies as the upper part is a second, smaller galaxy.

Européen·nes, vous êtes-vous exprimé·e sur le design des nouveaux billets ?

Voir les propositions : https://www.ecb.europa.eu/euro/banknotes/future_banknotes/html/design-proposals.fr.html

Répondre à l'enquête : https://surveys.ecb.europa.eu/10b/neweuro/

via https://squilla.vitaulium.eu/@leonieke/statuses/01KY7SVCXDEEDX43BQ88XS0TRC, via @joachim

(perso, je suis team H, pas de débat)

#Euro #Banknotes #Europe

made some tiny git zines to give out at a “git for beginners” workshop we’re doing

Looking at both totals:
GHS: $100M in 7 years (~$14M/yr). OSC: $42M in 9 years (~$4.7M/yr)
~$20M/yr combined = payroll of one mid-size software company, for the whole ecosystem
$100M across 70k maintainers = ~$1,400 each, lifetime
Corporate share: ~$5-6M/yr, from every company in the world combined

ADDENDUM: Please do read the blog post at https://blog.codeberg.org/protecting-our-floss-commons-from-llms.html for more context and arguments that led to this decision.

Thanks to @NGIZero @nlnet, we have funding work on μTCP, our TCP/IP stack for #MirageOS / #mkernel #OCaml #unikernels https://nlnet.nl/project/microTCP/ .

The longer story is this project I first heard about in 2012 at ICFP in Copenhagen where @peter_sewell_ gave an impressive talk "Tales from the Jungle". I was at that moment doing my PhD on software verification (Coq, separation logic) and it was so nice to see real world stories of verification.

For several reasons (MirageOS melting pot, OCaml-TLS with David Kaloper), I went to Cambridge and worked with Peter on that formal model, read our JFP journal paper http://www.cl.cam.ac.uk/~pes20/Netsem/paper3.pdf .

Then I left academia, and worked in my spare time (finding projects, going through team processes, ...) on the OCaml implementation very slowly. Motivated by @dinosaure and @reynir we deployed it in 2024, and fixed issues. Now we have several months of funded work to push it over the finish line.

Big thanks to everyone involved so we can push this forward. 🎉💕

Instead of complaining, better become an active member and be the change yourself, you wish to see within the project.
You can start, right here: https://join.codeberg.org/
And then you also can vote in the future, instead of complaining afterwards, because the free meal of the day does not fit your taste. Become yourself the cook, that's what volunteer work and FOSS is all about (imho)
And, a donation is not a subscription. You are not "buying" any service. You support free volunteer work.

--end-of-options https://nesbitt.io/2026/07/21/end-of-options.html

📢 EuroBSDCon2026: The Schedule is Here! 😈⛳️🐡

The schedule is now published!!
You can find it at: https://events.eurobsdcon.org/2026/schedule/

Grab your tickets 🎟️ at https://tickets.eurobsdcon.org/eurobsdcon/brussels/

For everything else, peek at https://2026.eurobsdcon.org/
More information is added all the time.

EuroBSDCon 2026 in Brussels, Belgium 🇧🇪
September 09-13, 2026

#RUNBSD #FreeBSD #NetBSD #OpenBSD #EuroBSDCon #EuroBSDCon2026 #BSD #Conference #Register

Eigentlich wollte ich euch all das heute in einem Interview mit heise erzählen. Leider - wie ironisch - hat die Chefredaktion kurz vor Veröffentlichung schiss bekommen. Deshalb findet ihr meine Antworten und ein paar Erklärungen zur Lex-Wallraff im Digitalen auch in meinem Blog: https://lilithwittmann.medium.com/heise-entschied-sich-leider-kurzfristig-dieses-interview-zu-den-hintergruenden-meiner-recherche-c3c0aa91972e.

Just committed #ECDSA support in #relayd. The CA privsep engine now handles EC keys too. Big thanks to op@ for migrating the engine + signing code from smtpd.

#gameoftrees #got #vcs

Hi all,

I've released got-portable 0.127

This release tracks got-0.127, no -portable specific changes.

Behind the scenes though, I have now moved got's CI from Cirrus-CI (RIP; they were good to us) to sr.ht's build infrastructure.

More details about this release can be found here:

https://gameoftrees.org/portable.html

Any questions, please let me know.

Everyone should be back up by now. Our downtime was just short of 10 minutes.

All VMs are now running #GameOfTrees 0.127 which was released today. The host server and all VMs have the latest syspatches applied.

Enjoy!

I keep seeing the "cars replaced horses" thing related to "AI."

People keep comparing "AI" to cars (positively) without thinking about the fact that cars were forced on people (GM bought up and destroyed tram lines, there were massive protests, etc), and are the primary driver of climate change that is currently on track to make complex human society impossible. Meanwhile, cities that weren't destroyed for cars, or that have reversed most of the damage, are some of the most desirable places to live.

Maybe we could take the car analogy as a warning. Maybe it could be a reminder to think about how forcing technology on people against their will can reshape society in a profoundly negative way.

The answer for cities has been to right-size transit. Eliminate cars wherever possible, maintain emergency vehicles and mobility aids, and find more efficient alternatives (bikes, trams, metros, and trains) where possible. I feel as though we can extrapolate from the metaphor.

We do not have to repeat the mistake of reshaping society around a single, oversimplified, solution in order to benefit a tiny minority. Perhaps we can actually choose the right technologies based on use cases, rather than hype or dogma.

Cars didn't replace horses. Cars replaced walkable cities, tram lines and mass transit, and children playing in the streets.

"Cars replaced horses" to the benefit of a small group of elite men, at tremendous cost to literally everyone else. When people say, "AI is the new 'cars replacing horses'" they are saying something very specific about their privilege and intentions.

Edit: I write AAA, but it should have been GM and related companies. Look up the "General Motors streetcar conspiracy." And yes, that means that "Who Framed Roger Rabbit" was actually based on real events that you didn't realize were real.

The physical Universe isn’t made of pure mathematics alone

Mathematics is great, as a tool, for describing the Universe.

But our Universe isn't made of pure mathematics alone.

To transform it into physics, something more is required.

https://bigthink.com/starts-with-a-bang/universe-made-pure-mathematics/