Arias: Human proof for FOSS contributions
Rodrigo Arias Mallo, maintainer of the Dillo web browser, has written a
blog post
with a proposal on one way to ensure that a contribution is written by
a human and not AI; he suggests asking new contributors to record
their programming session using asciinema.

In the same way that LLMs generate patches, they can also generate
the asciinema recordings themselves. Then, the contributors c … ⌘ Read more

Les étudiants étrangers contre les frais différenciés: «C’est une façon de nous dire: “Rentrez chez vous!”»
Dès la rentrée, la grande majorité des étudiants non européens vont devoir s’acquitter de 3 000 euros par an pour une licence, et de 4 000 euros pour un master. La plupart d’entre eux pourraient aussi se voir privés d’aide au logement. Un coup de grâce pour les budgets les plus serrés. ⌘ Read more

«La dignité, c’est ce qui nous tient»
Un livre collectif intitulé «Les révoltes de la dignité. Résister dans les mondes arabes et méditerranéens» déplace la focale politique sur une notion sous-estimée pour saisir les moteurs des résistances à l’humiliation et les aspirations à une vie bonne. Entretien avec les directrices de l’ouvrage. ⌘ Read more

Boot-Time Wizard Aims To Help Reduce Linux Boot Times
While in the past decade or so Linux desktop/laptop users likely have little to complain about boot times and there hasn’t been much emphasis around trying to make boot times even faster on the Linux desktop especially in an era where many systems are always-on and suspend/resume working more reliably these days, boot times are still an important factor in the embedded Linux world. Boot-Time Wizard is one of the new efforts aiming to help embedded Linux makers c … ⌘ Read more

OpenBSD 7.9 released
The OpenBSD 7.9 release is
out, right on schedule. There is the usual long list of new features,
including improved architecture support, CPU scheduling on heterogeneous
systems, the ability to hibernate a suspended system after a configurable
delay, socket splicing, a
__pledge_open()
system call giving special access to the C library, and much more. See the
announcement and [the full\
changelog]( … ⌘ Read more

Dans un salon de coiffure itinérant, entre Hérault et Aveyron: «Ici, c’est la France de la deuxième vitesse!»
Un salon de coiffure mobile conduit par un couple d’Aveyronnais sillonne les villages reculés de la région. Une fois par semaine, le camion se pose au Caylar, dans l’Hérault, où la clientèle devise sur les prix du carburant, le dégoût de la politique et le fort sentiment d’exclusion. ⌘ Read more

Intuit To Lay Off Over 3,000 Employees To Refocus On AI
Intuit is reportedly cutting about 3,000 jobs, or 17% of its workforce, as it restructures around AI and simplifies its corporate organization. TechCrunch reports: The layoffs come during a bad year for the tech workforce. The tech industry has already cut more than 100,000 jobs this year, per Statista, and is on track to outpace both 2024 and 2025 if the layoff trend c … ⌘ Read more

Affaire Ibrahim Maalouf: être relaxé, est-ce être innocenté?
Le célèbre trompettiste a été définitivement relaxé en 2020 dans une affaire d’agression sexuelle. L’avocat de la jeune femme qui se disait victime peut-il cependant affirmer que le musicien «n’a pas été innocenté par la justice»? C’est la question à laquelle devait répondre l’ordre des avocats mercredi 20 mai. ⌘ Read more

Moins de chômeurs, plus de précaires: la Banque de France salue la politique de Macron
Une étude attribue la baisse structurelle du chômage depuis dix ans aux réformes d’Emmanuel Macron. Mais c’est surtout l’affaiblissement du pouvoir de négociation des travailleurs et la baisse des droits au chômage qui en sont responsables. Rien de réjouissant. ⌘ Read more

Flavie Flament témoigne dans l’affaire Bruel: «16 ans, c’est l’âge des premiers émois, pas celui d’un viol dans un appartement parisien»
Alors que Patrick Bruel a réagi lui-même pour la première fois, démentant avoir violé ou drogué Flavie Flament, la célèbre animatrice prend la parole dans un entretien vidéo avec «Mediapart». Celle qui a porté plainte pour viol contre le chanteur dit vouloir «donner de l’écho» aux « … ⌘ Read more

La France annule ses vacances mais le gouvernement est totalement détendu
Paradoxalement, c’est quand les Français prennent des vacances qu’on sait que le pays tourne bien, et c’est lorsqu’ils les annulent qu’on sait que ça tourne au vinaigre. Et, actuellement, c’est exactement ce qui est en train de se produire. Le récent sondage ELABE/BFMTV éclaire bien la situation : 6 Français sur 10 ont déjà modifié ou […] ⌘ Read more

Déchets nucléaires: à Bure, beaucoup de questions toujours sans réponse
C’est la dernière étape réglementaire avant une probable autorisation de l’enfouissement à 500 mètres sous terre: le 18 mai s’ouvre l’enquête publique sur le futur centre de stockage des rebuts radioactifs. Un projet qui ressemble à la solution inachevée d’un problème sans fin. ⌘ Read more

«Si ces jeunes sont notre avenir, alors c’est la fin d’Israël»
Des milliers de jeunes suprémacistes juifs ont défilé dans la vieille ville de Jérusalem jeudi 14 mai pour commémorer l’annexion de la partie palestinienne en 1967. Une parade raciste et violente qu’ont tenté de contenir des militants pacifistes. ⌘ Read more

Call Zig or C from Go without CGO for extra performance
1 points posted by pj ⌘ Read more

«La corruption, c’est ça»: l’accusation poursuit sa démonstration au procès Sarkozy-Kadhafi
Après l’association de malfaiteurs lundi, l’avocat général Damien Brunet a réclamé, mardi, la condamnation de Nicolas Sarkozy pour corruption, recel de détournement de fonds publics et financement illégal de campagne, stigmatisant la «perdition républicaine» de l’ex-chef de l’État. ⌘ Read more

Apple Now Requires Verification For Education Store
Apple now requires Education Store shoppers in the U.S. and several other countries to verify their student, educator, parent, or homeschool-teacher status through UNiDAYS, ending the previous honor-system approach. 9to5Mac reports: Starting today, Apple requires shoppers in the United States to complete verification when making a purchase via the Education Store. This c … ⌘ Read more

GM Secretly Sold California Drivers’ Data, Agrees to Pay $12.75M In Privacy Settlement
“General Motors sold the data of California drivers without their knowledge or consent,” says California’s attorney general, “and despite numerous statements reassuring drivers that it would not do so.”

In 2024, The New York Times “reported that automakers including GM were sharing information about their c … ⌘ Read more

Pentagon Begins Releasing New Files On UFOs
The Pentagon has begun releasing new UFO/UAP files through a newly launched public website, starting with 162 documents from agencies including the FBI, State Department, NASA, and others. Officials say more files will be released on a rolling basis. The Associated Press reports: The Pentagon has begun releasing new files on UFOs, saying members of the public can draw their own c … ⌘ Read more

Qt Creator 20 Beta Expands AI Integration
The Qt Group released the Qt Creator 20 Beta today for this Qt/C++ focused integrated development environment (IDE). In building off the trends of recent releases of Qt Creator and development tools at large, AI integration continues to be a big area of focus… ⌘ Read more

L’immigration de remplacement n’est pas une théorie : c’est un budget
Pourquoi, en l’espace de quelques années, les villes européennes et américaines se sont retrouvées submergées de réfugiés, toutes à peu près au même moment et comme par un heureux hasard de calendrier ? Pourquoi des métropoles aussi différentes que Malmö, Bruxelles, Minneapolis et Lampedusa ont connu simultanément le même phénomène, avec les mêmes ONG, les mêmes […] ⌘ Read more

Agog to be the 2,644th backer 😎 on BackerKit Crowdfunding for Old-School Essentials Demonic Grimoire! https://www.backerkit.com/c/projects/exalted-funeral/old-school-essentials-demonic-grimoire

If aliens reached Earth, what would you ask them first? ⌘ Read more

Les juges pleurnichent, les racailles rigolent
Pour un service calamiteux, un produit défectueux et un client qui rouspète, là où le privé ferait faillite, l’administration française s’empresse plutôt de rédiger un rapport pompeux pour expliquer que le client n’est qu’un abruti populiste. Et c’est notamment vrai dans la magistrature. En effet, le Conseil Supérieur de la Magistrature (CSM) vient d’en fournir […] ⌘ Read more

GCC 16 Compiler Delivering Some Decent Performance Gains Over GCC 15
With the GCC 16.1 compiler released last Thursday, I have begun running more compiler benchmarks on this first GCC 16 stable feature release. GCC 16 comes heavy on new changes in being the annual feature release and delivering changes from AMD Zen 6 and Arm AGI CPU support to new C++ features and even the Algol 68 programming language front-end. It’s also looking quite good in the performance department relative to the GCC 15 compiler from last year. ⌘ Read more

无羁：现代化的开源 Windows 在线和本地音乐播放器
这是一款使用 WinUI 3（C#、C++）原生开发的现代 Windows 播放器，支持在线和本地音乐播放。在拥有 WASAPI 独占输出、灵动词岛、窗口材质更改、Q弹动效等特色功能的同时，资源占用低，非常适合追求极致视听交互体验的用户。@Appinn 来自发现频道，开发者 @LanZhan 自荐： ⌘ Read more

And a trip to my backyard mountain again. It was very windy, so the 16°C felt even cooler than that. But it will be back in the twenties tomorrow when I visit a mate for a hike, oof.

https://lyse.isobeef.org/waldspaziergang-2026-04-30/

GCC 16.1 released
Version\
16.1 of the GNU Compiler Collection (GCC) has been
released.

The C++ frontend now defaults to the GNU C++20 dialect and the corresponding
parts of the standard library are no longer experimental. Several
C++26 features receive experimental support, including Reflection
( -freflection), Contracts, expansion statements and std::simd.

Other changes include the introduction of an experimental compiler
frontend for the [Algol … ⌘ Read more

Farewell ISDN, Ham Radio & Old Network Drivers: Linus Torvalds Merges 138k L.O.C. Removal
Linus Torvalds did it! He merged the pull request to rid the Linux kernel of the old Integrated Services Digital Network (ISDN) subsystem and various other old network drivers largely for PCMCIA era network adapters. This was the code suggested for removal given the recent influx of AI/LLM-generated bug reports against this dated code that likely has no active upstream users remaining… ⌘ Read more

Pétrole, détroits et dollars : l’Amérique gagne la partie ?
C’est pourtant simple et les médias de grand chemin l’ont bien compris : le monde thermo-industriel est fini, les pénuries et les souffrances arrivent. Et surtout, ne tenez pas compte de ce qui se passe en coulisses, vous risqueriez de découvrir un grand chambardement énergétique. Contrairement aux jérémiades de experts de plateaux, ce n’est ni la […] ⌘ Read more

[$] Using LLMs to find Python C-extension bugs
The open-source world is currently awash in\
reports of LLM-discovered bugs and vulnerabilities, which makes for a lot more
work for maintainers, but many of the current crop are being reported
responsibly with an eye toward minimizing that impact. A recent report
on an effort to systematically find bugs in [Python extensions\
written in C](h … ⌘ Read more

Péter Magyar, le clone poli de Viktor Orbán
Fêtes et réjouissances chez les élites européennes et la presse mainstream : l’affreux Viktor Orbán est enfin tombé. Champagne et petits-fours, c’est Péter Magyar qui le remplace, et youpi, c’est un progressiste docile ! Vraiment ? Regardons cela. Peter Magyar, c’est le chef de l’opposition hongroise et du parti Tisza qui, en plus des élections hongroises, devrait même […] ⌘ Read more

New Movie Trailer Shows First AI-Generated Performance By a Major Star: the Late Val Kilmer
“A trailer has been released for the first film to star an authorised generative AI version of a major Hollywood actor,” writes The Guardian:

Val Kilmer was cast in western As Deep As the Grave before his death in April 2025. Production delays meant he never shot any scenes, but the c … ⌘ Read more

My mate and I hiked some 16-18 kilometers to the Wasserberg. The 22°C sun was beating down hard on us. There were quite a bunch of clouds all around, but none of them casted the tiniest shade on us. Only in the second half we got a little bit luckier in that regard. Still, we were soaked before we even left town. Hardly any breeze.

Unfortunately, I left my camera at home and found it hidden behind the cettle in the kitchen after searching the entire house for some 15 odd minutes. However, a greenfinch paid me a visit this morning and I got it on camera. The sunset was crazy colored, too:

https://lyse.isobeef.org/gruenfink-2026-04-18/

Échec des renouvelables : c’est du gaz qu’il faut pour les data centers
L’essor des centres de données entraîne une hausse de la demande pour le gaz naturel dans le monde comme source d’électricité. Le graphique ci-dessous de l’American Petroleum Institute montre la consommation de gaz et les exportations depuis les États-Unis (source). Fortune explique ainsi : “La production de gaz naturel était généralement stable entre 1970 et 2010, […] ⌘ Read more

Critical Atlantic Current Significantly More Likely To Collapse Than Thought
An anonymous reader quotes a report from the Guardian: The critical Atlantic current system appears significantly more likely to collapse than previously thought after new research found that climate models predicting the biggest slowdown are the most realistic. Scientists called the new finding “very concerning” as a c … ⌘ Read more

The weathermen just cannot be right with their 20°C today, it must have been more. It was awfully hot, the light breeze was not enough and even absent most of the time. In the shade, it was alright. Other than that, the walk to the dairy farm and back was really beautiful. Very lovely scenery.

Somebody spilled their paintbox at sunset. Unfortunately, I missed to reinsert the SD card into my camera, so I could not take more photos of Azabache and his new mate. They quickly disappeared. He even landed right next to my window, so that would have been a killer shot.

https://lyse.isobeef.org/waldspaziergang-2026-04-17/

Glibc Lands A Big Optimization For LoongArch CPUs
Loongson’s LoongArch processors are running decent in our recent Loongson 3B6000 benchmarks but even better performance is on the way with the next GNU C Library “glibc” release… ⌘ Read more

La capitulation du 1er Mai
C’était couru d’avance : dans un pays croulant sous 3000 milliards de dette, imaginer des citoyens adultes et consentants travailler librement un jour férié relève de la provocation fasciste. Et sans surprise donc, le feuilleton printanier sur l’assouplissement férié du premier mai vient de s’achever sur une note navrante : la montagne parlementaire n’a pas accouché d’une […] ⌘ Read more

KDE Gear 26.04 released
Version 26.04 of
the KDE Gear collection of applications has been released. Notable changes
include improvements in the Merkuro\
Calendar schedule view and event editor, support for threads in the NeoChat Matrix chat client, as well as
the ability to add keyboard shortcuts in the Dolphin file manager “to nearly any
option in any menu, plugin or extension”. See the [c … ⌘ Read more

Meta Is Warned That Facial Recognition Glasses Will Arm Sexual Predators
An anonymous reader quotes a report from Wired: More than 70 civil liberties, domestic violence, reproductive rights, LGBTQ+, labor, and immigrant advocacy organizations are demanding that Meta abandon plans to deploy face recognition on its Ray-Ban and Oakley smart glasses, warning that the feature – reportedly known inside the c … ⌘ Read more

Linux 7.0 Released
“The new Linux kernel was released and it’s kind of a big deal,” writes longtime Slashdot reader rexx mainframe. “Here is what you can expect.” Linuxiac reports: A key update in Linux 7.0 is the removal of the experimental label from Rust support. That (of course) does not make Rust a dominant language in kernel development, but it is still an important step in its gradual integration into the project. Another notable security-related c … ⌘ Read more

We cleaned up the forest today with the scouts at absolute dream weather. Blue sky, no clouds, 19°C sunshine. In the morning it was still quite chilly and windy, though. We didn’t find anything spectacular, maybe a rubber dinghy, three car tires and a broken ratchet strap are the most outstanding things to me apart from all the general rubbish, cigarettes, glass, wet wipes, etc. Still, a very fun activity. In the end we had bockwurst, grilled cheese and lye buns on the camp fire.

I then went for a quick stroll with my mate. It’s crazy how quickly the clouds moved in, 30-45 minutes tops. There will be rain in an hour. And the coming days only reach half the temps. I’m glad I took advantage of the great spring day. Haven’t seen Azabache yet and with the rain on deck, the odds are against him and me.

https://lyse.isobeef.org/waldspaziergang-2026-04-11/

@lyse@lyse.isobeef.org AI result ahead, feel free to ignore.

I “asked” the AI at work the same question out of morbid curiousity. It “said” that SQLite converts that integer to floating point internally on overflows and then, when converting back, the x86 instruction cvttsd2si will turn it into 0x8000000000000000, even if the actual floating point value is outside of that range. So, yes, it allegedly actually saturates, as a side effect of the type conversion.

I couldn’t find anything about that automatic conversion in SQLite’s manual, yet, but an experiment looks like it might be true:

sqlite> select typeof(1 << 63);
╭─────────────────╮
│ typeof(1 << 63) │
╞═════════════════╡
│ integer         │
╰─────────────────╯

sqlite> select typeof((1 << 63) - 1);
╭──────────────────────╮
│ typeof((1 << 63) ... │
╞══════════════════════╡
│ real                 │
╰──────────────────────╯

As for cvttsd2si, this source confirms the handling of 0x8000000000000000 on range errors: https://www.felixcloutier.com/x86/cvttsd2si

The following C program also confirms it (run through gdb to see cvttsd2si in action):

<a href="https://we.loveprivacy.club/search?q=%23include">#include</a> <stdint.h>
<a href="https://we.loveprivacy.club/search?q=%23include">#include</a> <stdio.h>

int
main()
{
    int64_t i;
    double d;

    /* -3000 instead of -1, because `double` can’t represent a
     * difference of -1 at this scale. */
    d = -9223372036854775808.0 - 3000;

    i = d;
    printf("%lf, 0x%lx, %ld\n", d, i, i);

    return 0;
}

(Remark about AI usage: Fine, I got an answer and maybe it’s even correct. But doing this completely ruined it for me. It would have been much more satisfying to figure this out myself. I actually suspected some floating point stuff going on here, but instead of verifying this myself I reached for the unethical tool and denied myself a little bit of fun at the weekend. Won’t do that again.)

Security updates for Friday
Security updates have been issued by AlmaLinux (container-tools:rhel8, fontforge, freerdp, go-toolset:rhel8, gstreamer1-plugins-bad-free, gstreamer1-plugins-base, and gstreamer1-plugins-good, kernel, kernel-rt, libtasn1, mariadb:10.11, mysql:8.4, nginx:1.24, openssh, pcs, python-jinja2, python3.9, ruby:3.1, vim, virt:rhel and virt-devel:rhel, and xmlrpc-c), Debian (libyaml-syck-perl and openssh), Fedora (cockpit, crun, dnsdist, doctl, fido-device-onboard, libcgif, libpng12, libpng15, mbedtls, o … ⌘ Read more

I called it quits a bit earlier and enjoyed the sunny 19°C blue sky in nature. I just sat an entire hour on a bench (12) near a habitat (07) and enjoyed the sun rays and singing birds around me. When I returned, the batteries were almost drained. The sunset finished them off, so that I could not record Azabache’s concert shortly after. However, I saw that amazing bird this morning and got him on film. Enjoy!

https://lyse.isobeef.org/waldspaziergang-2026-04-08/

Essence, chocolat et recul : quelques jours de pause
Eh oui, c’est comme ça, c’est très triste : les prix de l’essence et du chocolat ainsi que la nécessité de me déplacer m’imposent de prendre quelques jours de repos. Le couperet tombe, la nouvelle est rude, le sevrage temporaire sera cruel, mais c’est ainsi. J’en suis navré, mais ma réserve d’optimisme de commande est à […] ⌘ Read more

America’s CIA Recruited Iran’s Nuclear Scientists - By Threatening To Kill Them
A former U.S. spy spoke to The New Yorker about “years of clandestine work for the C.I.A. — which, he said, had ‘prevented Iran from getting a nuke’.”

[Kevin] Chalker told me that, as he understood it, the Pentagon had suggested running commando operations to kill key Iranian scientists, as Israel subsequently did. … ⌘ Read more

Thank you, @bender@twtxt.net!

My mate and I took advantage of the public holiday and went on a hike. At first, the 14°C and only slight wind weren’t all that terrible, especially since there were only a few clouds. Later, the sun got covered more and more and also the wind picked up. I was really glad that I brought my jacket along. In the beginning I was contemplating about leaving it at home, but then still wore it and stripped it a few minutes into the trip. It was very windy at the summit, so for our second lunch break wearing it was an absolute must. It was a very beautiful trip and I enjoyed my mate’s company.

Finally, Azabache showed up, too. I didn’t bother videoing with all the wind. Didn’t feel like fixing the audio. Maybe tomorrow.

https://lyse.isobeef.org/waldspaziergang-2026-04-03/

Azabache returned just a few minutes later when the sparrow or great/blue tit was gone. Next time I will use a tripod to record the video. Also sorry about the sound, I used all my Audacity skills to remove the noise, but somehow, combining the video and audio track in kdenlive somehow messed up the sound. There’s some horrible sqealing towards the beginning.

The sun was out and tricked everybody to believe it’s nice and warm. However, with the wind, the 11°C felt way colder. Still, super nice out there, I enjoyed it a lot. The quick trip to the dairy farm took me more than double the regular time, because I took close to 400 photos. Oh boy, Lyse is such an idiot!

https://lyse.isobeef.org/waldspaziergang-2026-04-02/

The Linux Kernel’s Minimum Rust Version Supported Prepares For Rust 1.85 Baseline
The Rust-For-Linux crew is preparing to raise the minimum supported Rust version for building the Linux kernel and and similarly also bumping the minimum supported version of bindgen, the tool for generating Rust FFI bindings for C code in the kernel… ⌘ Read more