AMD Secure VMs Crack Under Fabric Flaw!

Show HN: Codiff, a local diff review tool

Key Points

• Codiff is a local desktop diff viewer for reviewing staged and unstaged Git changes before commit.
• The tool includes an LLM-generated walkthrough option via `codiff -w`, plus inline comments and Markdown export.
• The initial release is available for macOS and requires installing a Terminal Helper to enable the `codiff` command.

Citroën metropolis concept car (2010)

Key Points

• Citroën unveiled the Metropolis concept as a China-focused luxury design study created by its Shanghai-based design team.
• The concept was set to be displayed at the French pavilion during the 2010 Shanghai World’s Fair.
• Citroën highlighted Hydractive suspension, a plug-in hybrid drivetrain, and China’s growing importance to its global business.

Mozilla to UK regulators: VPNs are essential privacy and security tools

Key Points

• Mozilla opposes UK proposals that could age-gate VPNs in response to Online Safety Act circumvention concerns.
• The article says VPNs provide privacy and security benefits including IP masking, reduced tracking, and protection from profiling.
• Mozilla argues regulators should target platform accountability and digital literacy rather than restrict access to privacy tools.

Twilight of the Velocipede: Typesetting Races Before the Age of Linotype

Key Points

• George Arensberg’s 1870 performance at The New York Times set a widely noted one-hour typesetting record of 2,064 ems.
• Typesetting races grew from informal printshop wagers into public spectacles in dime museums, drawing large crowds and sizable prizes.
• The contests became increasingly organised by the 1880s, with published rules, recorded results, and nationally known competitors.

Ten Signs of Fascism. America has all of them

Key Points

• The author launched a YouTube channel and plans to publish essays in both video and written formats.
• The first essay argues that current events in America should be described as fascism.
• Historian Robert Paxton’s post-January 6 shift is presented as key support for that argument.

Playing Atari ST Music on the Amiga with Zero CPU

Key Points

• The article presents a zero-CPU-style Atari music playback method on Amiga hardware using PAULA instead of full emulation.
• A prior accurate emulator consumed around 50% of frame time, making it impractical for a sin-dots record attempt.
• The first prototype used precomputed .sndh playback data and looping square-wave samples, but its sound quality was limited.

XS Programming Language

Key Points

• XS is a general-purpose programming language at version 1.2.15.
• The author is asking readers for feedback and improvement suggestions.
• The official site, xslang.org, offers a playground and complete documentation.

Roman Letters

Key Points

• The article uses letters to trace the decline of communication in the Western Roman provinces after 395.
• It shows that western correspondence networks became fragmented and dangerous well before the formal end of the Western Empire in 476.
• It contrasts western decline with the continued vitality of letter-writing in the Eastern Roman Empire.

Prolog Basics Explained with Pokémon

Key Points

• The article uses Pokémon battle rules to explain why Prolog is effective for modeling relationships.
• It outlines the main mechanics of Pokémon battles, including moves, HP, stats, abilities, and typing.
• It demonstrates type-effectiveness calculations with examples involving Lunatone, Scizor, and Swampert.

How Diamonds Are Made

Key Points

• Diamonds form deep underground in kimberlite under extreme heat and pressure.
• Exploration and mining rely on surveying, drilling, and ore evaluation before extraction.
• Antwerp and Surat are highlighted as major global centers for diamond trade and polishing.

Klaxon a livr earthquake map with no back end

Key Points

• Klaxon maps magnitude 3.5+ earthquakes worldwide using the public USGS feed.
• It overlays tectonic plate boundaries and includes event details such as PAGER alerts, MMI, felt reports, and tsunami flags.
• The project is a hobby build by Asher Malone, supports three interface languages, and operates without ads, tracking, or accounts.

Native all the way, until you need text

Key Points

• The author says Apple’s native UI frameworks made a Markdown-based chat interface difficult to implement well.
• Multiple native approaches introduced issues with text selection, streaming performance, integration, and expected desktop behavior.
• WebKit and Electron are described as more effective options for long-form rich-text chat rendering on desktop.

Apple Silicon costs more than OpenRouter

Key Points

• The article estimates electricity for local inference on an M5 MacBook Pro at roughly $0.01–$0.02 per hour, making power a minor cost component.
• Using a $4,299 MacBook Pro and local speeds of 10–40 tokens per second, the article estimates local inference at about $0.40–$4.79 per million tokens.
• OpenRouter pricing for Gemma 4 31B is cited at about $0.38–$0.50 per million tokens, and the article says hosted inference is often both cheaper and faster.

I don't think AI will make your processes go faster

Key Points

• The article says visible bottlenecks should not be optimized in isolation without examining upstream causes.
• It argues that AI coding tools still depend on detailed requirements and significant domain-expert input.
• The article concludes that process improvement comes from enabling teams with complete inputs, not just faster production tools.

Every AI Subscription Is a Ticking Time Bomb for Enterprise

Key Points

• The article says AI subscriptions are priced below underlying usage costs to accelerate adoption.
• Anthropic, OpenAI, Microsoft, Google, Meta, and xAI are cited as examples of aggressive AI pricing or subsidy strategies.
• It warns enterprises that dependence on today's AI subscription prices could create budget risk if vendors raise prices or tighten plans.

Mado: Fast Markdown linter written in Rust

Key Points

• Mado is a Rust-based Markdown linter compatible with CommonMark and GitHub Flavored Markdown.
• The article reports benchmark results showing Mado significantly faster than markdownlint, markdownlint-cli, and markdownlint-cli2.
• Mado supports most markdownlint rules and offers installation, configuration, and GitHub Actions integration across major platforms.

WHO Declares Ebola Outbreak a Global Health Emergency

Key Points

• WHO declared the Ebola outbreak in Congo and Uganda a global health emergency.
• Confirmed cases were reported in Kinshasa and Kampala, indicating spread to both countries’ capitals.
• The outbreak began in Ituri Province, where 246 suspected cases and 80 deaths were reported, and there is no approved vaccine for the strain.

High-Entropy Alloy

Key Points

• High-entropy alloys use multiple principal elements in near-equal proportions, unlike conventional alloys with one dominant base metal.
• The article links HEAs to attractive properties such as strength, toughness, ductility, and resistance to corrosion and oxidation.
• Brian Cantor and Jien-Wei Yeh are identified as foundational figures in the development and classification of the field.

AI is a technology not a product

Key Points

• The article argues Apple’s strategy is to ship products and experiences, not standalone technologies such as AI.
• It disputes claims that Apple must launch a dedicated AI product analogous to the iPhone’s role in mobile.
• It questions whether AI agents can realistically replace phone-based app interactions in the near term.

Scientists believe ibogaine can help veterans overcome PTSD

Key Points

• Ibogaine is being studied as a possible PTSD treatment in veterans despite being banned in many countries, including the US.
• A Stanford-monitored study followed 30 US special forces veterans treated with ibogaine in Mexico under medical supervision.
• Researchers reported improvements in PTSD, depression and anxiety, but the drug’s therapeutic mechanism remains unclear.

I turned a $80 RK3562 Android tablet into a Debian Linux workstation

Key Points

• A Debian 12 image for the Doogee U10 boots from SD card with no bootloader unlock or internal storage modification.
• Most core tablet hardware is reported working, with partial support for Panfrost 3D acceleration and camera tuning.
• The image includes preinstalled Linux apps and supports local LLM inference on the RK3562 NPU using RKLLM and RKNN tooling.

CUDA Books

Key Points

• The article curates CUDA books across beginner, advanced, Python, and optimization topics for NVIDIA GPU programming.
• It includes both established classics and recent 2024–2026 titles covering newer CUDA tools and versions.
• Readers are advised to supplement books with the official CUDA C++ Programming Guide and may contribute new entries via pull requests.

Agentic Trading with Safe Guardrails

Key Points

• Shuriken markets itself as infrastructure for autonomous or agentic trading across multiple asset classes.
• The shuriken-skills repository provides integration guidance for LLM-backed agents, including auth, permissions, and API/SDK usage.
• The article documents cross-platform installation, marketplace publishing, and release procedures for several coding-agent ecosystems.

Sam Sianis, Chicago's most famous saloonkeeper, has died

Key Points

• Sam Sianis, longtime Billy Goat tavern owner and Chicago public figure, died at 91.
• His life story traced a path from rural Greece to San Francisco and then to Chicago’s tavern business.
• The article links his career to the Billy Goat’s role in Chicago sports lore and the 1964 move to Hubbard Street.

Legacy Update for Windows 8.1 for x64-based Systems

Key Points

• The page describes a Windows 8.1 x64 update intended to resolve issues in Windows.
• It lists Windows 8.1 as the supported OS and says installation may require a restart.
• Legacy Update says it archives deleted Microsoft Download Center items and warns they may be unsupported and vulnerable.

XS: A programming language. Anywhere, anytime, by anyone

Key Points

• XS is described as a single-binary language and toolchain with zero runtime dependencies.
• The same XS source is claimed to run across desktop, mobile, embedded, and WASI targets.
• The project publishes benchmark numbers and supports interpreter, VM, JIT, C, JavaScript, and WebAssembly-based runtime modes.

Americans Are Smashing Flock Cameras

Key Points

• The article reports at least 25 Flock Safety cameras were destroyed across five states since April 2025.
• A Suffolk, Virginia, man was charged in connection with destroying 13 cameras and said he acted over privacy concerns.
• The article links the backlash to reported immigration-related searches conducted through Flock’s license plate reader network.

Mistral's CEO: Europe has 2 years to stop becoming America's AI 'vassal state'

Key Points

• Arthur Mensch said Europe has a two-year window to build independent AI infrastructure.
• He argued that chips, energy, and data center capacity are now central to the AI race.
• Mistral is pairing its sovereignty message with infrastructure plans and a partnership with Groupe Caisse des Dépôts.

The occasional ECONNRESET

Key Points

• A localhost TCP reproducer shows that ECONNRESET appears only when the client sends data before reading.
• tcpdump confirms the error corresponds to a real TCP RST packet.
• strace shows the server sends all 600,000 bytes and exits cleanly, so the reset is not caused by a crash.

Mercurial, 20 years and counting: how are we still alive and kicking? [video]

Key Points

• Mercurial has remained active since its 2005 launch despite losing broader popularity to Git.
• The talk examines Mercurial’s history through technical, community, and contributor-related factors.
• The presentation uses Mercurial’s story to discuss the future of version control and the relevance of community-based open source.

EU weighs restricting use of US cloud platforms to process sensitive gov data

Key Points

• The EU is considering restrictions on using U.S. cloud providers for sensitive government data.
• Many member states remain dependent on Google, Microsoft, and Amazon cloud services.
• Any proposed restrictions could be weakened during the EU policymaking process.

Show HN: Semble – Code search for agents that uses 98% fewer tokens than grep

Key Points

• Semble is a CPU-only code search tool for agents that supports local and remote repositories.
• The article claims fast indexing and querying with benchmarked retrieval quality close to code-specialized transformers.
• Semble integrates with MCP-compatible agents and uses hybrid semantic-plus-lexical retrieval with code-aware reranking.

Dontsurveil.me

Key Points

• Bill C-22 would allow regulations requiring providers to retain broad metadata categories for up to one year.
• The article says this is an expansion beyond Bill C-2 and could apply regardless of suspicion.
• It cites EU precedent against blanket retention and recommends policy opposition plus use of low-metadata messaging tools like Signal.

The AI water issue is fake

Key Points

• The article argues AI data center water use is not a major U.S. water crisis when compared with other industries.
• It says concern has been amplified by context-free large numbers and misunderstanding of AI's scale of usage.
• It supports local expert-led planning that weighs water demand alongside economic benefits like tax revenue.

Schanuel's Conjecture and the Semantics of Triton's FPSan

Key Points

• FPSan transforms floating-point Triton programs into integer-based equivalents for algebraic equivalence checking.
• Its formal guarantee is conditional on Schanuel’s conjecture and applies under restricted circuit and operation assumptions.
• The implementation uses a bijection from IEEE-754 floats to integers modulo 2^32 and redefines core arithmetic through that mapping.

Scientists "bottle the sun" with a liquid battery that stores solar energy

Key Points

• UC Santa Barbara researchers developed a pyrimidone-based molecular material that stores sunlight as chemical energy and releases it later as heat.
• The team reported energy density above 1.6 MJ/kg and used computational modeling to explain long-term stability.
• In experiments, the material released enough stored heat to boil water under ambient conditions, suggesting possible heating applications.

Don't Outsource the Learning

Key Points

• The article says passive AI coding use can speed delivery while weakening comprehension.
• It cites studies from Anthropic, MIT, and CHI 2026 linking some AI-assisted workflows to lower understanding or poorer decisions.
• It argues that current product defaults favor shipping tasks, while learning-oriented AI modes remain underused.

Magical Realism: "Northern Exposure" 25 Years Later (2015)

Key Points

• The article marks 25 years since *Northern Exposure* debuted on CBS in 1990.
• It presents Joel Fleischman as the main lens through which viewers enter Cicely, Alaska.
• It identifies Ed Chigliak and Maggie O’Connell as central to the show’s enduring significance.

VoIP Brings Back Old-Fashioned Pay Phones to Rural Vermont

Key Points

• Patrick Schlott has installed over half a dozen restored public pay phones in Vermont.
• The phones use VoIP gateways and local internet connections to provide free calls across the United States and Canada.
• The first phone was installed at North Tunbridge General Store in March 2024, with the project aimed partly at areas with limited cell service.

Where OpenClaw Security Is Heading

Key Points

• OpenClaw describes a staged security roadmap for its AI assistant runtime, distinguishing shipped features from in-progress and research work.
• The company introduces fs-safe to enforce root-bounded filesystem access and reduce boundary-crossing bugs in core code and plugins.
• OpenClaw presents Proxyline as a Node-level egress routing layer that works with proxies to enforce outbound network policy against SSRF-related risks.

New Nightmare Just Dropped: '3D' Animated Ads on Trucks in Traffic

Key Points

• LED Truck Media introduced a truck-based mobile billboard designed to show anamorphic 3D advertising.
• The article links the concept to existing 3D billboards commonly seen in places like Times Square in New York City.
• The company says curved ultra-high-definition LED panels, fine pixel pitch, and high refresh rates help create realistic-looking visuals.

Prolog Coding Horror

Key Points

• Impure and non-monotonic Prolog constructs can cause programs to miss intended solutions.
• Global database updates introduce hidden dependencies and order-sensitive behavior.
• Declarative alternatives such as `dif/2`, `if_/3`, `format_//2`, and `CLP(FD)` are recommended over low-level or impure techniques.

GenCAD

Key Points

• GenCAD generates full CAD programs from images rather than only approximate 3D representations.
• Its architecture combines transformer encoding, contrastive multimodal learning, latent diffusion, and CAD-command decoding.
• The system supports generation, diverse sampling, and retrieval across a dataset of about 7,000 CAD programs.

ThinkPad: From IBM's Bento Box to Lenovo's AI Workstations

Key Points

• ThinkPad is presented as a continuously shipped laptop family since October 1992 under IBM and Lenovo.
• The article argues that ThinkPad’s most distinctive trait is long-term visual and engineering continuity across ownership changes.
• It traces the brand from the 1992 700C launch to current AI-capable models such as the P14s Gen 6.

Fabricked: Misconfiguring Infinity Fabric to Break AMD SEV-SNP

Key Points

• Fabricked targets AMD SEV-SNP by abusing misconfigured Infinity Fabric routing.
• The attack uses modified UEFI to keep fabric settings changeable after SEV-SNP activation.
• It disrupts PSP writes during RMP initialization, leaving CVM memory protections ineffective.

Two EA-18 fighter jets collide at Mountain Home airshow, pilots ejected safely

Key Points

• Two Navy EA-18G Growlers collided during an airshow demonstration at Mountain Home Air Force Base.
• All four crew members ejected safely, and no one on the ground was reported injured.
• The crash prompted a base lockdown, road closures, and an investigation, while the article highlights broader air show safety trends.

Ask an Astronaut: 333 hours of Q&A footage with astronauts

Key Points

• Ask an Astronaut is a searchable archive of astronaut Q&A footage.
• The archive contains 333 hours of material from hundreds of interviews.
• All featured interviews were recorded aboard the International Space Station.

An AI Hate Wave Is Here

Key Points

• Polls cited in the article show broad U.S. skepticism toward AI and concern that it is advancing too quickly.
• The article says backlash is becoming a business risk by complicating data center expansion and compute access.
• It contrasts executive assumptions of AI inevitability with expert views that AI adoption and social integration remain matters of public choice.

Design posters showcasing your country's electrical grid

Key Points

• Grid2Poster creates printable electrical grid posters from OpenStreetMap data.
• The tool supports multiple output formats and GeoJSON export for GIS reuse.
• Large-country and continent runs require careful Overpass query sizing and may take significant time.

Jank now has its own custom IR

Key Points

• jank now uses a custom IR to support higher-level, language-specific optimization.
• The previous LLVM-based approach was limited because LLVM IR does not directly model many Clojure semantics.
• The new IR is documented in the jank book and implemented internally as C++ data structures renderable as Clojure data.

A Good Lemma Is Worth a Thousand Theorems

Key Points

• The article argues that lemmas are often more broadly useful in mathematics than theorems.
• Szemerédi's Regularity Lemma is presented as a particularly influential example with major downstream impact.
• The post includes later references and quotations that characterize good lemmas as durable, widely applicable, and elegant.

WriteUp: 16 Bytes of x86 that turn Matrix rain into sound

Key Points

• The 16-byte DOS assembly program uses text-mode video memory as both display surface and calculation space.
• BIOS initializes video memory to a uniform `0x20/0x07` pattern rather than zeroes, shaping the algorithm's behavior.
• A simplified mathematical model explains the loop as a prefix-sum process whose values follow scaled binomial coefficients.

The SGI Buyer's Guide (2003)

Key Points

• The guide explains how different SGI models fit different needs, from collector interest to entry-level use and high-performance desktop work.
• It highlights eBay and resellers as the main sources for used SGI machines, with support and price trade-offs between them.
• It warns buyers to pay attention to IRIX media availability and machine-tied licensing when purchasing second-hand SGI hardware.

There Is No 'Hard Problem of Consciousness'

Key Points

• Carlo Rovelli argues that consciousness is a physical, natural phenomenon rather than evidence of a separate soul.
• The article connects today’s consciousness debate to historical Western dualist ideas about body and soul.
• David Chalmers’s 1994 'hard problem of consciousness' is cited as a major framework in the discussion.

Most Americans don't trust AI – or the people in charge of it

Key Points

• Pew’s survey found AI experts are far more optimistic about AI than the US public.
• Many Americans are uneasy about AI’s impact on jobs and say they have little control over its use in their lives.
• Both experts and the public show limited trust in government and private companies to regulate AI responsibly.

Sense Humans with WiFi – Ruview

Key Points

• RuView uses WiFi-based sensing to provide on-device spatial and vital-sign intelligence without cameras, microphones, or cloud processing.
• The platform supports fusion of WiFi CSI with multiple sensor modalities and packages applications as signed WASM modules for ESP32-S3 hardware.
• RuView is integrated with Cognitum hardware, cryptographic attestation, and MCP-based agent workflows, while regulated medical deployments require added validation.

America's Most-Spoken Languages After English and Spanish

Key Points

• Chinese leads as the top non-English, non-Spanish language in 13 states.
• German remains dominant in several Plains and Mountain West states due to historical immigration patterns.
• French, Vietnamese, Portuguese, Navajo, and other Indigenous languages form distinct regional clusters across the U.S.

Freelang – a Libc-free, direct sys/kernel call language with weird concurrency

Key Points

• FreedomLang compiles through a compact IR to libc/CRT-free native x86-64 output across Linux, macOS, and Windows.
• The language uses immediate termination for invalid internal states while modeling operational failures as explicit data.
• Its concurrency model maps jobs to real OS processes with filesystem-visible state for auditability and containment.

Show HN: Mezz, a curl-able WiFi sandbox for IoT pentesting

Key Points

• Mezz creates an isolated Wi-Fi sandbox on a Linux host to inspect owned IoT devices.
• It provides AP, DHCP, DNS, NAT, local naming, and DNS query logging through a Docker Compose-based setup.
• Optional mitmproxy interception can inspect HTTP/HTTPS traffic, but only when clients trust the proxy CA and are not blocked by certificate pinning.

Étienne Ghys: The Shape of Letters: From Leonardo da Vinci to Donald Knuth

Key Points

• Étienne Ghys delivered the lecture "The Shape of Letters: from Leonardo da Vinci to Donald Knuth."
• The talk was the MAA-AMS-SIAM Gerald and Judith Porter Public Lecture at the 2026 Joint Mathematics Meetings.
• The lecture is available as a 19:31 video on the Joint Mathematics Meetings YouTube channel.