Feed aggregator
[$] Finishing the conversion to the "new" mount API
Types Team Update and Roadmap (Rust Blog)
There has been a lot of work on the next-generation trait solver. The initiative posted a separate update at the end of last year. While we would have liked to stabilize its use in coherence a few months ago, this surfaced additional small behavior regressions and hangs, causing delays. We are working on fixing these issues and intend to merge the stabilization PR soon. We are getting close to compiling the standard library and the compiler with the new solver enabled everywhere, after which will be able to run crater to figure out the remaining issues.
Security updates for Wednesday
06/25 TUXEDO OS 3-20240625
[$] Programming in Unison
Unison is a MIT-licensed programming language, in development since 2013, that explores the ramifications of making code immutable and stored in a database, instead of a set of text files. Unison supports a greatly simplified model for distributed programming — one that describes the configuration of and communication between programs in the same language as the programs themselves. Along the way, it introduces a new approach to interfacing with programming languages, which is tailored to its design.
Darktable 4.8.0 released
Version 4.8.0 of the darktable photo editor has been released. Changes include performance improvements for large collections, addition of more EXIF fields in the image information module, and two new modules for image composition: Enlarge Canvas and Overlay. Enlarge Canvas allows adding areas to an image, while Overlay allows adding new content by overlaying pixels from the current image or another image. LWN last looked at darktable in 2022. Users are "strongly advised" to make a backup of their configuration and library before upgrading, as they will not be compatible with darktable 4.6.
[$] Making containers bootable for fun and profit
Dan Walsh, Stef Walter, and Colin Walters all walk into a presentation and Walter asks, "why would you want to boot your containers?" This isn't the setup for some technology joke, this is part of the trio's keynote at DevConf.cz in Brno, Czech Republic on June 14 about bootable containers (bootc). The talk, which was streamed to YouTube for those of us who didn't attend DevConf.cz in person, provided a solid overview of bootc and the problems it is intended to solve. The idea behind bootc is to make creating operating-system images just as easy as creating application-container images while using the same tools.
next-20240625: linux-next
RIP Daniel Bristot de Oliveira
Not all "open source" AI models are actually open (Nature)
It is not yet clear how many of these models will fit the EU's definition of open source. Under the act, this would refer to models that are released under a "free and open" licence that, for example, allows users to modify a model but says nothing about access to training data. Refining this definition will probably form "a single pressure point that will be targeted by corporate lobbies and big companies", the paper says.
Security updates for Tuesday
next-20240624: linux-next
Min: sched_ext: scheduler architecture and interfaces
In a particular situation, when each scheduling policy needs its specific action, the core kernel scheduler calls an operation defined in struct sched_class. For example, when the core kernel scheduler needs to select a task to be scheduled, it calls the sched_class.pick_next_task(rq) callback of a concrete scheduling policy. When a task becomes runnable, the core kernel scheduler calls sched_class.enqueue(rq, p, flags) so the concrete scheduling policy enqueues task p to run queue rq. When a task's runtime state needs to be updated, the core kernel scheduler calls sched_class.update_curr(rq).
[$] The GhostBSD in the machine
GhostBSD is a desktop-oriented operating system based on FreeBSD and the MATE Desktop Environment. The goal of the project is to lower the barrier to entry of using FreeBSD on a desktop or laptop system, and it largely succeeds at this. While it has a few rough edges that make it hard to recommend for the average desktop user, it is a fine choice for users who want a desktop with FreeBSD underpinnings such as the Z File System (ZFS), and the Ports (source) and Packages (binary) software collections.