Show HN: Continue? Y/N: A 60-second game about AI agent permission fatigue
A prompt offering a “Continue? Y/N” choice and probing how carefully people read AI commands.
Front-page articles summarized hourly.
A prompt offering a “Continue? Y/N” choice and probing how carefully people read AI commands.
In Boston and Bermuda, Patrick Smith recalls a 1979 family trip to Bermuda from Boston, when air travel was unfamiliar to many American kids. Bermuda’s proximity and mild, European-esque charm made it a popular, affordable escape. He describes watching the DC-10 cockpit camera on the return flight and the era of widebody service to Bermuda. Over time, Bermuda’s status faded as flying became cheaper and more destinations appeared. Today, U.S. air options are JetBlue and BermudAir on smaller jets, with cruises still available.
Creusot is a deductive verifier for Rust code. It verifies safety from panics, overflows, and assertion failures, and with annotations lets you specify and verify the intended behavior. It translates Rust to Coma, an intermediate verification language of Why3, enabling semi-automatic discharge of verification conditions. Creusot is used in projects like CreuSAT, a verified SAT solver. To use, install Rust toolchain and opam, clone the repo, and run the provided INSTALL script.
Document on refining indoor Wi‑Fi roaming with OpenWRT on Cudy AX3000 APs. Two SSIDs are kept: 2.4GHz legacy WPA2 for IoT and old devices, and 5GHz WPA3 for modern clients, with four APs and no cloud controller. Roaming improvements come from adding usteer and 802.11k neighbour reports; since hostapd didn’t expose neighbour data, static-neighbor-reports generates per-band neighbour lists so APs know peers. Results: 2.4GHz remains congested; 5GHz shows better roaming and fewer sticky clients. A single FT log appeared; overall, the setup is stable and locally managed.
EU fines Temu €200m for listing illegal products, including dangerous baby toys and faulty chargers. The European Commission said Temu failed to diligently identify and mitigate systemic risks as a designated Very Large Online Platform. Independent testing found a high share of chargers failed safety tests and many baby toys posed safety risks or chemical hazards. Temu must present an action plan by 28 August; the Commission has two months to assess compliance. Temu calls the fine disproportionate and is reviewing options; it marks the second DSA fine after X.
Access to the site is denied.
The post tracks how top AI forecasters’ timelines for automating most cognitive labor have shifted. From 2023–2025, many moved predictions earlier, with some exceptions. From 2025–2026, several pushed dates later (e.g., Metaculus, Amodei, Wildeford). Yet by January–April 2026, all updated forecasts moved earlier again, due to rapid progress in the Anthropic era. The author argues Bayesian updates are unpredictable and concludes current data broadly indicate AI delivering wide cognitive automation sooner rather than later.
Nendo's Toru is an electric kettle for Alessi that reconciles gesture with form. The stainless-steel body is pitched like a pitcher, with a top-suspended handle that appears to pierce the body and continues into the spout, forming a continuous line. The handle lifts from the base and pours by tilting on the upper fulcrum. The base is integrated when plugged in and straightens when detached, helping it blend with surroundings. Named "toru" meaning "through" in Japanese. Alessi currently offers only European or British plug versions due to tariffs.
Researchers analyze 1,000 real-world claims submitted to a fact-checking platform, evaluating five frontier LLMs (GPT-5.4, Claude Opus 4.7, Gemini 3 Pro, Gemini 3 Pro + Search, Sonar Pro). Each model assigns one of four verdicts (True, Mostly True, Misleading, False). They find 67% of claims lack a clear majority, with at least one model dissenting; 34% show a 2+ bucket gap, indicating substantive disagreement. Krippendorff’s α = 0.639, signaling nontrivial but limited agreement. Only 328 claims are unanimous. The work focuses on frontier-model disagreement rather than accuracy and notes limitations and a planned human-ground-truth follow-up.
libwce is a minimal entropy layer for wavelet-based codecs, implemented as a single 500-line Rust file with no dependencies. It provides a Bit-Plane Count (BPC) style entropy coder for wavelet coefficients, separate from the transform, rate control, or metadata. After a wavelet transform yields coefficients, groups of four coefficients are encoded by their bit-plane count, then their magnitude bits and signs. It uses predictive residuals (RUNNING and ZERO) with Rice coding and an optional sparse-block flag, plus a one-pass cost search to pick the best per band. Three demos (image_compress, mode_shootout, stream_surgery) show end-to-end use. Not a full codec.
Could not summarize article.
Three prototype implementations (Ruby, Java, TypeScript) for a Claude Cowork DOCX plugin show Java best handles ZIP/XML natively, with mature libraries and typing; porting to a desktop app took ~3 days and yielded an ~88MB binary. TypeScript was chosen for future MCPB support, using Bun for a single-executable, though PostHog source maps are problematic and final sizes are ~70MB Mac / ~120MB Windows. Ruby struggled due to lack of typing and tooling issues. Codex lags Claude Desktop; Java remains the author's winner, but TypeScript is preferred for MCPB prospects.
AMD is changing Vivado licensing to a tiered model: Basic remains free but Windows-only; Linux support moves to Core and higher tiers, costing about $1.2k–$1.8k per year. This pressures Linux users—students, researchers, hobbyists—into paying or sticking with an aging, unsupported Linux version. AMD's forum responses offered little clarity, prompting criticism that the company betrays the Linux community and mirrors bait-and-switch tactics seen elsewhere.
The post catalogs whimsical OEIS sequences: XKCD’s joke about submissions and Hugo Pfoertner’s A316600 (widths in Helvetica); the later “Arial” note; A366192, the complement of Cantor’s A352911 (non-reduced fractions, Peter Luschny’s “Peter’s List”); the “screaming sequence” A325911; James Bond primes A386240; random tables like A259233 and A357907; a “nonsense sequence”; devil/beast-themed entries (A115983 with 666-digit primes, A186086, A131645 with 666 substrings, A138563). Neil Sloane’s whimsy remark and the common “dumb” keyword; the piece highlights OEIS’s playful side.
Could not summarize article.
MIT researchers show that off-the-shelf smartphone-grade lidar (<$100) can see around corners, not producing full images but sparse 3D shapes and motion of hidden objects. Using a portable 100-pixel lidar (emitter + single-photon detector) and bursts of frames, they combine measurements akin to synthetic aperture techniques to reconstruct static hidden objects and track known-shape motions. The approach could aid autonomous vehicles and robots, and democratizes non-line-of-sight sensing, though it's not full photographic imagery and relies on relatively stable scenes. Published in Nature (May 20, 2026).
Rapira is a TypeScript/Bun-based interpreter for the Rapira language, a Soviet educational language from the Agat system. The repo contains the interpreter core (lexer, parser, tree-walking evaluator) faithful to the 1985 dialect (Russian keywords, case-insensitive IDs, block comments, ; separators, three data types, three-arrow parameter scheme, trailing result), a CLI and multi-line REPL, a web playground, and tests. Build with bun; run examples and generate SVG from turtle graphics. Documentation includes SPEC.md and RAPIRA.md; live demo at the GitHub Pages site.
Biff is a Rust-based command-line tool for datetime arithmetic, parsing, and formatting. It offers commands like biff time fmt, add, span, seq, in/untag, and a tag feature to extract datetimes from arbitrary data into JSON lines. Built atop the Jiff library and ICU4X for localization, it aims to provide a succinct, flexible alternative to date-like tools (not POSIX-compatible). Install via cargo install biff-datetime-cli or use prebuilt binaries; can build with locale support; tested with cargo and Insta; dual-licensed MIT/UNLICENSE.
AI datacenters shift from north-south to east-west traffic, making synchronized training and Job Completion Time (JCT) the bottleneck. RoCEv2 with PFC lowers loss but causes head-of-line blocking; InfiniBand with rail-optimized topologies boosts GPU utilization, while ECMP struggles with large elephant flows. Ultra Ethernet proposes packet spraying and VOQ to reduce congestion. Almartis envisions GPU-free AI datacenters: a 1-tier, rail-only, non-blocking full-mesh Ethernet architecture with associative memory, up to 216 Blackwell Ultra GPUs per tier, prioritizing retrieval latency over throughput.
Made by Johno Whitaker using FastHTML