Quad9 will withdraw its free DNS service from France following a court blocking order
Quad9 announced it will withdraw its free DNS service from France starting November 24 following an unfavorable French court ruling. The decision in favor of broadcaster beIN orders Quad9 to block recursive DNS resolution of domain names tied to alleged copyright infringement on sports broadcasts. While the court reduced the financial penalty from €580,000 to €1,000 per day, Quad9 stated that compliance is technically unfeasible and violates its mandate to provide neutral resolution and protect privacy. The organization noted that approximately 20 similar lawsuits are currently pending against recursive resolver operators demanding domain blocks.
quad9.net
·
HN discussion
Anthropic uses Claude to formally verify compiled code across 123 open-source libraries
Anthropic used Claude to formally prove security properties across compiled binaries from 123 open-source software libraries, marking a large-scale application of AI to assembly-level verification. Collaborating with Theorem, the team generated roughly 180 million lines of Rocq proof code for compiled RISC-V instructions. Claude verified that the programs exit normally without memory-safety errors or assertion failures for inputs under 64 megabytes, assuming single-threaded execution on Linux with fixed memory budgets. Along the way, the process uncovered hundreds of long-standing bugs, including logic flaws that never triggered crashes.
anthropic.com
·
HN discussion
Software jailbreak achieves native code execution on Switch 2 firmware 23.0.1
A software-only, tethered jailbreak named ns2jb enables running arbitrary native code on Nintendo Switch 2 consoles running firmware 23.0.1. The author describes it as the first such exploit for the device, requiring about two weeks of development effort. It runs code as any standard sysmodule and as the built-in fs sysmodule, allowing users to run homebrew, back up save files, mod games, and access peripherals through MMIO. The exploit has also been tested on Switch 1, though it is not yet packaged for it.
pepsipu.com
·
HN discussion
HackiOS runs unmodified iOS 16.5 user space on Android hardware and QEMU
An independent research project called HackiOS boots Apple’s open-source XNU kernel and runs unmodified iOS 16.5 user space on Android phone hardware and in QEMU. The developers rely on a custom EFI loader, a UEFI port, and replacements for Apple’s proprietary drivers. On a POCO X5 Pro 5G, the entire system runs in RAM via fastboot without flashing storage. Neither repository hosts Apple files; scripts download the IPSW directly from Apple. Significant limitations remain, however, including no Secure Enclave or Apple ID login, no battery charging, and unfinished shader support.
github.com
·
HN discussion
Fly.io replaces custom JuiceFS storage with the Sprites Block Device
According to Fly.io's project description, the Sprites Block Device replaces the company's custom JuiceFS storage setup for Sprites. Sprites originally stored root disks in object storage using modified JuiceFS with separate SQLite databases for metadata and checkpoints. Because each component was made durable separately, the parts could fall out of agreement. During testing across 400 Sprites, a nonzero number permanently lost checkpointing capabilities. SBD simplifies the architecture by exposing a bucket directly to the Linux kernel over NBD. Metadata now lives in the bucket alongside the blocks, and checkpoints operate as volume block snapshots.
fly.io
·
HN discussion
Globus releases earstrip library for faster map polygon triangulation
The developers behind map engine GLOBUS released their polygon triangulator as earstrip, an ISC-licensed library provided as a single C++ header and a WebAssembly build on npm. Designed to take the same arguments as earcut, earstrip relies on ear clipping to replace the engine's previous constrained Delaunay triangulator. In performance benchmarks evaluated on 3.7 million real-world map polygons from the Masovian Voivodeship, the library runs 14% faster than earcut.hpp in C++ and achieves 1.4 to 2.1 times the speed of earcut.js in web browsers.
globus.software
·
HN discussion