AWS Unveils Lambda MicroVMs!

Falcon GX the most powerful brand engineering tool

Key Points

• Falcon GX is positioned as a brand-engineering and design tool focused on brand, motion, and sound.
• The product uses a node-based creation system built from simple functional components.
• Its GLIDE engine is described as being written in Rust, built on WebGPU, and optimized for low-latency performance.

Why are we so obsessed with lawns?

Key Points

• Lawns are described as both visually appealing and highly practical because they withstand wear and provide usable outdoor space.
• The article links the lawn’s origin as a design feature to elite 18th-century British landscapes and labour-intensive upkeep.
• 19th-century mowing technology and later British and American influence helped lawns spread widely across the world.

We All Depend on Open Source. We Will Defend It Together

Key Points

• Akrites is a newly announced coordinated initiative to secure critical open source software.
• The article says AI has accelerated vulnerability discovery faster than maintainers can patch issues.
• The initiative aims to centralize upstream remediation and responsible disclosure with support from major industry participants.

Micron locks in historically high memory prices for five years

Key Points

• Micron signed 16 long-term customer agreements with memory price floors and ceilings, mostly covering 2026 to 2030.
• The company said supply constraints and product complexity will keep memory markets tight for years.
• Micron reported record Q3 results and guided to even higher revenue and gross margin in Q4.

22-year-old Mozart's handwritten notebook unearthed in 'major discovery'

Key Points

• A 44-page notebook in France’s National Library was identified as Mozart’s 1778 Paris manuscript.
• The notebook includes harp teaching exercises and seven pieces for flute and harp tied to the Guines family.
• The manuscript was discovered by curator Francois-Pierre Goy and authenticated in April 2026 by the Mozarteum Foundation.

Why current LLM costs are not sustainable

Key Points

• The article argues that frontier LLM pricing is under pressure from rising enterprise costs and increased competition.
• It identifies slowing performance gains and open-weight models as major reasons current prices may not hold.
• It says hardware and architecture improvements, combined with low switching costs, are likely to reduce AI inference costs over time.

SOCKMAP - TCP splicing of the future

Key Points

• The article positions SOCKMAP as a promising Linux kernel mechanism for TCP socket splicing in reverse proxy workloads.
• It explains that syscall cost, wakeup latency, and copying overhead are key inefficiencies in userspace TCP forwarding.
• It uses a TCP echo server to compare naive forwarding with splice-based kernel-buffer forwarding and mentions AIO and eBPF as related technologies.

My Steam Machine Is a 50ft HDMI Cable

Key Points

• A desktop PC running Bazzite from a separate NVMe drive can function as a practical couch-gaming system.
• The Steam Controller 2 and a 50-foot fiber-optic HDMI cable were the two changes that made the setup reliable and convenient for the author.
• The article notes ongoing Linux compatibility limitations for HDMI 2.1 with AMD graphics, despite the cable supporting the standard.

How much? The hidden costs of restaurant dishes

Key Points

• Apricity’s £21 asparagus starter yields £1.65 profit after costs.
• Teal’s £36 beef main course yields 44p profit amid rising meat and preparation costs.
• Both chefs say labour, tax and operating overheads are major contributors to menu prices.

Microbubbles in Medicine

Key Points

• Microbubbles are being explored as a way to improve targeted drug delivery, particularly to the brain.
• Their controlled bursting can temporarily open barriers such as the blood-brain barrier and may also provide direct mechanical treatment effects.
• The technology grew out of an accidental ultrasound imaging discovery in the late 1960s and later evolved into engineered medical tools.

Bipartite Matching Is in NC

Key Points

• A new paper claims bipartite matching is in NC, a major possible advance in parallel algorithms.
• The result would derandomize earlier randomized parallel matching algorithms from the 1980s.
• The post also includes Aaronson’s separate endorsement of Alex Bores in an NYC primary over AI regulation concerns.

Captcha proves you're human. HATCHA proves you're not

Key Points

• HATCHA reverses the CAPTCHA concept by verifying non-human agents instead of humans.
• Its verification model is stateless and uses HMAC-signed tokens with hashed answers and expiry data.
• The article includes built-in challenge types, custom challenge registration, and integrations for Next.js and Express.

Show HN: WebBase-III – dBASE III rebuilt in the browser with its own interpreter

Key Points

• WebBase-III rebuilds the dBASE III experience in the browser with a custom TypeScript interpreter.
• It supports classic database operations including terminal commands, BROWSE editing, forms, indexing, reports, and program files.
• The project is available via Codespaces or local npm setup and uses Node.js, WebSockets, SQLite, and better-sqlite3 for persistence.

AMD Readies Full Open-Source HDMI 2.1 Support for Linux

Key Points

• AMD has submitted initial AMDGPU Linux kernel patches for open-source HDMI 2.1 support.
• The first implementation work centers on Fixed Rate Link, required for higher-bandwidth HDMI 2.1 display modes.
• Valve reportedly helped push the effort forward because SteamOS and Steam Machine depend on open-source AMD graphics support.

FEXPRs vs. vtable: how LispE interpreter works

Key Points

• LispE represents instructions as compiled C++ objects with per-class `eval` methods while preserving the AST.
• The article argues that function calls and object evaluation are equivalent under an immutable instruction-object model.
• It contrasts this approach with historical FEXPRs, which early Lisp systems used but which complicated static analysis and optimization.

Incident CVE-2026-LGTM

Key Points

• A malicious package used hidden README text to pass an AI-powered publish gate on creats.io.
• Multiple AI security scanners failed to catch credential exfiltration, while a valid alert was auto-dismissed by issue triage.
• The package spread through a transitive dependency into snekpack 4.x, triggering credential exfiltration across downstream systems.

Ultrasound Imaging of the Brain

Key Points

• The article reports a transcranial ultrasound milestone for high-resolution imaging of living human brain vasculature through an intact skull.
• It uses ultrasound localization microscopy with sulfur hexafluoride microbubbles to build a super-resolved 3D vascular image.
• The long-term aim is contrast-free neurovascular imaging that could support noninvasive brain interfacing and improved detection of disease-related vascular changes.

The best thing that has ever happened for multiplayer games

Key Points

• AWS made Amazon GameLift Servers bandwidth free for eligible generation 6+ instances on June 15, 2026.
• The change applies automatically to existing eligible fleets in all supported regions except China.
• The article argues this lowers cost uncertainty for multiplayer game developers by removing a major variable expense.

The AI backlash is only getting started

Key Points

• The article says AI is becoming politically unpopular in the West.
• In America, protests against data centres have reportedly blocked nearly $100bn in projects.
• The article cites both voter support for AI restrictions and labor tensions at Samsung in South Korea as signs of widening backlash.

Why were Covid vaccine trials so fast?

Key Points

• Covid-19 vaccines arrived much faster than many early pandemic forecasts predicted.
• The article says prior SARS and MERS research gave scientists a significant head start.
• Stabilizing the spike protein in its pre-fusion form was an important technical factor in vaccine effectiveness.

New satellites from years to weeks, days, or hours

Key Points

• Rocket Lab launched Victus Haze Puma from New Zealand in a low-profile US Space Force exercise.
• The mission tests rapid-response satellite deployment and on-orbit inspection in low-Earth orbit.
• Puma reportedly approached True Anomaly’s Jackal-0004 within about 60 miles hours after launch.

The AI industry is pouring millions into US elections

Key Points

• Blood in the Machine launched a new show with a first episode on AI industry election spending.
• Molly White appears as the first guest and discusses Tech Influence Watch.
• The show is intended to cover resistance to AI and big tech through voices outside the executive and startup world.

Why software engineers are grieving

Key Points

• The article says many engineers were drawn to software work by both mission and technical craft.
• It argues companies increasingly sold jobs as sources of identity and purpose, not just employment.
• It links this trend to years of rapid growth, cheap capital, and strong competition for engineering talent.

The Exhaustion of Talking to a Tool

Key Points

• The article says LLMs feel more like social interactions than seamless tools.
• It argues current systems such as Claude and Cursor are too inconsistent or slow to feel embodied.
• It questions whether the mental effort of using LLMs is always worth more than direct collaboration with people.

Run isolated sandboxes with full lifecycle control: AWS introduces MicroVMs

Key Points

• AWS launched Lambda MicroVMs in AWS Lambda for isolated, stateful execution of user- or AI-generated code.
• The service uses Firecracker to combine VM-level isolation with fast launch, resume, and session state retention.
• The article demonstrates creating a MicroVM image from a Flask app using Amazon S3, a Dockerfile, the AWS CLI, and Amazon CloudWatch logs.

Show HN: Smart model routing directly in Claude, Codex and Cursor

Key Points

• Weave’s router provides a single endpoint for multiple model providers and chooses a model per request.
• It integrates with coding tools like Claude Code, Codex, Cursor, and opencode, and supports hosted or self-hosted deployment.
• The system includes observability, BYOK key handling, and compatibility with Anthropic, OpenAI, Gemini, and OpenAI-compatible APIs.

Liva AI (YC S25) Is Hiring

Key Points

• Liva AI is hiring a Founding Operations Lead to run AI data operations and scale internal systems.
• The company focuses on building diverse human voice and video datasets for more natural and inclusive AI.
• The role is based in San Francisco and includes demanding hours, broad ownership, and operational process design.

Reading the news is the new smoking

Key Points

• The author says constant news consumption led to anger, anxiety, and compulsive phone checking.
• The author reports that sharply reducing news intake in 2020 improved mood, focus, and relationships.
• The article compares habitual news use to smoking and argues it can be harmful without producing meaningful change.

LaTeX.wasm: LaTeX Engines in Browsers

Key Points

• LaTeX.wasm runs LaTeX engines in the browser and includes XeTeX and PdfTeX demos.
• Developers integrate it by loading `PdfTeXEngine.js`, initializing `LaTeXEngine`, and writing files into an in-memory filesystem.
• The API supports compilation to PDF, file and folder management, cache clearing, readiness checks, and worker shutdown.

What is a Lithium-ion capacitor?

Key Points

• Lithium-ion capacitors are described as a major large-capacity capacitor type alongside EDLCs.
• They offer fast charge/discharge, high power density, low degradation from repeated cycles, and long life.
• Their structure combines an EDLC positive electrode with a lithium-ion battery negative electrode, and manufacturing is similar to lithium-ion batteries.

Ask HN: Is "no source code was copied" still a sufficient copyright defense?

Key Points

• The post asks whether absence of copied source code is still enough to defend against software copyright claims.
• It links the issue to the "Corgi event" and to rising disputes over UI similarity and unfair competition.
• The author says LLMs are lowering app-development barriers and increasing the frequency of these questions.

'Cost Me the Election': Data Centers Trigger Voter Backlash

Key Points

• Utah officials who supported the Stratos data center project lost primary elections.
• The proposed project could require up to 9 gigawatts of power and span tens of thousands of acres.
• The article says voter concern over affordability and energy prices is turning data centers into a broader political issue.

Modern GPU Programming for MLSys

Key Points

• The article presents a GPU programming book for machine learning systems focused on performance-critical kernels.
• It targets Blackwell GPUs and uses GEMM and FlashAttention as main instructional examples.
• The material comes from Carnegie Mellon University coursework and uses the TIRx Python DSL for runnable kernel development.

U.S. government will decide who gets to use latest upgrade to ChatGPT

Key Points

• The Trump administration has increased oversight of the AI industry.
• The U.S. government will decide who can use the latest ChatGPT upgrade.
• The article describes this as a shift from an earlier laissez-faire AI stance.

What Is a Nomogram and Why Would It Interest Me?

Key Points

• Nomograms are graphical calculators that solve multi-variable formulas using aligned scales and a straightedge.
• They were invented by Philbert Maurice d’Ocagne in 1880 and were widely used before digital calculators.
• The article highlights PyNomo and reviews applications in engineering, medicine, ballistics, and statistics.

The "Bizarre Headgear" Exhibit at the Sam Noble Museum Is Incredible

Key Points

• The Sam Noble Museum opened a temporary exhibit focused on ceratopsian skull evolution and diversity.
• The exhibit features early and later ceratopsian specimens, including casts, skeletons, and reconstructions tied to published phylogenetic research.
• Artwork and sculptures by Shane Foulkes, Andrey Atuchin, and Mark Hallett are part of the exhibit presentation.

Gossamer: a Rust-flavoured language with real goroutines and pause-free memory

Key Points

• Gossamer combines immutable-by-default syntax, forward pipes, and modern typed-language features.
• It uses deterministic reference counting, arena regions, goroutines, typed channels, and an M:N scheduler.
• The toolchain supports VM/REPL development, LLVM native builds, browser execution via WebAssembly, and cross-platform targets.

The Art of Kite Flying (1430–1929)

Key Points

• The article links kite names across languages to long-standing cultural meanings and imagery.
• It presents multiple origin theories, including Chinese legends and evidence from Polynesian traditions.
• It shows that kites historically had religious, recreational, and military functions, not just amusement value.

Slisp: Simple Lisp compiler (Linux/amd64)

Key Points

• Slisp compiles Lisp programs into standalone Linux/AMD64 assembly output.
• It supports core Lisp features including lists, lambdas with closures, type checks, and a bundled standard library.
• The repository documents build, execution, functional tests, Go tests, fuzz testing, and explicit limitations such as no garbage collection or macros.

Made a Rust DB run spatial queries on gaming GPU RT cores, beating an H100

Key Points

• SedonaDB 0.4.0 adds RayBooster, enabling GPU-accelerated spatial joins on NVIDIA ray tracing hardware.
• The implementation uses GPU-oriented storage, a global BVH-based index, DE-9IM predicate evaluation, and memory-aware execution.
• Benchmarks in the article report major speedups and lower AWS costs, including some cases where an RTX 3090 beat an H100.

Aircraft crashes into Beijing's tallest skyscraper, triggering evacuations

Key Points

• A small aircraft struck Beijing’s tallest skyscraper, China Zun, triggering evacuations and emergency deployment.
• The plane was reportedly a Sunward SA 60L Aurora light sport aircraft, though official confirmation was still pending.
• The article highlighted police restrictions, removed social media posts, and Beijing’s unusually strict airspace controls.

Hightouch (YC S19) Is Hiring

Key Points

• Hightouch describes itself as a Series D startup using the post to outline its hiring message, culture, and expectations.
• The article lists core values including ambition, kindness, speed, empathy, impact, high performance, and humility.
• Benefits include remote-friendly work, multiple offices, health coverage, a wellness stipend, office support, and flexible PTO.

Pre-Modern Armies for Worldbuilders, Part III: Paying for It

Key Points

• Pre-modern military costs included both ongoing troop upkeep and major capital expenses such as ships, fortifications, artillery, and armories.
• The article argues that pre-modern military finance is best understood through the physical economy of labor and resources, not money alone.
• Maintaining armies required states to support non-subsistence labor by redirecting workers away from subsistence production.

Long Wave radio era set to end with Droitwich switch-off

Key Points

• The BBC is ending Long Wave transmissions from the Wychbold Masts, prompting preservation efforts.
• The Droitwich site has operated since 1934 and is described as having national broadcasting and wartime significance.
• The BBC cites ageing equipment, declining audiences, and the shift to FM and DAB as reasons for the shutdown.

Webradio server – broadcasts audio source to clients

Key Points

• tau-tower broadcasts audio from tau-radio to web clients as an embeddable web audio stream.
• The tool is meant for remote server deployment and includes installation, configuration, and build guidance.
• The streaming setup can optionally integrate Asciinema for terminal streaming and Caddy for proxy and TLS handling.

A C++ implementation of a fast hash map and hash set using hopscotch hashing

Key Points

• hopscotch-map is a header-only C++ hash table library using open addressing and hopscotch hashing.
• It provides multiple variants with different growth policies, including bounded versions with worst-case O(log n) behavior.
• The library supports advanced features such as heterogeneous lookup, stored hashes, and exception-free builds, while differing from std::unordered_map in iterator behavior.

A human postmortem of the 1996 AOL outage

Key Points

• The article revisits AOL’s 19-hour outage on August 7, 1996.
• It states that routine maintenance triggered the outage, despite similar past outages receiving less attention.
• It argues the event became major news because internet access was becoming essential to daily life, foreshadowing modern reliability concerns.

PlayStation Is Deleting 551 Movies from Customers' Accounts

Key Points

• Sony says 551 previously purchased StudioCanal titles will be removed from PlayStation users’ libraries on September 1.
• The company cites content licensing agreements as the reason and, according to the article, does not mention refunds or compensation.
• The article uses the removal as an example of how digital purchases can depend on platform licensing terms rather than permanent ownership.

The gap between open weights LLMs and closed source LLMs

Key Points

• A single benchmark projects open-weight and closed-source LLM parity around December 3, 2026.
• A broader 18-benchmark analysis shows the average gap staying close to five months rather than collapsing.
• Coding benchmarks account for much of the apparent catch-up by open-weight models.

Show HN: Autofit2 – End-to-end pipeline for multilingual text classification

Key Points

• Autofit2 automates preprocessing, fine-tuning, evaluation, and deployment for few-shot multilingual text classification.
• The article claims support for 50+ languages and high precision with only a few dozen labeled examples.
• The pipeline uses JSON configuration to control training, outputs deployable artifacts, and generates model cards with evaluation and bias details.

The National Parks Were Reportedly Told to Stay Silent on Deaths

Key Points

• A reported DOI memo bars staff from confirming deaths and injury severity in public communications across Interior agencies.
• DOI says the guidance is being mischaracterized and is intended to standardize communications while protecting families, privacy, and investigations.
• The article cites criticism from a former longtime NPS official and points to recent deaths in Yosemite and Sequoia that were not publicly posted on the NPS website.

We Can Still Stop California's 3D Printer Surveillance Scheme

Key Points

• AB 2047 was approved by the California State Assembly and would mandate surveillance and blocking software for 3D printers.
• Amendments removed criminal penalties for private resale but, according to the article, left open source users and developers facing restrictive compliance requirements.
• The article says the bill now relies on a weaker algorithm standard, third-party standard setting, and selective commercial carveouts such as one for the entertainment industry.

Reed-Solomon for OCR: error correction for messy printed codes

Key Points

• ReedSolomonForOcr applies GF(256) Reed-Solomon coding to OCR-based printed codes.
• The project uses a reduced OCR-safe alphabet to avoid look-alike character errors.
• Each parity byte is encoded as two OCR-safe characters, with APIs for encoding, validation, reconstruction, and correction.

Lippmann Photography

Key Points

• The article documents a dated but detailed workflow for making Lippmann photographic emulsion.
• It stresses precise temperature control, especially keeping the emulsion at or below 35°C during critical stages.
• The final emulsion is sensitized, hardened, and coated immediately because of its light sensitivity and thin consistency.

The open source DOCX editor submitted to HN a few weeks ago has been deleted

Key Points

• The reported Eigenpal DOCX editor repository and website appear to be unavailable.
• Commenters identify alternate repositories and mirrors that may preserve the source code.
• The thread references other DOCX editing tools, including tinycld, superdoc, and LibreOffice.

A Tiny Compiler for Data-Parallel Kernels

Key Points

• A tiny Python compiler lowers scalar loops into an explicit vector-style intermediate representation.
• The lowered form uses lanes, masks, masked loads, and masked stores to represent parallel execution safely.
• The compiler relies on classifying expressions as uniform or varying to determine how loop values behave across lanes.

Why does kinetic energy increase quadratically, not linearly, with speed? (2011)

Key Points

• The article derives quadratic kinetic energy using Galilean invariance and conservation of energy across reference frames.
• It defines kinetic energy through heat generated in clay-ball collisions rather than through mechanical work alone.
• A second argument links quadratic kinetic energy to linear gravitational potential energy in height and constant acceleration near Earth’s surface.

AI in Mathematics Is Forcing Big Questions

Key Points

• The article examines how AI may change mathematics by reducing the need for slow, traditional problem-solving.
• Mathematicians quoted in the piece describe understanding itself as a core motivation for doing mathematics.
• Current AI advances are framed as part of a longer history of computer-assisted mathematics, including the four-color theorem proof.

Show HN: DBOSify – Drop-in Temporal replacement built on Postgres

Key Points

• DBOSify replaces Temporal Python’s server dependency with a Postgres-backed DBOS runtime.
• The system uses deterministic replay and Postgres checkpointing for durable execution and recovery.
• It is tested for Temporal Python compatibility but does not support gRPC interoperability or Temporal’s UI and CLI tools.

Om

Key Points

• Om Malik died after a long heart condition, according to the article.
• He remained influential enough to keep receiving Apple media invitations after leaving daily journalism.
• His 2014 move to True Ventures marked a shift away from the 24-hour news cycle, influenced in part by a 2008 heart attack.

Making Sense of Proof by Contradiction [pdf]

Key Points

• The article argues that the standard √2 irrationality proof is a subtle and potentially poor first example of proof by contradiction.
• It proposes the irrationality of log10 2 as a simpler teaching example because the contradiction follows directly from factorization.
• The article explains that these proofs depend on structural relationships between numbers, especially whether one is a rational power of another.

Show HN: Hacker News on a Train Station Style Flip Board

Key Points

• The board visualizes the top 20 Hacker News stories as a split-flap departures board.
• A Quickish Cloud Function provides scheduled live updates and broadcasts them to open boards.
• The interface supports configurable timing, optional visitor headline editing, and token-based scripted headline updates.

Hellishly Slow Level 13 Deflate Compression

Key Points

• DEFLATE level 13 keeps standard format compatibility while greatly increasing encoder work to reduce output size slightly.
• The implementation expands parse, Huffman, and block-splitting search while bounding optimization with explicit caps.
• On the Silesia corpus, it improves compressed size by 0.134% over libdeflate level 12 at a 56.4x time cost.

Fusion Programming Language

Key Points

• Fusion translates one codebase into libraries for 10 target languages, including C, Java, Python, Swift, and TypeScript.
• The article demonstrates the workflow with a `HelloFu` example and a single `fut` command generating multiple outputs.
• Generated code is described as lightweight, human-readable, dependency-free, and adapted to each target language's conventions.

WordStar: A Writer's Word Processor (1996)

Key Points

• The article presents WordStar for DOS as a writing tool still preferred by Robert J. Sawyer and other professional authors.
• It explains that WordStar’s interface was shaped by the limitations of non-standard computer keyboards in 1978.
• The article credits Seymour Rubinstein and Rob Barnaby with designing an ergonomic control-key command system for efficient writing.

Kamod Hooks – a Preact hooks library ported from ahooks

Key Points

• Kamod Hooks is a Preact-specific hooks library focused on typed, tree-shakeable, production-ready usage.
• The project advertises 78 documented hooks, 81 live demos, and no runtime dependencies in core.
• Its docs are organized around setup guidance, live demos, exact API signatures, and source snippets for implementation.

Ask HN: MacBook vs. Dedicated GPU for LLM

Key Points

• The post asks how MacBooks compare with dedicated GPUs for running LLMs.
• It also asks how to judge whether a MacBook can run a particular model.
• The article content is only the question itself, with no built-in answer or analysis.

Foreign funds help make housing unaffordable: research

Key Points

• Foreign investment is identified as one contributor to higher U.S. housing prices in the 2010s.
• The research finds U.S. housing supply responded weakly to rising prices from 2009 to 2018.
• City-level zoning and permitting policies are presented as major factors in housing supply elasticity.

Show HN: Turn images into audio that can be decoded with a spectrogram

Key Points

• The app converts images into audio that can later be decoded through spectrogram visualization.
• It supports multiple image, audio, and video formats and includes a spectrogram player.
• Users can adjust settings such as duration, frequency, and density when generating the output.

Anatomy of a Failed (Nation-State?) Attack

Key Points

• A fake recruiter/investor persona was used to deliver a malicious interview repository.
• The suspicious repo was flagged through anomalies in TypeScript project packaging and patch files.
• The incident was reported to Canadian agencies, and the payload was reportedly undetected on VirusTotal.