Hírolvasó
Az AI az új metaverzum a Meta-nál
"Visszatáncol a Lamborghini, nem erőltetik az elektromosságot"
Kínai kézbe kerül a MediaMarkt
"Elzárhatja az ukrán pénzcsapot az EU, egy jelentés szerint már Zelenszkij leváltására készül a Nyugat"
Az MI akár emberi beavatkozás nélkül is képes kibertámadást végrehajtani
[$] LWN.net Weekly Edition for July 31, 2025
- Front: Becoming a Python contributor; Graphene OS; Fedora quality team; 6.16 Development statistics; Proxy execution; Run-time verification; Confidential VMs.
- Briefs: HeliumOS 10; European Tech Funding; GNU C Library 2.42; OpenPrinting; Wayback 0.1
- Announcements: Newsletters, conferences, security updates, patches, and more.
We need a European Sovereign Tech Fund (GitHub blog)
GitHub director of developer policy, Felix Reda, has published a blog post about a GitHub-commissioned study by Open Forum Europe, Fraunhofer ISI and the European University Institute. The study finds, not surprisingly, "a profound mismatch between the importance of open source maintenance and the public attention it receives"; it calls for a European sovereign tech fund (STF) modeled after Germany's Sovereign Tech Agency.
The study proposes two alternative institutional setups for the EU-STF: either the creation of a centralized EU institution (the moonshot model), or a consortium of EU member states that provide the initial funding and apply for additional resources from the EU budget (the pragmatic model). In both cases, to make the fund a success, the minimum contribution from the upcoming EU multiannual budget should be no less than €350 million. This would not be enough to meet the open source maintenance need, but it could form the basis for leveraging industry and national government co-financing that would make a lasting impact.The European Union is currently starting negotiations for its 2028-2034 budget, the Multiannual Financial Framework; GitHub and others hope to persuade EU legislators to include a European STF in that framework.
[$] Extending run-time verification for the kernel
There are a lot of things people expect the Linux kernel to do correctly. Some of these are checked by testing or static analysis; a few are ensured by run-time verification: checking a live property of a running Linux system. For example, the scheduler has a handful of different correctness properties that can be checked in this way. Nam Cao posted a patch series that aims to extend the kinds of properties that the kernel's run-time verification system can check, by adding support for linear temporal logic (LTL). The patch set has seen eleven revisions since the first version in March 2025, and recently made it into the linux-next tree, from where it seems likely to reach the mainline kernel soon.
Kafka: az eseményvezérelt rendszerek igáslova
[$] On becoming a Python contributor
Security updates for Wednesday
Elavult rendszerek és éveken át nem cserélt jelszavak vezettek az Aeroflot feltöréséhez
Egyszerre izgalmas és ijesztő AI-funkciókkal bővült a Photoshop
Tanárt csinált az OpenAI a ChatGPT-ből
50GPON hálózatot tesztelt a Telekom és a BME
A Google aláírja Európa AI-kódexét
A YouTube-ról is letiltják Ausztráliában a 16 év alattiakat
Komoly matekozás ment a mobilpiacon az első félévben
Classic CDE (Common Desktop Environment) coming to OpenBSD
The initial commit message reads,
List: openbsd-ports-cvs Subject: CVS: cvs.openbsd.org: ports From: Antoine Jacoutot <ajacoutot () cvs ! openbsd ! org> Date: 2025-07-28 12:35:38 CVSROOT: /cvs Module name: ports Changes by: ajacoutot@cvs.openbsd.org 2025/07/28 06:35:38 Log message: Import cde-2.5.2 CDE - The Common Desktop Environment is X Windows desktop environment that was commonly used on commercial UNIX variants such as Sun Solaris, HP-UX and IBM AIX. Developed between 1993 and 1999, it has now been released under an Open Source licence by The Open Group.