Dev · Top stories
Draco: A Rust-based, self-hostable web scraper alternative to Firecrawl
Draco is a new web scraping tool written in Rust that offers a self-hostable alternative to services like Firecrawl and Browserbase. It extracts clean Markdown and metadata from URLs, including client-rendered SPAs, without requiring a headless browser fleet for every request.
Tool makes Framework 12 laptop hinges sound like a creaky door
A new tool allows Framework 12 laptop users to make their device's hinge emit creaking door sounds, with pitch and volume varying based on hinge position and adjustment speed. This novelty application provides a customizable audio effect for the laptop's physical interaction.
Kakehashi Enables Running macOS ARM64 Binaries on Linux ARM64
Kakehashi is an experimental userspace translation layer that allows macOS ARM64 binaries to run on Linux aarch64 systems without JIT compilation. This tool provides a way to execute Darwin Mach-O executables, including command-line utilities like 7-Zip and curl, on Linux ARM environments.
F*: A general-purpose proof-oriented programming language for verified software
F* is an open-source, proof-oriented programming language developed by Microsoft Research and Inria, supporting both functional and effectful programming with dependent types and SMT-based proof automation. It is used in projects like Project Everest for high-assurance secure communication software, demonstrating its application in verified cryptographic primitives.
Fuse: A new statically typed, purely functional programming language with higher-kinded types
Fuse is a new statically typed, purely functional programming language that includes higher-kinded types and ad-hoc polymorphism. It compiles to native code via the GRIN whole-program optimizer and LLVM, offering features like algebraic data types, generics, and type inference. This provides developers with another option for functional programming that emphasizes type safety and code expressiveness.
New TypeScript library '@alsoftworks/temporize' offers Promise-aware debounce and throttle utilities
A new TypeScript library, '@alsoftworks/temporize', has been released, providing strongly typed utilities for debouncing, throttling, and other timing controls. This library is designed to manage when and how often functions execute, returning Promises for the wrapped function's results.
Katharos Library Introduces Functional Programming and CSP-style Concurrency to Python
Katharos is a new Python library that integrates functional programming concepts like Monads and algebraic abstractions with CSP-style message-passing concurrency. It aims to provide a structured way to handle errors, effects, and concurrent communication as composable, type-safe values, offering an alternative to traditional exception handling and `None` checks.
Rust All Hands 2026 Retrospective Details Project Discussions and Collaborations
The Rust Project held its All Hands event in May 2026 in Utrecht, gathering 166 Rustaceans for in-person discussions on the language's future and governance. This event facilitates collaboration among project members and invited ecosystem maintainers, addressing key topics from project goals to RFC process improvements.
Syncular Introduces Offline-First SQL Sync with TypeScript and Rust Cores
Syncular has launched an offline-first SQL synchronization solution that uses local SQLite databases on clients and a server-authoritative commit log. This tool provides developers with a method for managing data consistency across disconnected environments, which is relevant for applications requiring robust offline capabilities.
Kaisel Router for Flutter Offers Sealed Routes and List-Based Navigation
Kaisel, a new native router for Flutter, introduces sealed routes and a list-based navigation stack. This approach aims to provide compile-time route checking and simplified state management for Flutter applications.
Cursor Removes Dollar Cost Display from Individual Plan Usage Pages
Cursor has removed the dollar amount display from the usage page and CSV export for individual plans, now showing token amounts instead. This change makes it difficult for individual users to track their spending, especially for those on teams with shared usage caps.
Toast Terminal IDE Adds Markdown Spell Checking and Other Features
Toast, a terminal-based integrated development environment, now includes spell checking for Markdown and plain-text files, along with other enhancements like multi-tab editing and improved navigation. These updates aim to provide a more complete development experience within the terminal for users who prefer not to configure editors from scratch.
Ripgrep musl binaries segfault during large, concurrent searches
Ripgrep's x86_64-unknown-linux-musl binaries occasionally crash with a segmentation fault when performing very large searches with high concurrency. The issue occurs within musl's mallocng during a calloc operation made from opendir, indicating a memory integrity problem.
cwbrowser, a new browser with a custom Zig rendering engine, passes Acid3 test
A new web browser named cwbrowser, developed over two years, has passed the Acid3 web standards compliance test with a perfect score. This browser features a rendering engine written entirely in Zig, distinguishing it from browsers based on Chromium, WebKit, or Gecko, and uses Google's V8 for JavaScript execution.
New SSH-askpass tool developed in Zig and GTK4 without X11 dependency
A developer created a new `ssh-askpass` utility using Zig 0.16 and GTK4, specifically designed to avoid X11 dependencies common in existing Gentoo packages. This tool addresses the need for a graphical passphrase prompt when OpenSSH requires an ED25519 key passphrase in environments without a terminal, such as during `go get` operations.
BitBang CLI enables browser-based remote access to machines behind NAT without accounts
BitBang CLI is a new tool that provides remote access to machines behind Network Address Translation (NAT) from a web browser, offering an interactive shell, file transfer, and network proxy capabilities. This tool simplifies remote access by eliminating the need for port forwarding, configuration, or user accounts, addressing common challenges with traditional remote access methods like SSH in restricted network environments.
Developer achieves 190 KB/s data transfer using streaming QR codes in browser
A developer created a proof-of-concept system, Decimen Optical Transfer, that streams data between devices using rapidly updating QR codes at up to 60 FPS, achieving nearly 190 KB/s. This method operates within a browser, requiring only camera access and no networking, pairing, or dedicated apps, offering a new approach to device-to-device data transfer.
Claude-account enables switching Claude Code profiles without re-authentication on Linux
A new independent tool called claude-account allows Linux users to manage multiple Claude Code profiles, enabling switching between accounts without repeatedly logging in. This utility creates isolated configuration directories for each account and forwards commands to the official Claude executable, addressing a common user inconvenience.
SDL_GPU Library Released for High-Performance 2D Graphics Painting in SDL3
SDL_GPU, a minimal, single-header library for high-performance 2D graphics painting, has been released for SDL3. This library provides a low-level resource management system for drawing primitives, sprites, and handling blendmodes, offering a direct port of sokol_gp to the SDL3 framework.
Original Windows Task Manager Developer Creates Mac Version, Citing Activity Monitor's Limitations
Dave W. Plummer, the original developer of Windows Task Manager, is creating a version of the utility for macOS, stating that Apple's Activity Monitor lacks features. Microsoft granted Plummer permission to reference Windows XP Task Manager source code for this project.
Local Merge Queue Released for Parallel Claude Code Agents
A local, zero-cost merge queue has been released for parallel Claude Code agents, serializing code landings to prevent push races, redundant builds, and shared-resource test flakiness. This tool allows multiple agents to land, build, and test code concurrently while maintaining a clean history and ensuring tests pass before merging.
Cesium DevCon 2026 Session Recordings Now Available, Featuring SQLite Creator Keynote
Recordings from the Cesium Developer Conference 2026 are now available, including a keynote from the creator of SQLite. The conference focused on open 3D geospatial technologies and their applications across various industries.
Hwatu: A New Verification Browser for AI Agents Offers Fast, Headless Page Checks
Hwatu is a new verification browser designed for AI agents, offering fast, headless page checks with a single tool call. This tool aims to provide efficient and accurate visual verification for AI agents, reducing resource consumption and improving workflow for developers.
Developer ports The Legend of Zelda: Ocarina of Time to iOS natively using AI
Developer Chris Sotraidis created HarkinianPad, a native iOS and iPadOS port of The Legend of Zelda: Ocarina of Time, utilizing OpenAI's Codex and GPT-5.6 Sol to adapt existing decompiled C code. This allows the classic game to run with modern features like widescreen support and 60 FPS without emulation, requiring users to provide their own game ROM.
Updated Tailscale client for jailbroken Kindles adds SSH, proxy, and TUN modes
Open-source developers have released an updated Tailscale client for jailbroken Amazon Kindles, introducing features like Tailscale SSH by default, a proxy mode for applications, and a full TUN mode for device-level networking on some models. This update significantly enhances the functionality of Tailscale on these unofficial devices, allowing apps to connect to other Tailscale nodes directly.
ZIL: A Lean4 Datalog DSL for Relational Project Descriptions, Inspired by Google Zanzibar
ZIL is a new relational language implemented as a domain-specific language (DSL) within Lean 4, designed to describe relationships between project components like declarations, requirements, and tests. It uses a tuple-oriented model, influenced by Google's Zanzibar paper, to enable querying of project maps for various development and AI assistant tasks.
StatLite Offers Lightweight Spring Boot Monitoring Without Full Monitoring Stacks
StatLite is a new tool that provides a focused dashboard for monitoring Spring Boot applications by leveraging existing Spring Boot Actuator data. It offers an alternative to full monitoring platforms like Prometheus and Grafana for small deployments, addressing basic operational visibility needs for single or a few applications.
Manim, 3Blue1Brown's animation engine, now runs in browsers via WebGPU
Manim, the Python library for creating mathematical animations, has been re-implemented in Rust and compiled to WebAssembly, allowing it to run in web browsers using WebGPU. This enables real-time GPU-accelerated rendering of Manim animations directly within a browser environment.
HNewhere Userscript Displays Hacker News Discussions Alongside Articles
A new userscript named HNewhere allows users to view Hacker News discussions directly on any article page, eliminating the need to open a separate tab. It integrates comments into a sidebar, providing a more streamlined browsing experience for users interested in Hacker News commentary.
XY: A new GPU-accelerated Python plotting library for interactive web and notebook charts
XY is a new Python charting library that offers GPU-accelerated interactive plotting for web, notebooks, and static exports. It uses a Rust core to efficiently render large datasets by only computing visible data, which matters for developers working with extensive data visualization needs.
VMs fail to boot with Bridged Network Mode on Apple M5 Pro machines using UTM
Virtual machines running on Apple M5 Pro machines using UTM version 4.7.5 cannot boot when the network mode is set to 'Bridged'. This issue prevents users from utilizing a common network configuration for their VMs on the new hardware.
Ctrlb-decompose tool strips noise from logs for LLM processing
Ctrlb-decompose is a new tool that processes raw log lines into structural patterns, including statistics, anomalies, and correlations. This allows for a significant reduction in log data volume, making it more suitable for analysis by Large Language Models (LLMs) and other tools.
Usenet Archive Toolkit Processes Messages into Searchable Offline Archives
The Usenet Archive Toolkit (UAT) is a new project that provides tools to process Usenet messages into coherent, searchable, and offline archive files. This toolkit addresses the deterioration and inaccessibility of historical Usenet discussions on platforms like Google Groups and Archive.org by offering a self-hosted solution for preservation and retrieval.
Developer Runs Doom Using Regular Expressions, Achieving 180 Seconds Per Frame
Artem Lytkin successfully implemented Doom to run entirely within regular expressions, a text-matching utility. This achievement demonstrates the Turing completeness of regular expressions, albeit with extremely slow performance, rendering one frame every 180 seconds.
DConf 2026 Scheduled for September 2-4 in London
The D Programming Language Conference (DConf) 2026 will take place in London from September 2-4, organized by Symmetry Investments and the D Language Foundation. This annual event brings together D programming language enthusiasts and experts for in-person discussions and educational talks.
C/C++ Projects Packaged for Zig Build System to Simplify Compilation and Cross-Compilation
C/C++ projects are now being packaged for the Zig build system, allowing for easier compilation and cross-compilation. This initiative aims to provide convenience for Zig users and demonstrate to C/C++ maintainers how to integrate their projects with Zig's build capabilities.
Python Standalone Builds Project Offers Portable Python Distributions
The Python Standalone Builds project creates self-contained, portable Python distributions with minimized runtime dependencies. These distributions aim to function on any system for a targeted architecture, making Python easier to embed or deploy without extensive system-level dependencies.
The Incredible Proof Machine: A Visual Tool for Logic Proofs Released
The Incredible Proof Machine, a visual tool for performing proofs in various logics, has been released. This tool allows users to construct proofs by connecting blocks representing proof steps, aiming to make theorem proving more accessible without requiring knowledge of formal theorem prover syntax.
Libsm64 project offers Super Mario 64 movement and rendering as a reusable library
The Libsm64 project provides a shared library that encapsulates the movement and rendering code from Super Mario 64, allowing developers to integrate Mario's mechanics into other game engines. This library loads assets from an official SM64 ROM at runtime, requiring users to provide the ROM for asset extraction. The project aims to simplify the process of using Mario's core functionalities in new contexts.
Cursor Bridge enables free Claude Code usage for Cursor subscribers
Cursor Bridge, a new Rust binary, allows Cursor subscribers to use Claude Code's CLI without additional Anthropic API costs by routing requests through their existing Cursor subscription. This tool simplifies access to Claude Code's agent capabilities, such as file editing and shell commands, for Cursor users.