Dev · Top stories
COSMIC desktop introduces Frosted Glass effect for Linux users
System76 launched the Frosted Glass feature for COSMIC, enhancing the UI with a blurred transparency effect. This new aesthetic aims to compete with popular MacOS features and improve the visual appeal of Linux desktops.
YouTube Guitar Tab Parser CLI Converts Video to PDF
A new CLI tool converts YouTube guitar lesson videos into PDFs of guitar tabs. It employs Claude vision to identify and extract tab regions, making it user-friendly and requiring no prior configuration.
Linux 0.11 Rewritten in Rust Boots in QEMU With Userland
A modern Rust version of the Linux 0.11 kernel has been created and successfully boots in QEMU with a Unix-style userland. This project retains the original's functionality while adopting idiomatic Rust principles, making it significant for Rust enthusiasts and those interested in OS development.
Sigwire Launches Signal Monitoring TUI for Linux Processes
Sigwire is a new terminal user interface (TUI) that allows users to monitor real-time signals sent between processes on Linux. It utilizes the kernel's signal tracepoints to display which process sent a signal, its target, and relevant signal details, facilitating easier debugging and process management.
Neural Network Implemented in SQL Showcases Innovative Use Case
A neural network model has been implemented using SQL, demonstrating the capability of SQL for machine learning tasks. This approach highlights potential new avenues for integrating data processing and machine learning solutions within database environments.
PlanWright Launches Control Plane for AI Coding Agents
PlanWright introduces a control plane that enhances the efficiency of AI coding agents by streamlining planning and acceptance processes. By converting informal inputs into structured objectives and triaging decisions for human review, the platform aims to improve coding velocity and reduce bottlenecks in workflow management.
OpenClawMachines Launches Open-Source AI Sandbox for Enterprises
OpenClawMachines introduces an open-source platform for running isolated OpenClaw agents on private infrastructure. It enhances operational security by using Firecracker microVMs for each agent, providing hardware isolation and edge authentication.
MSI Afterburner to Add Heatmap Feature in Upcoming Update for GPU Overclocking
MSI Afterburner is set to introduce a heatmap feature in the upcoming version 4.6.7 beta4, designed to enhance GPU overclocking precision. This feature visualizes the most-used voltage/frequency points, allowing users to better understand and adjust their GPU's boosting behavior based on real workload data.
Microsoft Copilot adds PC Insights for analyzing Windows settings
Microsoft's Copilot introduces a new feature called PC Insights, allowing users to ask questions about their Windows settings and receive analyzed responses. This feature aims to simplify the process of troubleshooting and finding specific information within Windows without manual searching.
Open-source k8s-aibom automates AI Bill of Materials on GKE
The open-source tool k8s-aibom has been released to automate the generation of Machine Learning Bills of Materials (ML-BOMs) on Google Kubernetes Engine (GKE). This tool enhances visibility into AI workloads without requiring significant developer modifications, enabling smoother transitions of AI projects from pilot to production.
IETF Proposes IPv4 Service over IPv6-Only Networks Without ARP
The IETF has introduced a proposal to eliminate the dependency on IPv4 subnets and ARP for IPv6-only networks, allowing IPv4 to run as a service over IPv6 infrastructure. This shift could simplify network operations and reduce the operational burdens associated with maintaining dual-stack networks.
Google AI Mode on Android adds chat history search feature
Google AI Mode now allows users to search their chat history directly within the Android app. This update enhances user experience by making it easier to revisit previous conversations, which was previously available only on the web.
Clawk Provides Disposable Linux VMs for Coding Agents
Clawk allows users to run coding agents inside disposable Linux VMs, ensuring they operate in a secure environment separate from the user's machine. This method avoids the risks of exposing personal files and credentials, while enabling agents to execute code freely. The tool is currently in pre-release with potential for rapid changes as user feedback is incorporated.
DOM-docx Converts HTML to Editable Word Documents Using Node.js
DOM-docx is a library that converts semantic HTML to native, editable Word documents (OOXML) without requiring screenshots or layout hacks. This tool enables developers to easily create Word files from HTML fragments, streamlining document generation processes.
Zig's Andrew Kelley Critiques Anthropic's Language Transition from Zig to Rust
Zig creator Andrew Kelley responded critically to Anthropic's decision to migrate Bun from Zig to Rust. This shift, accompanied by a lack of transparency in the process, raises concerns about how such changes impact the software engineering landscape, particularly in light of Anthropic's significant funding and narratives surrounding the future of coding.
Optimizing Code Performance Through Instruction-Level Parallelism
A recent code optimization for a domain-specific compressor demonstrated significant performance gains by leveraging instruction-level parallelism in modern processors. By optimizing the way loops and dependencies are structured, the algorithm achieved four times faster execution without altering its fundamental logic.
Crates.io Adds Code Viewer and Decouples Accounts from GitHub
Crates.io has introduced a new Code tab for browsing published crate versions and is untangling account identities from GitHub. This update simplifies dependency audits and paves the way for broader login options, improving overall usability.
JAX introduces hijax for custom types and operations
JAX has introduced hijax, a framework to define new types that bundle arrays with greater control over their representation and operations. This allows users to model aggregate data as distinct types with specified operations, enhancing how data is handled in JAX workflows.
Shirei: A Cross-Platform GUI Framework for Go Developers
Shirei is introduced as a cross-platform GUI framework for Go, enabling native UI development without HTML or JavaScript. It significantly simplifies the creation of GUI applications across MacOS, Windows, and Linux with a single code base, supporting features like immediate mode API and international text.
Croc: New CLI Tool for Secure File Transfer Across Computers
Croc is a command-line interface tool enabling secure file and folder transfers between any two computers. It offers features like end-to-end encryption, cross-platform compatibility, and the ability to resume interrupted transfers, making it a notable option for users needing secure file sharing without server configurations.
New AutoResearch Project Explores AI in File Compression Optimization
A new project applying AI to file compression optimization aims to improve compression efficiency. By setting quantifiable success measures and constraints, the experiment seeks to enhance AI capabilities in real-world tasks.
Kurvengefahr: New Browser CAD/CAM Tool for Pen Plotters Launched
A new web-based CAD/CAM tool called Kurvengefahr has been developed for pen plotters, allowing users to import and create artwork, prepare for plotting, and integrate with hardware. The tool supports AxiDraw and GRBL plotters and includes features like a Logo interpreter and handwriting synthesis.
Sega Dreamcast input driver updates added to Linux 7.2-rc3 kernel
Updates for Sega Dreamcast drivers have been merged into the Linux 7.2-rc3 kernel, improving stability for mouse, keyboard, and joystick inputs. This maintains support for the Dreamcast, even as older architectures like the i486 lose kernel backing.
New Book on Odin Programming Language Released
"Understanding the Odin Programming Language" is a new book that teaches both basic and advanced concepts of the Odin programming language. Version 1.10 has also been released, featuring updates to the Fixed Capacity Dynamic Array and instructional content.
Old Java applets ported to JavaScript using AI assistance
Terry Tao successfully migrated old Java applets to modern JavaScript with AI help, revitalizing educational tools. This transition demonstrates the potential of AI in simplifying software updates and enhancing usability within educational contexts.
Ghostel.el: A New Emacs Terminal Emulator with libghostty Integration
Ghostel.el is introduced as an Emacs terminal emulator utilizing libghostty-vt for terminal state and rendering. The emulator supports advanced features such as Kitty graphics protocols and modern hyperlink capabilities, setting it apart from existing options like libvterm.
Mindwalk tool visualizes coding-agent sessions on a 3D map
Mindwalk is a visualization tool that replays coding-agent sessions on a 3D map of a codebase. It allows developers to see where an agent searched, read, and edited, enhancing understanding of its task execution and engagement with the code.
Qwen 3.5-122B bugs fixed for better performance on Mac Studio
Three bugs were fixed in the Qwen 3.5-122B model running on Mac Studio, improving its performance for developers. This enhances local inference capabilities by addressing latency issues, making it more suitable for coding workflows.
New Erlang-style Scheme webserver promotes robust error handling and zero downtime
A new web server written in pure Scheme features a supervised worker pool that allows handlers to crash while the system recovers automatically. This design enables zero-downtime code updates and improved error reporting for clients, significantly enhancing fault tolerance.
Goeteia Compiles Scheme to WebAssembly for Browser-Based Development
Goeteia, a web programming tool, compiles Scheme code directly to WebAssembly in the browser, eliminating the need for server-side compilation. This enables fast, live recompilation of code with an efficient memory model, tailored for web development, impacting how developers can write and test Scheme applications online.
Sqlsure Launches to Ensure Accuracy of AI-Generated SQL Queries
Sqlsure is a new tool designed to perform deterministic semantic checks on AI-generated SQL queries, ensuring their correctness before execution. It verifies SQL accuracy in 0.1 ms, identifying potential errors that traditional methods fail to catch, thus enhancing the reliability of automated database interactions.
Ant: A New JavaScript Runtime and Ecosystem Launched
Ant, a new JavaScript runtime and ecosystem, has been launched featuring its own engine, package manager, and desktop application platform. It aims to provide a unified platform while maintaining compatibility with existing JavaScript tools.
Earth Game: Offline CLI Tool for Managing Life Goals Launched
Earth Game is a new offline command-line interface tool that helps users manage life goals through quests. It operates without third-party dependencies and maintains privacy by not using external requests.
Reame: New LLM Inference Server Optimized for Budget CPU Hardware
Reame is a new inference server built on llama.cpp that optimizes for low-cost CPU hardware, claiming improved efficiency for repetitive AI workloads. It features a persistent cache and self-regulating decoding aimed at reducing costs while processing data privately.
Strict Tables in SQLite Enhance Data Type Enforcement
SQLite introduces strict tables, improving data type enforcement by preventing mismatches, such as inserting text into integer columns. This feature is significant for developers seeking to reduce data entry errors and ensure data integrity in their databases.
New Postgres Connection Pooler PgDog Introduced with Session-Level SQL Support
A new Postgres connection pooler named PgDog has been introduced, addressing limitations of existing solutions such as PgBouncer by enabling session-level SQL commands without losing connection state, thus minimizing code changes. This development is significant for Postgres users facing challenges with adapting applications to current poolers. Concurrently, techniques to enhance PgBouncer's throughput, such as deploying multiple processes with so_reuseport, are being discussed, revealing strategies for optimizing existing tools.
New platform offers courses to build systems like Redis and Git from scratch
A new learning platform allows users to build and ship systems from scratch, including Redis and Git. It features over 80 courses in nine programming languages, promoting a hands-on approach to learning software development.
Optimized Quicksort Implementation Reveals Compiler Behavior
An optimized Quicksort implementation demonstrates that modern compilers, particularly Clang, optimize loops effectively when using specific programming styles. This finding is important for developers to enhance performance through better coding practices.
Scarf transitions away from Haskell after seven years in production
Scarf has moved away from Haskell after seven years of reliance on the programming language due to challenges with compilation time and ecosystem friction. The rise of AI in code generation has shifted the economics of software development, prompting the change.
Red Hat introduces RHEL Forever for ongoing support under annual contracts
Red Hat has launched the RHEL Forever support plan, allowing customers to receive ongoing support for any specific version of Red Hat Enterprise Linux (RHEL) for as long as they pay for it. This offering enables enterprises to synchronize software lifecycles with their business needs, particularly in regulated industries.