From Hacker News Front Page · 40 stories
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.
RISC OS Open Celebrates 20th Anniversary of Opening Up Proprietary OS
RISC OS Open (ROOL) marked its 20th anniversary on June 20, 2026, celebrating two decades of transforming a proprietary operating system into an open-source project. This milestone highlights the community's role in the OS's development and its expansion to new hardware platforms like the Raspberry Pi.
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.
Bor v0.8.0 Released with New Policy Types for Thunderbird, Edge, and Firewalld
Bor v0.8.0 has been released, introducing new policy management capabilities for Thunderbird, Microsoft Edge for Business, and Firewalld zones on Linux desktops. This update enhances policy enforcement and administrative control for organizations managing diverse software environments.
Kyoto University Researchers Identify Neural Circuits Governing Habit Formation in Mice
Researchers at Kyoto University developed a rapid habit formation method in mice and identified two distinct neural circuits that control different aspects of habit development and execution. This research provides insight into the neurological mechanisms behind habits, which could inform future studies on human behavior.
NetBSD 11.0 Released with Open Security Issues, 11.1 Aimed for Two Months
The NetBSD project has released version 11.0 of its operating system, acknowledging that it ships with known open security issues due to delays and the continuous discovery of new vulnerabilities. The project plans to address these issues in the upcoming 11.1 release, targeted within the next two months.
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.
Morten Linderud Resigns from Arch Linux Development Team
Morten Linderud announced his resignation as a package maintainer and developer for Arch Linux after nearly a decade of involvement. His departure leaves several critical packages, including mkinitcpio and arch-install-scripts, without an active maintainer, necessitating community adoption.
Solid Queue 1.6.0 Introduces Fiber Worker Support for I/O-Bound Workloads
Solid Queue version 1.6.0 now supports fiber workers, allowing jobs to run on a single fiber reactor thread instead of a thread pool. This change is beneficial for I/O-bound workloads, such as those involving LLM calls, by improving efficiency.
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.
Termixer: A New Terminal-Based DJ Mixer for Live Performance with TidalCycles
Termixer, a new terminal-based DJ mixer built with Rust and ratatui, has been released. It provides real-time audio mixing capabilities including EQ, filtering, crossfading, and sample pads, primarily for live performance with TidalCycles. This tool offers a command-line interface solution for audio manipulation, which is relevant for developers and musicians working with terminal-centric workflows and algorithmic composition.
Servo 0.4.0 Released with New Web Platform Features and DOM APIs
Servo 0.4.0 has been released, incorporating 558 commits from June, which include new web platform features like 'attr()', 'image(<color>)', and various media queries, alongside new DOM APIs such as SharedWorker and console.dir(). This update expands Servo's web compatibility and functionality for developers.
Red Bull funded research influenced energy drink policy decisions
An investigation revealed Red Bull paid academics to produce research favorable to the energy drink industry, influencing policy decisions. This funding supported professors who argued against restrictions on energy drinks, including a proposed ban on sales to minors in Suffolk County, New York.
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.
Premier League Bans Front-of-Shirt Gambling Sponsors for 2026-27 Season
The Premier League has officially banned gambling companies from front-of-shirt sponsorships for the 2026-27 season, eliminating betting logos from all 20 club jerseys. This change significantly alters the commercial sponsorship landscape, with finance becoming the dominant sector, though some clubs are currently without primary sponsors.
Gander: An Android File Viewer with Zero Permissions and Offline Functionality
Gander is a new open-source Android application that functions as a universal file viewer for various document, media, and code formats without requiring any permissions, internet access, or tracking. This application addresses privacy concerns by rendering files entirely on-device, contrasting with other viewers that may rely on cloud services.
Rune 1.1 adds Python support, Emacs editor, symbol index, and becomes free
Rune 1.1 has been released, introducing Python support, an integrated Emacs editor, and a symbol index, while also making the tool free to use. This update expands Rune's capabilities for developers by integrating a popular language and editor, and removing cost as a barrier to adoption.
New Agent Skill Forces LLMs to Write Documentation in ASD-STE100 Simplified Technical English
A new agent skill has been released that compels Large Language Models (LLMs) to generate technical documentation adhering to the ASD-STE100 Simplified Technical English standard. This tool aims to improve clarity and reduce ambiguity in AI-generated technical content, which is particularly relevant for industries where precise instructions are critical.
Tally Launches In-Browser Tool to Verify Spreadsheet Data Against Sources
Tally, a new in-browser tool, has launched to independently recompute and verify figures in business reports and spreadsheets against their source data. This tool helps identify discrepancies by showing which numbers match and which do not, providing exact rows as proof.
Toot.community Mastodon instance to shut down permanently by October 2026
The Mastodon instance toot.community will permanently close on October 28, 2026, due to increasing moderation stress, user conflicts, and financial unsustainability. This shutdown impacts its users who will need to migrate their accounts to other Fediverse servers.
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.
Certisfy Introduces Cryptographically Signed URLs for Trust Verification
Certisfy launched a new feature allowing users to publish cryptographic signatures as claims for URLs, enabling verification of link providers. This functionality aims to establish trust and authenticity for shared links, particularly in an online environment with AI-generated content.
AI Leaderboard Updates Address Social Card Caching and Mobile Display Issues
An AI leaderboard platform released updates (v2.0.6 and v2.0.5) to correct outdated social media preview cards and improve mobile display of specialty scores. These changes ensure accurate information is presented to users and enhance usability on smaller screens.
Carolina Cloud now pays SOFR-referenced interest on unused prepaid credits
Carolina Cloud has implemented a system to pay interest on customers' unused prepaid credits, calculated daily based on the Secured Overnight Financing Rate (SOFR). This change means that prepaid balances will accrue interest, which can then be spent on compute and storage services.
Ron Gilbert Announces Production Start for Thimbleweed Park 2, Targeting Early 2028 Release
Ron Gilbert has announced that production has begun on Thimbleweed Park 2, with an anticipated release in early 2028. The game will be self-published with private investor support and will feature the return of several original team members, including Mark Ferrari and Gary Winnick.
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.
Anthropic Resolves Elevated Error Rates for Claude Opus 5 Services
Anthropic reported and resolved elevated error rates affecting its Claude Opus 5 model and associated services. The incident impacted claude.ai, Claude Console, Claude API, Claude Code, and Claude Cowork, with errors returning to baseline by 2:03 PST / 9:03 UTC.
Kimi Code Launches K3-256k Model with 256k Context Window
Kimi Code has released K3-256k, a new model with a 256k context window, designed for everyday Q&A, code completion, and routine development tasks. This model offers the same results as the K3 (1M) model within its context limit but consumes less quota.
Gleam v1.18.0 Released with Enhanced Language Server Features
Gleam v1.18.0 has been released, introducing several enhancements to its language server, including full support for record fields, type variable renaming, and automatic import updates for renamed modules. These updates improve the developer experience for Gleam users by providing more robust tooling for code navigation and refactoring.
Keychron announces ZGM, an open-source firmware for gaming mice, planned for 2027 release
Keychron announced ZGM, an open-source firmware for gaming mice, with a planned release in Q1 2027 for its G6 HE hybrid magnetic switch gaming mouse. This initiative aims to provide users with customization options and advanced functionality similar to QMK and ZMK for mechanical keyboards, which could set a new standard in the gaming mouse market.