Dev · Top stories
Halo: Open-source Tamper-evident Runtime Evidence for AI Agents
Halo introduces a framework for generating tamper-evident runtime logs of AI agent activities. This enables organizations to provide verified, unaltered records of agent actions without relying on vendor trust, addressing increasing scrutiny in AI system audits.
Pixel Recorder faces bug, leading to missing audio files for some users
A bug in the Pixel Recorder app is preventing some users from saving audio files, with multiple reports confirming the issue. Affected users state that recordings do not appear in the app or Files app, potentially impacting important recordings.
Community Engineering and AI Tools Transform Development Practices
Recent developments in community engineering, agentic coding, and browser testing enhance Angular development practices. These resources aim to build a community-first approach and improve user experience through advanced testing and AI integration.
Linux GUI Apps Can Be Launched on Android 17, but With Limitations
Android 17 now supports Linux GUI applications via the Weston compositor, allowing users to run Linux apps on Android devices. However, practical limitations, including RAM allocation and complexity in setup, may hinder user experience.
Microsoft to enable Windows settings backup by default for enterprise systems
Microsoft will enable the Windows settings backup tool by default for enterprise systems using Windows 11 version 26H2. This change aims to streamline the backup process for IT administrators managing device resets or upgrades.
New Mac File Manager Features Fuzzy Search and Dual-Pane Browsing
A new native Mac file manager offers real-time filtering, fuzzy search, and dual-pane browsing. Additionally, it supports batch renaming and direct image conversion. This application, designed for macOS 12 and later, aims to streamline file management for users without relying on Electron.
reMarkable Paper Pro supports Tom Riddle's diary simulation
The reMarkable Paper Pro can now simulate Tom Riddle's diary from Harry Potter. By enabling developer mode and utilizing specific software, users can write on the device and receive generated responses back in real-time.
Apple updates RAW photo processing with iOS 27's RAW 9 engine
Apple has launched a new RAW image processing engine, RAW 9, with iOS 27 that enhances detail and reduces noise in photos. This update leverages machine learning and the Apple Neural Engine to improve image quality and is significant for photographers utilizing various camera models.
Poly/ML Offers Standard ML Implementation with Enhanced Features
Poly/ML, a Standard ML implementation, provides unique features like a foreign function interface and a thread library. This makes it suitable for large projects and enhances its performance across various architectures.
Release of M/PC, a Concatenative OS for Varvara
M/PC, a concatenative operating system inspired by Openfirmware, has been introduced for Varvara. It manages files without a conventional file browser and utilizes postfix notation for command operations, impacting how users interact with the OS.
Pon: A Native Compiler for Python 3.14 with No Interpreter
Pon is a JIT and AOT compiler for Python 3.14, eliminating the interpreter layer. This allows for faster execution by compiling Python code directly to machine code, significantly improving performance and efficiency for Python applications.
Apple introduces permission prompt for AI features using Google Cloud
Apple has added a permission prompt in iOS 26 and 27 that notifies users about data sent to Google Cloud for new AI features. This marks a shift from Apple's previous model, leveraging Google Cloud while maintaining security protocols similar to its Private Cloud Compute.
Cedar enables least-privilege authorization for multi-agent AI systems
Cedar introduces a three-layer authorization model for multi-agent AI systems to prevent privilege abuse. This model addresses risks by enforcing least-privilege authorization as tasks are delegated through AI agents, crucial for maintaining security in complex systems.
OfficeCLI Enables AI Agents to Manage Microsoft Office Files
OfficeCLI allows AI agents to read and edit Microsoft Office files with a single line of code. This open-source tool provides an easy installation process and high-fidelity document rendering, streamlining AI-driven Office document creation and editing.
Claude Desktop App for Linux Launched, Faces Installation Challenges
The Claude Desktop app is now available for Linux, specifically for Debian and Ubuntu distributions. Installation requires adding a repository, which complicates setup compared to competitors like Alpaca and Moose. Users seeking a mainstream AI option may find installation issues detract from overall functionality.
Kani is an open-source model checker for Rust
Kani, an open-source model checker for Rust, enhances the verification process for Rust's unsafe operations and functional correctness. It compiles Rust's Mid-level Intermediate Representation into a verification engine, ensuring safety properties without user annotations, and has been successfully applied to real-world projects, uncovering previously unknown bugs.
LangGraph for Swift Released with New Agent Framework and Features
LangGraph, an agent framework for Swift, has been released, providing developers with tools for building type-safe AI agents. It incorporates Swift concurrency features and supports various integrations while ensuring workflow resilience and crash recovery.
MakerChecker Scans AI Agents for Dangerous Capabilities
MakerChecker introduces a tool that scans AI agents for risky actions and enforces strict role-based security controls. The solution helps organizations ensure their AI systems operate within defined limits and maintain an audit trail for governance.
LeRobot v0.6.0 Launches with New World Models and Reward APIs
LeRobot v0.6.0 introduces world model policies and new reward models APIs, alongside updates to datasets and benchmarks. These enhancements aim to improve robotic training and evaluation, enabling more efficient simulations and real-world applications.
Hugging Face Introduces New Kernel Repository with Enhanced Security Features
Hugging Face has launched a new repository type called 'kernel' to improve discoverability and security for compute-oriented users. The platform now includes layers of protection against malicious code and features such as trusted publishers and code signing.
Launch of Sneakerweb Enables Permissionless Web Publishing via Physical Media
The sneakerweb is a peer-to-peer web publishing protocol that operates without DNS or traditional web hosts. It allows users to create, store, and share websites using physical storage media, making website access possible offline and through .snk files.
Study Examines Impact of Code Cleanliness on Coding Agents
A recent study tested how code cleanliness affects autonomous coding agents' performance. Results indicate that while the agents' task completion rates remain unchanged, cleaner code significantly reduces operational complexity, leading to better efficiency in code navigation.
DNSGlobe: Rust TUI for Monitoring Global DNS Propagation
DNSGlobe is a Rust terminal user interface that checks DNS record propagation by querying 34 public resolvers globally. It allows users to visualize the propagation status in real-time and includes a world map for easy interpretation of results.
Understanding Zero-Copy Techniques and Their Costs in Go
A recent performance issue showed how middleware changes in Go can negate zero-copy optimizations, notably when using io.Copy with os.File. The article details how Go implements zero-copy with methods like sendfile, and the consequences of adding wrappers that disrupt this functionality.
Flipper Zero Development Plans Revised to Incorporate Community Input
The Flipper Zero team announced updated plans for firmware development, emphasizing community feedback. A new approach to feature requests and contributions will involve voting and clearer guidelines.
Hannah Montana Linux v26 released, modern remaster of nostalgic OS
Hannah Montana Linux has relaunched with version 26.0, built on Debian and featuring updated KDE Plasma. This modern remaster allows for secure browsing and easy software installation, updating a distro last seen in 2009.
Flipper Zero firmware to rely on community contributions amid team changes
Flipper Devices has announced a shift in firmware development for the Flipper Zero, now depending more on community input and less on its internal team. This change follows the completion of Flipper Zero Firmware 1.0 and the company’s focus on new products, triggering community backlash that the company aims to address through a new collaborative development model.
KiCad PCB EDA Suite Successfully Runs in Browsers
Emergence Engineering has developed a browser-based version of KiCad, a PCB EDA suite. This project enhances accessibility for users without requiring local installation, facilitating easier experimentation and onboarding in PCB design.
Predio launches JSON wrapper for Spain's outdated cadastre SOAP API
Predio has developed a JSON wrapper for the Spanish cadastre API, which traditionally uses a legacy SOAP format. This new REST interface enables easier access to property data, allowing proptech companies and agents to avoid issues associated with the older system.
Claude Design System Prompt Open-Sourced for AI Design Collaboration
Anthropic has released an open-source Claude Design System Prompt that provides a structured framework for AI-driven design collaboration. This system aims to improve AI-generated designs by instilling a set of design principles that prioritize quality, accessibility, and effective content placement.
New language model DIMBA II claims efficient context handling and unique architecture
DIMBA II, a newly trained language model, combines Mamba-2 context efficiency with diffusion generation techniques. This model addresses limitations found in earlier architectures, particularly with text generation quality and processing efficiency.
sqlite-utils 4.0rc2 Release Marks Significant Fixes and Improvements
The release of sqlite-utils 4.0rc2 addresses critical issues, including a major bug in the delete_where() function. This update is crucial for ensuring stable transactions and preventing data loss, which matters for developers relying on sqlite-utils for database management.
Rust port of libbf released as Beeg Float library
A Rust port of Fabrice Bellard's arbitrary-precision floating-point library, named Beeg Float, has been released. It offers full IEEE 754 compliance, various transcendental functions, and is fully compatible with no_std in Rust, providing a pure Rust implementation with no dependencies.
HIC Mouse Introduces Advanced Editing Tools for AI Coding Agents
HIC Mouse has launched a new editing tool aimed at improving AI coding agents' file editing capabilities. This tool offers features like coordinate-based editing, staged changes, and contextual guidance, addressing limitations in current AI file editing approaches.
Shadcn/UI defaults to Base UI, retains support for Radix
Shadcn/UI has officially made Base UI the default component library, replacing Radix for new projects as of July 2026. Although Radix remains supported and in use, the change reflects community preferences, with Base UI being chosen twice as often for new projects.
Backon Launches as Zero-Dependency Python Library for Retry Logic
Backon is introduced as a zero-dependency Python library for retrying operations with exponential backoff. It supports both synchronous and asynchronous functions with a variety of advanced features, including decorators, context managers, and a circuit breaker mechanism.
RidgeText Introduces In-Memory Layering for Efficient Map Generation
RidgeText now allows users to generate layered fire perimeter maps via SMS, streamlining data processing. This innovation reduces LLM load by queuing data-fetching tasks independently, enhancing map rendering efficiency.
AI-Written Rust Engine Phargo Passes 17% of PHP Tests and Supports WordPress
An AI-generated PHP interpreter named Phargo, written in Rust, successfully renders a WordPress front page and passes 17.4% of PHP's test suite. This marks a significant milestone for AI in creating functional programming tools, showcasing its potential in language interpretation.
EndBASIC 0.14 introduces multimedia features and graphics enhancements
EndBASIC 0.14 has been released, adding sound support and new graphics primitives, including triangle and polygon drawing. These features build towards a potential 1.0 release, enhancing the language's multimedia capabilities and visual appeal.
Zig Moves Package Management from Compiler to Build System
Zig has relocated its package management functionalities from the compiler to the build system, allowing users to manage packages without needing to rebuild the compiler. This change enhances flexibility and enables safety checks during networking operations, leveraging specialized CPU instructions for cryptographic functions.