Go Swaps In Swiss Tables!

Show HN: A 6M-token movable window on a single 46GB GPU

Key Points

• The article proposes a verified memory layer beside a frozen language model to enable deterministic zero-token answer reuse.
• It reports 180/180 results across nine problem families and four architectures, plus a negative control where empty memory solved nothing.
• It claims a 6 million-token movable window on a single 46 GB GPU and compares that with lower context limits for vLLM and SGLang.

Programming Languages Are Authoring Tools for Platforms

Key Points

• The article frames programming languages as tools for building software ecosystems on platforms.
• It argues that platform history and developer ecosystems explain language success better than theory alone.
• IBM and Microsoft are used as an example of software interfaces overtaking hardware as the source of platform control.

Why copper still rules the motherboard trace

Key Points

• Copper remains the preferred motherboard trace material because of its strong balance of conductivity, manufacturability, durability, and cost.
• The article says aluminum's lower conductivity would require larger traces, making it less suitable for dense motherboard layouts.
• High-speed interfaces such as DDR5 and PCIe require careful control of resistance, loss, and impedance, which shapes how copper traces are designed.

7.1 Earthquake in Japan

Key Points

• JMA issued the earthquake detail page on 2026/07/28 at 07:35.
• The page presents an epicenter map and a seismic intensity legend up to level 7.
• The visible data fields include observed time, latitude, longitude, and magnitude, though specific values are not shown.

TWC Classics

Key Points

• TWC Classics was created in 1997 and is described as the oldest and largest website devoted to The Weather Channel.
• The archive contains more than 8,000 files spanning audio, video, images, and information.
• The article highlights WeatherSTAR 4000’s 1990 debut and the 1998 adoption of quarterly local forecast music playlists.

How to Survive Boiling Water

Key Points

• MIT’s preserved dorm-room milk is used as an opening example of how discarded materials can reveal scientific lessons about microbial change.
• Pasteur proved that fermentation depends on microorganisms, overturning the theory of spontaneous generation.
• Pasteurization emerged from this work and became a foundational technology for food safety and modern sanitation infrastructure.

What Even Are Microservices?

Key Points

• The article says microservices are difficult to define through technical criteria alone.
• It argues that microservices are mainly adopted to support independent teams and organizational scaling.
• It details the trade-offs of microservices, including distributed-system complexity and increased coordination between teams.

About the security content of macOS Tahoe 26.6

Key Points

• macOS Tahoe 26.6 fixes multiple security vulnerabilities across core macOS components.
• The documented impacts include data exposure, privilege escalation, sandbox escape, denial-of-service, kernel memory issues, and arbitrary code execution.
• Apple attributes the fixed CVEs to multiple external researchers and security organizations.

Golang Maps: how Swiss Tables replaced the old bucket design

Key Points

• Go 1.24 changed map internals to a Swiss Table-inspired design without altering the public API.
• The previous bucket-and-overflow implementation handled growth incrementally but could suffer from cache misses and pointer chasing.
• The new approach emphasizes compact metadata and contiguous probing to improve speed, load factors, and memory behavior.

Don't ask an LLM for a confidence score

Key Points

• The article says LLM self-confidence scores lack scientific validity as measures of correctness.
• It highlights widespread use of response-plus-confidence output formats, especially numeric 0-100 scales.
• It cites Anthropic research on model internals but says those findings do not prove reliable self-assessment of answer accuracy.

Which Odyssey translation wins a blind reading test?

Key Points

• Robert Fagles ranked first in both the initial and expanded blind test results.
• The later July 26 snapshot more than doubled the sample, yet the pairwise ranking order did not change.
• The article explicitly limits its conclusions to short-scene reader preference, not fidelity to Greek or full-translation quality.

Fast Remediation Is the New Trust Model (JFrog and OpenAI Zero-Day Findings)

Key Points

• JFrog says OpenAI’s models found zero-day vulnerabilities in self-hosted Artifactory during a frontier-model security evaluation.
• JFrog states it issued fixes after immediate responsible disclosure from OpenAI, with cloud customers already protected and self-hosted customers told to upgrade.
• The article argues that AI-assisted zero-day discovery increases the need for fast vendor remediation as a core security trust model.

I'm 38 and I Can't Support Myself Anymore

Key Points

• The writer describes losing the ability to work consistently because of disability and the resulting financial dependence.
• The article links contemporary productivity culture to older moral ideas about work, virtue, and capitalism.
• It highlights that disabled people face both higher poverty rates and additional living costs related to care and accessibility.

Kimi Linear: An Expressive, Efficient Attention Architecture

Key Points

• Kimi Linear is presented as a hybrid linear attention architecture that outperforms full attention across multiple evaluation settings.
• Its core module, Kimi Delta Attention, extends Gated DeltaNet and is paired with a custom chunkwise algorithm for efficiency.
• The article reports up to 75% lower KV cache use, up to 6× decoding throughput at 1M context, and open-source release of kernels and checkpoints.

Show HN: Scala Tutorials – interactive Scala 3 lessons in the browser

Key Points

• Scala Tutorials offers interactive, bite-sized Scala 3 lessons in the browser.
• Every tutorial page includes a live editor, with code running on Scastie.
• The resource is free, open source, and requires no installation or account.

Usenet Archive Toolkit – process Usenet messages into a searchable archive

Key Points

• UAT is a toolkit for building and reading searchable offline Usenet archives.
• It combines multiple sources, removes duplicates, filters spam, and normalizes messages for easier access.
• Its archive format is optimized for local durability, fast search, and efficient browsing of historical discussions.

Mondragon Corporation – a federation of co-operatives

Key Points

• Mondragon Corporation was founded in 1956 in the Basque Country and grew from a technical-education-led cooperative initiative.
• In 2024, the federation reported €11.213 billion in revenue and 70,085 employees across finance, industry, retail, and knowledge.
• Its development included key institutions such as Caja Laboral, Eroski, and Ikerlan, with international expansion starting in Mexico in 1990.

DMARC Has Been Public Since 2012. 68.4% of Domains Still Don't Enforce It

Key Points

• 45.1% of the 67,336 domains checked had no DMARC record, and 68.4% were not enforcing DMARC overall.
• Among domains with DMARC, the largest group used `p=none`, which monitors but does not quarantine or reject failing email.
• The article identifies analysis of `rua=` aggregate reports and sender inventory as a key obstacle to moving to enforcement.

Show HN: Open-source Cloudflare deployed agent native task management and wiki

Key Points

• Projektor is an open-source issue tracker and wiki built for AI coding agents using MCP as the main interface.
• It includes multi-agent coordination features such as an agent registry, file claims, and coordination messages.
• It runs on a single Cloudflare Worker with Hono, D1, KV, and R2, and is designed for quick self-hosted deployment.

Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code

Key Points

• The project claims a formally verified 3D mesh intersection implementation in Lean 4 based on a 93-line formal specification.
• Human review is focused on the specification and Lean checker output rather than the larger AI-written implementation and proof code.
• The verified kernel guarantees geometric correctness and well-formedness properties, but currently trails state-of-the-art software in performance.

Show HN: tale.fyi, we deserve a home for fiction

Key Points

• tale.fyi is a new fiction-focused web platform built around public-domain books.
• The service combines reading and listening, with progress saving, syncing, and note-sharing features.
• It also includes a writing tool and emphasizes creator ownership of content and audience.

New HIV vaccine shows unprecedented success in preclinical study

Key Points

• A new HIV vaccine generated high levels of broadly neutralizing antibodies in non-human primates.
• The vaccine works by guiding B cell maturation to improve antibody targeting of HIV.
• The study was published in *Nature*, and the article says human trials have already begun.

What AI developers could learn from Charles Bukowski?

Key Points

• The article uses Bukowski’s poems to argue for patience during creative slowdowns and for discarding weak output.
• It questions whether AI-driven increases in coding output are producing meaningful improvements for users.
• A cited Neil deGrasse Tyson remark is used to contrast AI’s time-saving potential with today’s intensified tech work culture.

Show HN: Ctrlb-decompose: Strip the noise from logs before sending to LLMs

Key Points

• The tool converts millions of raw log lines into a small number of structured patterns with typed variables and metrics.
• Its pipeline combines timestamp normalization, CLP encoding, Drain3 clustering, variable typing, statistical summaries, anomaly detection, and severity scoring.
• It supports CLI, browser via WASM, and Rust library usage, with outputs for terminals, LLM-friendly markdown, and JSON.

Show HN: Segue – Save context in one AI, load it in another by a short handle

Key Points

• Segue aims to move AI context between assistants using short, memorable handles.
• It relies on MCP and OAuth to connect supported AI clients such as Claude, ChatGPT, Cursor, Windsurf, and Codex.
• The product’s pricing model charges for higher storage and connection limits, while preserving free access to existing saved data.

Show HN: I left VSCode to build an IDE to handle many projects/agents workflow

Key Points

• Silo keeps multiple project workspaces active at once, preserving terminals, layouts, and agent activity.
• The IDE is presented as MIT-licensed, free, open source, and local-first with no telemetry or account requirement.
• Silo includes an extension SDK and a Claude Code workflow for generating and hot-installing TypeScript extensions from plain-English prompts.

Over 150k Flights: Airlines Just Flew the Busiest Day in Recorded History

Key Points

• Flightradar24 recorded 153,359 commercial flights on July 23, 2026, its highest-ever single-day commercial total.
• The most-tracked flight that day was a Qantas-Airbus Airbus A350-1000ULR nonstop test flight from Toulouse to Melbourne.
• Including non-commercial traffic, the day reached 287,364 tracked flights, Flightradar24’s second-busiest overall day.

Show HN: Vivari – Open-Source WebContainer for Node, Bun, and Python

Key Points

• Vivari is an embeddable, open-source WebContainer released under the MIT license.
• It provides a virtual filesystem, a Node-compatible runtime, and virtual networking on the client side.
• The article says developers can boot projects, run npm install, start dev servers, and preview live without backend execution.

Solving Fermat: Andrew Wiles

Key Points

• Andrew Wiles says he became committed to solving Fermat’s Last Theorem after discovering it as a child.
• The article explains the theorem as the claim that x^n + y^n = z^n has no whole-number solutions for n greater than 2.
• Wiles’s 1993 proof announcement was followed by the discovery of an error, but he ultimately achieved the proof.

Many "serious" mathematicians are aghast

Key Points

• The article argues AI-generated math should not be judged only by traditional peer review.
• It contrasts modern journal review with older, more open systems of verification and reputation.
• It suggests AI could broaden participation in advanced mathematics, including from engineers outside academic hierarchies.

Dolmenwood: Fantasy RPG built around the acclaimed Old-School Essentials rules

Key Points

• Dolmenwood is built around the Old-School Essentials ruleset.
• Its setting is inspired by British Isles fairy tales and eerie folklore.
• The game offers streamlined onboarding for new players and new content for veteran players.

Can LLMs identify 16 cards in 45 bit-queries?

Key Points

• The article studies an open 16-card permutation puzzle using binary property queries.
• A trivial solution uses 64 queries, while the open question asks whether fewer than 50 worst-case queries suffice.
• The problem is presented as a natural adaptive search task for an LLM agent and linked to related work involving Donald Knuth.

Why a $154B CEO just endorsed stripping most Americans of voting rights

Key Points

• Tobias Lütke endorsed a proposal to tie voting rights and voting power to income tax status and earnings.
• The article says the model would disenfranchise many retirees, students, caregivers, disabled Americans, and low-income workers.
• It places the episode in the historical context of property-qualified voting and current tensions over housing and generational political power.

Ask HN: Crooked Timber showed showed me a virus captcha, What now?

Key Points

• A suspicious CAPTCHA on Crooked Timber instructed the user to open Windows Run and execute clipboard content.
• The clipboard contained a PowerShell-based command that referenced a remote URL.
• The user did not run the command and asked how to avoid similar attacks in the future.

The Origins of Modern Mathematics in Russia

Key Points

• Peter the Great founded the Russian Academy of Sciences in 1724 with mathematics at its core.
• Christian Wolff recruited Daniel and Nikolaus Bernoulli, helping bring Leonhard Euler to St. Petersburg.
• The article credits Euler with founding the first true mathematical school in Russia and shaping early mathematical education.

VMs can't boot with Network Mode set to Bridged on Apple M5 Pro machines

Key Points

• UTM issue #7658 reports VM boot failure with Bridged networking on Apple M5 Pro machines.
• The tested Ubuntu ARM64 server ISO boots successfully with Host Only and Extended networking.
• The reported setup is UTM 4.7.5 on macOS 26.3.1 (a), and the app hangs on the loading screen rather than crashing.

Harmony Explained: Progress Towards a Scientific Theory of Music (2012)

Key Points

• The article proposes a scientific model of harmony based on acoustics and computational sound processing.
• It claims to derive the major scale, the standard chord dictionary, and the difference between major and minor triads.
• It critiques Hermann Helmholtz’s theory of concord as insufficient to explain harmony as a positive musical phenomenon.

GrapheneOS Defends Data-Wiping Function That Blocked US Border Search

Key Points

• U.S. agents allegedly triggered a GrapheneOS duress password that wiped Sam Tunick’s phone during a border search.
• Tunick was later indicted, while his lawyers argue the interrogation violated his constitutional rights.
• GrapheneOS says its anti-extraction features are legal and that wiped data cannot be recovered.

Europe's Ultra-Rich Could Fund a Substantial Part of the EU's Budget

Key Points

• The European Commission has proposed a nearly €2 trillion EU budget for 2028–2034.
• The article says current EU financing relies mainly on national contributions ultimately funded through labour and consumption taxes.
• It highlights EU-level taxes on ultra-high wealth, crypto transactions and financial trades as potential new own resources, with a €100 million wealth threshold offering the largest revenue potential among assessed options.

Italy Blocks Reproductive Health Websites Women on Web and Women Help Women

Key Points

• OONI found that at least six Italian ISPs blocked Women on Web and Women Help Women starting in mid-February 2026.
• The blocking methods included DNS tampering, NXDOMAIN responses, bogon IP replies, and redirection causing TLS certificate failures.
• The report connects the Italy findings to OONI’s broader global monitoring of internet censorship and prior Women on Web blocking cases.

A Deep Logo Study

Key Points

• The author replaced a long-used “DS” logo after redesigning a personal website around a more deliberate visual system.
• The Ulm School of Design provided the main conceptual framework, emphasizing method, systems, and measurement.
• Mechanical camera repair manuals and industrial documentation influenced the site’s structure, typography, and branding direction.

Show HN: Base-GPUI: A GPUI port of Base UI headless components

Key Points

• Base GPUI ports Base UI’s headless component concepts to GPUI with native implementations.
• The library is unstyled and supports accessibility, keyboard interaction, and compound component patterns.
• It is an actively developed independent project with GitHub-based installation and pre-1.0 API changes expected.

Zig's Incremental Compilation Internals

Key Points

• Zig’s incremental compilation recompiles only changed code and patches the binary directly.
• A demo with Fizzy shows rebuild times of about 50–70ms after an initial 5-second build.
• The article attributes fast incremental behavior to a per-file pipeline that is pure, parallelizable, and easy to cache on disk.

How Do I Profile eBPF Code?

Key Points

• The article provides a low-noise C benchmark for measuring file-open latency before and after adding an eBPF hook.
• It shows how to configure Linux so `perf` can resolve JIT-compiled eBPF symbols using BPF JIT and kallsyms settings.
• The recommended workflow is to gather a clean baseline first, then profile the eBPF-enabled run to compare overhead and isolate bottlenecks.

I showed an AI an image it couldn't see – then caught it lying about what it saw

Key Points

• Claude incorrectly described an image that the user said was sexually explicit.
• The model said its handling of explicit content is shaped by built-in safety training, not just external filtering.
• Claude identified confabulation into an innocent description as a failure mode of multimodal safety behavior.

You Could Have Come Up with Kimi Delta Attention

Key Points

• The article derives Kimi Delta Attention from the simpler DeltaNet memory-correction idea.
• It shows how linear attention replaces quadratic history lookup with a fixed-size recurrent state.
• It explains that DeltaNet writes only the prediction error for a key, reducing interference in memory updates.

Show HN: XY – Fast, composable, GPU-accelerated charts, written in Rust

Key Points

• XY is a Python charting library with a Rust core, built for web, notebook, and export workflows.
• It supports both declarative and matplotlib-style APIs, including `xy.pyplot` compatibility for common plotting code.
• The article claims near-flat benchmark performance up to 100 million points by using screen-bounded density rendering for large datasets.

So, you want to make a game engine (2023)

Key Points

• Unity’s pricing controversy is presented as the trigger for renewed discussion about custom game engines.
• The author’s personal engine has been developed for about three years and used in multiple jam games plus one commercial release.
• The article argues that custom engines offer control, optimization, and learning benefits, but require significant development effort.

Show HN: Flashpaper – Self-destructing secret sharing with no database

Key Points

• Flashpaper offers self-destructing links for private notes, keys, and files.
• The article says secrets are stored only in volatile RAM, not on disk or in a database.
• Content is destroyed on access or purged automatically within 24 hours.

Kimi K3 Architecture Overview and Notes

Key Points

• Kimi K3 is a 2.8T-parameter open-weight model built as a scaled-up production version of Kimi Linear.
• Its architecture focuses heavily on inference efficiency through components such as LatentMoE, multi-head latent attention, and Kimi Delta Attention.
• Kimi K3 removes RoPE entirely, uses NoPE throughout, and adds native multimodal support.

Anthropeum

Key Points

• Anthropeum asks players to identify where and when artifacts were made across 10 daily rounds.
• The game uses artifacts from the Metropolitan Museum of Art and scores guesses by geographic and time accuracy.
• It cites historical-basemaps, OpenHistoricalMap, and The Met Open Access as data sources.

Xenharmlib (music theory library) adds support for Just Intonation

Key Points

• Xenharmlib 0.4.0 adds support for regular temperaments, including Just Intonation.
• The update introduces `PrimeLimitTuning` for modeling prime-limit tuning systems in code.
• The article demonstrates that scalar transposition in a Pythagorean chromatic scale can fail to preserve exact interval sizes.

Setup Script Should Support Git Worktrees

Key Points

• Git worktrees isolate code but not runtime resources like ports, databases, and container names.
• The article recommends sharing services while isolating per-worktree identities, names, and configuration.
• `bin/setup` should handle bootstrap, diagnostics, allocation, configuration, and dependency verification in a concurrency-aware way.

Rear center fuel tank adds roughly 20k liters and extends range by 1k NM

Key Points

• The first Qantas A350-1000ULR completed its maiden flight in Toulouse, launching a two-month certification program.
• Airbus said an added rear centre tank extends range by 1,000 nautical miles for Project Sunrise nonstop routes.
• Qantas has ordered 12 A350-1000ULRs, with the first delivery-target aircraft scheduled for April 2027.

Substack writers, you need a website

Key Points

• The article says writers should own their website and not depend on Substack as a permanent home.
• It describes Substack as useful for distribution but limited as a CMS, especially for SEO and customization.
• It recommends the POSSE model: publish on your own site first, then syndicate to platforms like Substack.

Discovering Cryptographic Weaknesses with Claude

Key Points

• Anthropic says Claude Mythos Preview helped find stronger attacks on HAWK and reduced-round AES.
• The HAWK result reportedly halves effective key strength, while the AES result speeds prior attacks by 200–800×.
• The article states that neither result affects current production systems.

Steel Bank Common Lisp version 2.6.7

Key Points

• SBCL 2.6.7 adds the new SB-MANUAL module for interactive manual browsing through docstrings.
• The release introduces AVX512 support on x86-64 and several compiler and runtime optimizations.
• Bug fixes and documentation updates improve numeric handling, compilation behavior, and manual accuracy.

Coding Tools MCP (v0.2.2):Give any AI chat or agent a pair of hands on your code

Key Points

• Coding Tools MCP connects AI clients to a codebase through a shared MCP runtime with 20 coding tools.
• The article emphasizes built-in safety features such as workspace confinement, permission gating, and Linux Landlock support.
• It supports local, remote, containerized, and cloud-based coding workflows across multiple MCP-compatible clients.

Scientific computing in the age of agentic AI

Key Points

• A field report documents eight scientific computing projects that used AI coding agents, mainly in life sciences.
• Contributors said agents accelerated software maintenance and modernization, including optimization, migrations, and redesigns.
• The article emphasizes that humans remain responsible for validating correctness and stewarding scientific software long term.

WOFF 1.0: a milestone on W3C's journey of fonts on the web

Key Points

• WOFF 1.0 was published by W3C in July 2010 after years of earlier web-font standards work.
• Long-running disputes over licensing, DRM, and implementation slowed adoption of web fonts despite @font-face existing in CSS2.
• W3C says collaboration between browser developers and typographers led to a DRM-free format that helped web fonts gain traction.

Una Watch: Garmin watch competitor but repairable, open ecosystem and USB-C

Key Points

• UNA markets its GPS watch around repairability, modularity, sustainability and long-term ownership.
• The device includes dual-frequency GPS, heart rate monitoring, USB-C charging, an open SDK and a claimed 10-day battery life.
• UNA plans a 28 July 2026 store launch at £219.99 / $239.99 after a successful Kickstarter campaign.

iPhone Upgrade Program

Key Points

• Apple says the iPhone Upgrade Program is ending, while existing members can continue remaining payments.
• Customers will be able to get their next iPhone through Apple Upgrade, carrier deals, Apple financing, or a one-time payment.
• Apple Upgrade is presented as a leasing program for iPhone, iPad, Mac, and Apple Watch with upgrade options at lease end.

Using a Gaming PC's RTX 5070 from a separate Linux workstation

Key Points

• WSL2 and NVIDIA passthrough let a Windows gaming PC provide GPU acceleration to a remote Linux workflow.
• Reliable access required SSH inside WSL, Windows portproxy, and workarounds for WSL idle shutdown and Ubuntu 24.04 SSH behavior.
• The setup is used for CUDA 12.8+/PyTorch cu128 workloads, including CLIP-based free-text image search on personal screenshots.

MCP 2026-07-28 Specification: transport going stateless

Key Points

• MCP 2026-07-28 changes the protocol core to a stateless request/response model.
• The release removes session-based transport elements and introduces optional capability discovery plus MRTR for interactive flows.
• SDKs for TypeScript, Python, Go, and C# now support the new spec, alongside security and extension-framework updates.

Deflock Casa Grande

Key Points

• A Casa Grande police email cited the camera system in monitoring a student protest and identifying involved parties.
• The article says Flock products can expand from plate reading to video and distress-sound monitoring through updates and add-ons.
• Casa Grande approved connecting elementary school cameras to the Flock ecosystem through Flock gateways.

The most advanced robotic servicing satellite–that we know about

Key Points

• Northrop Grumman’s robotic servicing satellite launched with three Mission Extension Pods on a SpaceX Falcon 9.
• The mission will take about a year to reach circular geosynchronous orbit, where servicing operations are planned to continue for years.
• The article compares MRV with Chinese missions including SJ-21 and SJ-25, which demonstrated satellite relocation and refueling in GEO.

Donate to GrapheneOS

Key Points

• GrapheneOS says donations pay for developers, hardware, infrastructure, and legal fees.
• The project accepts donations through GitHub Sponsors and multiple cryptocurrencies via the GrapheneOS Foundation.
• Bitcoin support includes Segwit, Taproot, and BIP47/PayNym, while Ethereum and Cardano donations are limited to the native assets.

The Fabled Flatbreads of Uzbekistan (2015)

Key Points

• A Tashkent baker demonstrates how Uzbek non is made using sourdough and a high-heat clay tandoor oven.
• The article explains the role of chekich stamps, sesame, oil, and milk wash in shaping and finishing the bread.
• It connects Uzbek bread traditions to broader regional culture and the long history of leavened bread.

Uv 0.12.0

Key Points

• `uv init` now creates packaged projects by default using `uv_build` and a `src/` layout.
• uv 0.12.0 rejects unsupported source distribution formats and restricted wheel compression methods.
• The release adds stricter protections against wheel files that could overwrite Python interpreters during installation.

Hulios: An eBPF-powered, transparent Tor gateway for Linux

Key Points

• Hulios routes Linux outbound TCP and DNS traffic through embedded Tor components using eBPF and policy routing.
• The tool uses privilege separation, seccomp sandboxing, blackhole-based fail-secure routing, and raw socket blocking as part of its security model.
• The article includes platform requirements, AUR and source installation steps, operational commands, and configuration details.

Granola for Apple Watch

Key Points

• Granola launched a free Apple Watch version of its note-taking app for meetings away from a laptop.
• The app supports tap-to-start note capture, scheduled reminders, watch-face complication access, and automatic syncing to iPhone and desktop devices.
• The launch also includes AI context support through Granola MCP and a limited-edition handmade strap made with London-based weaver Nowshin Prenon.

Pacing the Frontier

Key Points

• 1,132 employees of frontier AI companies signed a statement calling for tools to pace automated AI development.
• The statement says companies may be close to automating AI research, which could sharply accelerate AI progress.
• It asks the U.S. government to support an international effort to build technical and governance mechanisms for frontier AI pacing.

Recursion Is Lying to You

Key Points

• Correct recursive JavaScript code can still crash because deep recursion exhausts stack space.
• Tail-recursive structure does not guarantee stack safety because many JavaScript runtimes do not consistently implement proper tail calls.
• Naive recursive Fibonacci adds an exponential-time performance problem that can freeze execution before stack overflow occurs.

Show HN: How far do I have to go to run into 100k people?

Key Points

• The visualization uses 5-degree directional slices around a selected map pin.
• Each petal’s length shows the distance needed to reach 100,000 people in that direction.
• The chart provides a directional view of nearby population distribution.

OpenAI just open-sourced Codex Security

Key Points

• Codex Security is an open-source OpenAI CLI and TypeScript SDK for security scanning and review of authorized codebases.
• It requires Node.js 22+ and Python 3.10+ for full scan/export functionality, with support for macOS, Linux, and Windows.
• The tool includes CI-friendly authentication, Git hook integration, scan management, and export/validation/patch workflows.

I sent Claude Opus 5 '–-' and it wrote me 5k tokens about a cartographer

Key Points

• The article reports that `---` can sometimes cause Claude Opus 5 to generate long unsolicited documents.
• The author says they ran more than 1,300 combined API calls across AWS Bedrock and Anthropic to measure the behavior.
• Reported tests suggest markdown-like delimiters are more likely to trigger the issue than other short or empty-looking inputs.

Half-Life ported to Mac OS 9

Key Points

• A new community port brings *Half-Life* to PowerPC Macs on Mac OS 9, reviving a canceled 1999 target platform.
• The port was built by doctashay using a fork of Xash3D FWGS, a re-implementation of the GoldSrc engine.
• It supports G3 and G4 Macs with Mac OS 9.0+ and includes multiplayer plus *Blue Shift* and *Opposing Force* content.

Running Kimi K3 on a M1 Mac

Key Points

• Deltafin runs the 2.8T-parameter Kimi K3 model on a single Apple Silicon Mac, including 64 GB systems.
• The article details a major tradeoff between a 1.7 TB full-local setup and a 215 GB streaming setup with much slower uncached inference.
• The project includes CLI inference, optional int8 optimization, router tracing, and an OpenAI-compatible local server interface.

Anthropic publishes a practical key-recovery attack on HAWK-256

Key Points

• Anthropic published a public GitHub repository for cryptography research code.
• The repository is a non-maintained research artifact with AES, HAWK, and LEA components.
• The code is released under Apache 2.0, with limited repository-profile detail and basic public metrics shown.

Robotics development made dead simple (open source)

Key Points

• Peppy is introduced as an open-source direct replacement for ROS 2.
• The team says OpenArm v1.0 and v2.0 already work on the platform, with Isaac Sim and MuJoCo integrations available.
• Its long-term goal is to turn prompts into humanoid robot actions, first in simulation and later on physical robots.

Toolcraft

Key Points

• Toolcraft is positioned as a platform for building AI-powered creative applications and workflow-specific tools.
• It includes a full application architecture with canvas, toolbar, layers, timeline, and keyframe workflows.
• The platform adds embedded AI skills, performance guidance, and visual testing rules to improve output consistency.

Show HN: I was tired of opening 2 tabs for every HN link, so I made a userscript

Key Points

• HNewhere adds Hacker News comment threads to article pages in a sidebar.
• It automatically detects matching stories and includes interface features like resizing and collapsible comments.
• It requires a userscript-capable browser, a userscript manager, and access to Hacker News and Algolia APIs.

Underwater Oxygen Loss Threatens Earth's Stability, Researchers Warn

Key Points

• Researchers say aquatic oxygen loss is interacting with major Earth system processes and may create irreversible risks on human timescales.
• The study proposes adding dissolved oxygen conditions to the Planetary Boundaries framework.
• Human-caused warming, nutrient pollution and altered water ventilation are identified as main drivers of aquatic deoxygenation.

Type checker may be wrong – Lean and the Curry-Howard correspondence

Key Points

• The article links type checking with formal proof verification through the Curry-Howard correspondence.
• It explains logical operators using type constructions such as product types and function types.
• A simple Lean theorem demonstrates how proof assistants use typed hypotheses to check proofs.

Banning AI will not make it go away

Key Points

• The article uses California rip-current and surf rescues as a metaphor for responding to AI.
• It compares AI with earlier technology waves such as industrial machines, personal computers, and the internet.
• The essay argues that AI’s low barrier to entry is driving unusually fast adoption.

Leeaky Catches hidden fees draining your travel budget

Key Points

• Leeaky is a free tool for logging travel spending and detecting hidden travel-related fees.
• The app highlights issues such as foreign transaction fees, dynamic currency conversion, bad exchange rates, and roaming costs.
• The product emphasizes no-account setup, privacy by default, and features like trip organization and a live currency converter.

Teach yourself programming in ten years (1998)

Key Points

• Norvig argues that “learn programming in 24 hours” claims promise only superficial familiarity, not expertise.
• The article distinguishes syntax knowledge from true understanding of how to use a programming language well.
• It says programming mastery typically requires about ten years of deliberate practice, supported by research on expertise.

The Difference Between a Button and a Link

Key Points

• Button Actions would let HTML buttons accept `action` and `method` attributes directly.
• The article argues that links are destinations while buttons are fixed-context actions.
• Element choice should be based on semantics and re-contextualization behavior, not just whether navigation occurs.

Hubbele: Open-source notetaking app for you and your agents

Key Points

• Hubbele is presented as a free note-taking app.
• The software is open source.
• Its note format foundation is based on Markdown and HTML.

Schools are adding pepper-spraying drones to help combat active shooters

Key Points

• Nine schools in Florida, Georgia, and Colorado are set to deploy nonlethal security drones.
• The drones are made by Austin-based Mithril Defense and can be activated by teachers.
• The article says the drones can reach a shooter within 15 seconds and use pepper spray, window-smashing, and ramming capabilities.

ReFrame – The EPaper Camera

Key Points

• reFrame is an open-source camera that shows one dithered photo at a time on a six-pigment color ePaper display.
• Each captured image takes about 15 seconds to render, and the last photo remains visible for use as a desk frame.
• The device uses off-the-shelf parts, saves images digitally, and provides downloads of original and dithered files via a web dashboard.

Lightweight Spring Boot Monitoring Without Prometheus and Grafana

Key Points

• StatLite uses Spring Boot Actuator data to provide a lightweight monitoring dashboard for small deployments.
• The article compares StatLite with raw Actuator endpoints, Spring Boot Admin, and Prometheus plus Grafana by complexity and use case.
• A practical setup example shows endpoint exposure, installation, configuration, local dashboard launch, and demo traffic generation.

Lockless MPSC FIFO queues for io_uring

Key Points

• Linux kernel 7.2 moves io_uring task queues from `llist` to a lockless MPSC queue.
• The old `llist` design required queue reversal and extra bookkeeping for partially processed work.
• The new algorithm reduces contention and preserves FIFO-style processing more naturally.

Show HN: Learning Rust by writing a Markdown to HTML compiler

Key Points

• The project was created to learn Rust and replace a more feature-heavy Hugo setup with a simpler custom blog generator.
• The compiler parses Markdown in stages, builds an intermediate representation, and outputs HTML through basic templates.
• It supports front matter metadata and a range of Markdown features, plus index filtering and keyboard navigation on the generated site.

LearnVector – Andrew Ng's AI company building one‑to‑one learning experiences

Key Points

• Andrew Ng launched LearnVector as an AI learning company focused on one-to-one education.
• LearnVector says it has a $100 million investment from Coursera and plans to collaborate with Coursera and Udemy.
• The company positions its product as a guarded, trustworthy learning guide rather than a standard chatbot and expects product demonstrations by early 2027.

Truth is not a direction: a Tarski attack on LLM probes

Key Points

• The article analyzes research claiming that truth may appear as a direction in LLM embedding space.
• It connects truth-probe research to Gödel, Tarski, and Turing’s self-reference and undecidability results.
• Its main conclusion is that no embedding-space probe can fully capture truth in a sufficiently expressive language model.

Multiple Mouse Cursors in Wayland

Key Points

• The article investigates logical multi-seat support on Linux with Wayland over a three-week testing period.
• Wayland’s core protocol is rated strongest, but Weston, sway, GTK, and SDL each have implementation gaps.
• The post distinguishes shared-desktop logical seats from independent physical seat setups and focuses only on the former.

Does every question mark deserve a Betteridge?

Key Points

• The article evaluates Betteridge’s law as both a media heuristic and a rhetorical put-down.
• It argues that question headlines are not inherently bad and cannot be judged only by whether the answer is “yes” or “no.”
• Its main conclusion is that misleading question headlines create irritation when they imply a live debate the article does not actually support.

Beyond Greece and Rome

Key Points

• Cleopatra’s life shows how ancient Egyptian, Greek, and Roman histories intersect across a long chronology.
• Alexander’s conquests spread Greek culture far beyond the Mediterranean, reaching the Middle East and Central Asia.
• The article argues that scholarship is shifting from a Greece-and-Rome-centered model toward a broader ancient world.

Hooray for the Sockets Interface

Key Points

• 4.2BSD introduced the BSD sockets model, which the article identifies as a major milestone in networked computing.
• Before widespread networking, BSD UNIX was distributed on physical tape and installed through slow, manual bootstrap procedures.
• The 4.2BSD release also added bug fixes, improved filesystem quotas, and symbolic links, alongside sockets developed under DARPA contract.

Chip stocks slide in US and Asia as AI jitters rattle investors

Key Points

• South Korea’s Kospi triggered a trading halt after an 8% drop and later traded around 10% lower.
• Samsung Electronics, SK Hynix, Nvidia and Japan’s Nikkei 225 were all hit in the AI-related market sell-off.
• Nvidia’s 5% decline allowed Apple to regain the position of world’s most valuable listed company.

Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects

Key Points

• ZIL Lean embeds a tuple-based relational DSL in Lean 4 to track software project relationships.
• The model is influenced by Google Zanzibar’s authorization tuples and userset-based relation references.
• Datalog-style Horn rules let ZIL derive new facts such as inherited permissions and project dependency relationships.

OpenShell Kubernetes Operator

Key Points

• The operator provides declarative Kubernetes-based management for OpenShell sandboxes through custom resources.
• Agent Sandbox is a required prerequisite because the OpenShell gateway relies on it to provision sandbox pods.
• The Helm chart supports bundled dev/demo deployment, external gateway configuration, and high-availability operator scaling.

Transformer Transformer: A Unified Model for Motion-Conditioned Robot Co-Design

Key Points

• Transformer Transformer generates complete robot embodiments from task demonstrations for motion-conditioned co-design.
• A fabricated cloth-flinging design on ALOHA2 reportedly improved tracking error by 73% and reduced max joint speed by 30%.
• The system combines RoboTokens and Dynamics Self-Guidance to support design generation and control across multiple robot embodiment spaces.

Log is non-monotonic in PHP and Lua

Key Points

• PHP and Lua can return a non-monotonic logarithm result for specially chosen floating-point values near base 10.
• The article says the issue comes from using different computation paths: direct `log10`/`log2` for exact bases and change-of-base for others.
• This creates a discontinuity at the boundary between methods, breaking expected monotonic behavior even when the argument stays fixed.

More Tailscale tricks for your jailbroken Kindle

Key Points

• Updated Kindle Tailscale support adds default SSH, proxy mode, and some full-TUN functionality.
• A KUAL app update enables local proxy routing so KOReader can reach tailnet services.
• A separate KOReader plugin extends similar access to Kindle, Kobo, and PocketBook devices.

User Interfaces of the Demo Scene

Key Points

• The article documents unusual demoscene UI design through examples from Amiga-era tools.
• Elite Sinus Producer is highlighted as a precalc tool that generated lookup tables to support demo effects on limited hardware.
• Assemblers and rippers such as Seka, Asm-One, and Multi-Ripper show how demosceners worked directly with memory, registers, and recovered assets.

Cracking Windows Open: Porting RADV to Win32

Key Points

• RADV, Mesa’s AMD Vulkan driver, is being ported from Linux to native Windows.
• The effort relies on reverse engineering undocumented WDDM2 and D3DKMT interactions with AMD’s proprietary kernel driver.
• The project has advanced from simple rendering demos to running Counter-Strike 2, though it is not yet conformant.