Ironclad 0.6 released
It’s been a while, but there’s a new release of Ironclad, the formally verified, hard real-time capable kernel written in SPARK and Ada. Aside from the usual bugfixes, this release moves Ironclad from multiboot to Limine, adds x86_64 ACPI support f...
A look at Firefox forks
Mozilla’s actions have been rubbing many Firefox fans the wrong way as of late, and inspiring them to look for alternatives. There are many choices for users who are looking for a browser that isn’t part of the Chrome monoculture but is full-featur...
Google makes Vulkan the official graphics API for Android
Google’s biggest announcement today, at least as it pertains to Android, is that the Vulkan graphics API is now the official graphics API for Android. Vulkan is a modern, low-overhead, cross-platform 3D graphics and compute API that provides develope...
JDK 25: The new features in Java 25
Java Development Kit (JDK) 25, a planned long-term support release of standard Java due in September, now has two features officially proposed for it. The first is a preview of an API for stable values, a feature that promises to speed up the startup ...
A more robust raw OpenBSD syscall demo
Ted Unangst published dude, where are your syscalls? on flak yesterday, with a neat demonstration of OpenBSD’s pinsyscall security feature, whereby only pre-registered addresses are allowed to make system calls. Whether it strengthens or weakens secu...
Ubuntu 25.04 Yaru Theme Update Brings New Icons
With Ubuntu 25.04 feature freeze now in effect the final licks of polish and paint have begun landing — including an update to Ubuntu’s Yaru theme. The Yaru theme is composed of a modified GTK4/libadwaita stylesheet, GNOME Shell theme, icon pack, a...
Stupendous Python stunts without a net
In this week’s Python Report: Sly tricks for setting up Python on a machine with no network, snappier Python code with asyncand await, swifter Python programs with Zig, and slicker web apps with HTMX and Django. Top picks for Python readers on InfoW...
GCC 15 Deprecates Support For The ESA/390 Architecture
In addition to the COBOL language front-end being merged this week for the upcoming GCC 15 compiler release, another notable change also landed this week... Deprecating ESA/390 architecture support in preparation for its eventual removal...
