Dev · Top stories
Interactive 3D Topological Surfaces Rendered in a Hand-Drawn Style
A new interactive rendering project visualizes topological surfaces in the style of G. K. Francis's "A Topological Picture Book." It uses GPU-accelerated techniques to create hand-hatched, stroke-based drawings with features like tapered ribbons, coherent hand wobble, and dynamic visibility.
C* Language Extends C with Integrated Verification Capabilities
Researchers introduced C*, a new language design that integrates formal verification capabilities directly into C programming. This development aims to reduce the disconnect between programming and verification practices, making it easier for developers to verify their own code.
New 'i-have-adhd' skill for coding assistants provides concise, action-oriented outputs
A new skill named 'i-have-adhd' has been released for coding assistants, designed to provide more direct and actionable responses. It aims to prevent AI from burying answers by leading with actions, numbering steps, and avoiding conversational filler.
Chainguard Reaches 1 Billion Container Build Manifests, Doubles Output in Six Months
Chainguard announced it has doubled its container build manifest output to over 1 billion in the last six months, now supporting more than 3,000 unique container images and 675,000 image versions. This milestone reflects the company's continuous rebuilding process for maintaining up-to-date and secure container images through its Chainguard OS and Factory infrastructure.
TALA Autolayout Algorithm for Diagramming is Now Open-Source Under MPL-2.0 License
Terrastruct's AutoLayout Algorithm (TALA), an orthogonal layout engine for software architecture diagrams, has been released as open-source under the MPL-2.0 license. This makes TALA available for broader use and integration, offering a new option for diagram generation that prioritizes aesthetic qualities like symmetry and flow over traditional DAG-based layouts.
Coop CLI Tool Creates Isolated VMs for AI Code Execution
Coop is a new Rust CLI tool that provides isolated virtual machine environments for running code generated by AI models like Claude Code and Codex. This tool allows developers to execute AI-generated code with full tool access (Docker, Git, compilers) without risking their host machine, offering a secure and reproducible environment for testing.
GET Together: A Social Network Using Only HTTP GET Requests for Posts
GET Together is a new social network where all user actions, including posting content, are performed using HTTP GET requests. This platform demonstrates an unconventional approach to web interaction by subverting standard HTTP method conventions.
Mador, an 80-line JavaScript library, enables reactive DOM updates without a framework
Mador is a new, small JavaScript library that provides reactive state management and DOM binding for existing HTML and JavaScript projects. It offers a lightweight alternative for adding reactivity without requiring a full framework, making it suitable for projects needing minimal reactive features.
Cloud in a Bottle Aims to Simplify Personal Self-Hosting with Containerized Apps
Cloud in a Bottle is an open-source project designed to make self-hosting accessible by providing a personal cloud platform. It uses containerized applications and unified authentication to simplify the deployment and management of web applications for individuals.
Blume, a Zero-Config Markdown-to-Docs Framework, Released as Open Source
Hayden Bleasel released Blume, an open-source documentation framework that converts Markdown folders into complete documentation websites with zero configuration. This framework simplifies the creation of documentation sites, offering features like automatic SEO and AI-ready output, which could benefit developers and projects needing efficient documentation solutions.
Val Town implements Dynamic Client Registration (DCR) for OAuth connections
Val Town, a coding platform, has implemented Dynamic Client Registration (DCR) to simplify OAuth client registration. This allows applications to dynamically provision OAuth clients, addressing the N-squared problem of connecting every app to every other app.
Moadim.io Releases Open-Source Agent Scheduler for Local Execution
Moadim.io has released an open-source scheduler designed to run AI agents locally on macOS and Linux systems. This tool allows users to schedule tasks for agents like Claude, Codex, and Hermes without needing a cloud service or external cron daemon.
Newton's Orchard: A New Browser-Based Gravity Simulation Playground Released
A new browser-based space and gravity simulation, Newton's Orchard, has been released, offering features like deterministic time scrubbing, editable celestial bodies, preset systems, and missions. The project aims to provide an engaging platform for students and others to understand gravitational mechanics, building on existing educational simulations.
Vermell: A New Minimal, Dependency-Free C++ Web Framework Using epoll
Vermell is a new web framework for modern C++ environments, designed to be minimal and dependency-free, utilizing epoll for event-driven processing. This framework offers a fast, structural, and strictly typed approach to web development in C++, appealing to developers who prioritize performance and control over runtime environments.
Darling Project Enables Running macOS Software on Linux Through Translation Layer
The Darling project provides a translation layer allowing macOS software to run directly on Linux without hardware emulation. It implements a complete Darwin environment and offers experimental support for graphical applications, similar to how Wine functions for Windows applications on Linux.
DoorDash's Flux Platform Automates 130,000 Engineering Tasks Monthly in the Cloud
DoorDash has migrated its engineering agent workloads from developers' laptops to its cloud-based Flux platform, which processed 130,000 engineering tasks in a single month in 2026. This shift addresses limitations of local execution, such as CPU/memory constraints and security concerns, by providing isolated, monitored environments for automated workflows.
uv Improves Wheel Cache Performance by Reusing Buffer for Content Hashing
uv implemented a change to reuse a single 64 KiB buffer for content hashing across an entire wheel during streaming extraction, rather than allocating a new buffer for each file. This optimization reduces buffer allocations for hashing from over 11,000 to one for large wheels like PyTorch, resulting in cold install time reductions of 2.6% to 9.5% for various packages.
FlexGanttFX Resource-Scheduling Framework Open Sourced Under AGPL License
Dirk Lemmerman has open-sourced FlexGanttFX, a JavaFX-based resource-scheduling framework for generating Gantt charts, after 15 years of development. The AGPL license was chosen to increase code availability while addressing project maintenance, impacting developers who use Gantt charts in project planning and resource management.
New Open-Source HDMI Driver Released for Specific Silicon Motion SM750 GPU Card
A new open-source Linux display driver has been released for the SE-DP750A-HDMI PCIe card, which features a Silicon Motion SM750 GPU. This driver enables higher resolutions and improved performance for this specific hardware, addressing a niche need for users of this particular graphics card.
OpenRun Integrates Litestream for SQLite Replication in Docker and Kubernetes
OpenRun, an open-source GitOps platform, now includes built-in Litestream support for SQLite applications, enabling continuous replication to S3-compatible object storage. This integration simplifies the use of SQLite in production environments by automating replication and restoration processes for developers.
Zig's std.ArrayList Gains Pointer Stability Locks for Memory Safety
Zig's standard library `ArrayList` now includes pointer stability locks, a feature previously added to `HashMap` containers. This update helps prevent memory safety issues that arise when `ArrayList` elements are reallocated, invalidating existing pointers.
Claude Code automatically appends session URLs to commit messages and PR descriptions
Claude Code automatically includes a session URL in commit messages and pull request descriptions without user consent or notification. This practice clutters git history and is perceived as unprofessional by developers, who are requesting an opt-in mechanism for this feature.
monty-go: Pure-Go Wrapper for Pydantic's Monty Python Interpreter
Fugue Labs released monty-go, a pure-Go wrapper for Pydantic's Monty Python interpreter, which allows Go applications to execute LLM-generated Python code safely within a sandboxed WebAssembly instance. This tool enables Go agents to run Python code without containers, CGO, or subprocesses, facilitating more efficient LLM-driven programmatic tool calls.
Omniflake project consolidates thousands of Nix flakes into a single input
A new project called Omniflake allows users to access nearly twelve thousand Nix flakes through a single flake input, addressing the common issue of managing multiple flake dependencies. This consolidation simplifies the process of integrating various Nix components by centralizing access to them.
Open OSCAR Server offers open-source compatibility for classic AIM and ICQ clients
Open OSCAR Server, an open-source instant messaging server written in Go, provides compatibility with classic AIM and ICQ clients. This allows users to run their own private servers for these legacy messaging platforms, enabling continued use of older client software.
e: A Customizable Emacs-like Text Editor Written in Chez Scheme
A new console text editor named 'e' has been released, built with Chez Scheme, offering Emacs-like features such as buffers, windows, and a Scheme top-level. This editor is designed for customization and self-contained operation, appealing to developers who prefer Scheme-based tools and a minimal footprint.
Django Developers Survey 2026 Results Released by Django Software Foundation
The Django Software Foundation and JetBrains PyCharm have released the results of the fifth annual Django Developers Survey for 2026. The report provides insights into current Django trends and development practices, offering data for developers and the community.
FF-16-TUI Tool Discovers Frequent 16-bit Patterns in Binaries
FF-16-TUI is a new interactive static analysis tool designed to identify frequently occurring local 16-bit patterns within binary files. This tool helps in understanding file layouts and locating structures by highlighting these recurring patterns.
OpenAI Python SDK Migrates to HTTPX2 for HTTP Clients
The OpenAI Python SDK now uses HTTPX2 for its synchronous and asynchronous HTTP clients, automatically installing it with the SDK. This change affects applications that interact with the SDK's HTTP layer, particularly regarding TLS trust store behavior and direct `httpx` dependencies.
IndexFlow Releases Open-Source Rust Libraries for SEO and Search Indexing Infrastructure
IndexFlow launched open-source Rust libraries for SEO and search indexing, providing tools for sitemap parsing and technical SEO analysis. This release offers developers memory-safe, high-performance components to improve website visibility in traditional and AI-driven search environments.
Preliminary SIMH Simulator for French CII Mitra-15 Minicomputer Under Development
A developer is creating a preliminary simulator for the French CII Mitra-15 minicomputer within the SIMH environment. This project aims to preserve the history of the Mitra-15, a 1970s 16-bit minicomputer widely used in various French applications, by emulating its unique architecture and peripherals.
restoredrill v0.1.0 released to automate PostgreSQL backup restoration testing
restoredrill, a new tool at version 0.1.0, automates the process of testing PostgreSQL backups by restoring them into a temporary container and running user-defined checks. This tool generates a JSON report with restore times, providing auditable proof that backups are functional, which is particularly relevant for compliance requirements like SOC 2 or ISO 27001.
RealDiff Tool Identifies Runtime Behavior Changes in Pull Requests Across Six Languages
RealDiff is a new tool that identifies runtime behavior changes in code, even in files not directly modified by a pull request, by comparing test execution between two Git revisions. This helps developers catch subtle behavioral shifts that traditional source code reviews might miss, such as changes in sorting stability affecting pricing logic.
Confdiff provides semantic diffing for config files with secret redaction
Confdiff is a new tool that offers semantic, format-aware diffing for various configuration and structured data files, focusing on actual data changes rather than cosmetic differences. It includes a unique feature to redact secrets, showing only a stable fingerprint instead of the actual value, which prevents sensitive information from appearing in diffs or logs.
Tailscale Releases Tailcat for Secure Tunnels Without Control Plane
Tailscale has released Tailcat, an open-source tool that provides WireGuard-encrypted tunnels using Tailscale's data plane but without its control plane. This allows for secure, point-to-point connections between machines using a simple CLI or library, bypassing the need for a Tailscale account or administrative access.
SSH Fighter: An arcade fighting game playable directly over SSH with bot API
SSH Fighter is an arcade fighting game that runs entirely over SSH, featuring hand-drawn pixel sprites, ranked matches, replays, and a bot API. Players can connect via SSH to play without installation or download, and can also register bots to compete in an Open League.
Maiao Fork Provides Gerrit-Style Stacked Pull Requests for GitHub, GitLab, and Others
A community fork of Maiao, now maintained under runetes/maiao, offers Gerrit-style stacked pull request workflows for various Git hosting providers. This tool allows developers to create multiple dependent pull requests from individual commits, facilitating more granular code reviews and maintaining a clean Git history.
TeXbrain: A new open-source LaTeX editor compiles documents in-browser via WASM
TeXbrain is a new open-source LaTeX editor that compiles .tex files to PDF directly in the browser using a WebAssembly port of pdfTeX. This tool aims to provide a free, serverless LaTeX editing experience with features like Git integration and local file system access, addressing common pain points with existing LaTeX solutions.
New Go-based system monitor for Linux VPS offers low resource usage and web UI
A new system monitoring tool for Linux VPS, written in Go, has been released. It provides monitoring for CPU, memory, disk, network, and uptime through a web interface, consuming approximately 5MB of RAM.
LatticeDB: An Embedded Graph Database with Native Vector and Full-Text Indexing
LatticeDB is a new embedded, single-file graph database that integrates graph traversal, vector similarity search, and BM25 full-text search within a single query layer. This tool is designed for local applications requiring relationship-heavy workloads and combined semantic and textual data queries, offering zero-configuration operation.