AI Summarized Hacker News
Front-page articles summarized hourly.
A discovered three-page Schrödinger manuscript from 1944, found in an Austrian archive, reveals his unpublished response to the hidden-variable debate. Building on Whittaker’s critique of von Neumann, Schrödinger proposed a deterministic hidden-variable model where a photon's hidden variable and the polarizer angle reproduce quantum probabilities, plus a rule for updating the variable after each measurement. He did not advocate determinism as fact, arguing that experimental evidence and logic cannot prove either side. The manuscript challenges the view that Schrödinger dismissed determinism and shows his lifelong nuanced view on quantum reality.
HN Comments
Argues for Zig Traits as compile-time type contracts, bridging dynamic interfaces and comptime duck typing. Traits are compile-time structs of related functions over a type, enabling monomorphized, inlined abstractions in hot loops while preserving explicit contracts. Demonstrates with a Num-based Mobius example, and introduces helpers like impl and getTrait, trait functors, and OCaml-like module parallels. Defines common traits (Into/From, Index, Iterator/Iterable) and discusses limitations (no associated types, type erasure issues) and risk of code bloat. Encourages using traits for explicit, static dispatch in Zig 0.17.
HN Comments
Dynamic languages model objects as maps of attribute names to values, often via a hash table. This sketch discusses maps/shapes that store an object’s layout (offsets) and support in-line storage, enabling faster reads/writes. An inline cache caches the object’s map and attribute index to skip repeated lookups; if attributes change, a new map is created. Maps are immutable and shared across instances, with shapes evolving as attributes are added. The piece surveys related work and includes a small C++ prototype to illustrate the idea.
HN Comments
OnKey is a free, open-source Mac singing trainer that listens to music you play (via Spotify, Apple Music, or YouTube) and learns the lead melody after one pass. It then shows scrolling notes with a pitch overlay and a per-lines score/report as you sing. All processing runs locally on Apple Silicon Macs (macOS 14.2+); it doesn't save audio and requires no account. It uses CREPE, GAME, wav2vec 2.0, and MDX-Net Karaoke 2 for melody learning, and is MIT-licensed. Build from source with Rust, Node, and Python.
HN Comments
Chrome's HTML-in-Canvas API lets DOM content be rendered inside a <canvas> while remaining interactive and accessible, combining DOM's text/layout with low-level graphics. It enables UI elements to exist in WebGL/WebGPU scenes and be indexed, searched, and extended by browser tools, with live DevTools inspection. Use cases include large canvas apps and interactive 3D UIs. It’s in origin trial for Chrome 148–150 (experimental). To try, enable Chrome Canary and flag, then set canvas layoutsubtree, size for devicePixelRatio, render DOM into the canvas (2D/WebGL/WebGPU), and synchronize transforms. Limitations: no cross-origin iframe content; main-thread scrolling.
HN Comments
Article tests how Fable 5.1 hides messages in SVGs and whether a separate decoder can read them from a rendered PNG without SVG code. In 50 messages, Fable used five encoding families, dominated by height encoding (letters mapped to the height of buildings left-to-right). Other schemes use skyline features, colors, or decor. A decoder extracts coordinates, finds a rule, and maps vertical positions (multiples of 5) to letters to yield English sentences (example: THE MONSTER ACTS ON THE MOONSHINE MODULE). Cross-model decodings with GPT-6 Astra showed high recovery: Fable/Fable 39/50; Fable/Astra 44/50; Astra/Fable 42/50; Astra/Astra 42/50. Implications for steganography.
HN Comments
Local Wikipedia is a geocoded, local-only version of Wikipedia for places within roughly a half-hour walk of you. It pulls content directly from Wikipedia but restricts to nearby items; if fewer than 25 results exist, it shows the closest 25 within about 6 miles; if more than 500, it shows only the 500 closest. Your location stays in the browser and shared links don’t reveal it. It has no affiliation with the official Wikipedia. The site offers a Main page, Random article, A–Z index, and area search options.
HN Comments
Robert A. Heinlein’s This I Believe affirms faith in ordinary decency: trustworthy neighbors, doctors, and townspeople; hardworking craftsmen; honest public servants; and the human race as a whole despite crime headlines. He praises nurses, teachers, and quiet acts of goodness that sustain communities. He believes humanity will endure and eventually reach the stars, carrying honesty, curiosity, courage, and decency.
HN Comments
Amanda Smith, who says she never used CashApp, was arrested in Pennsylvania on a computer-fraud warrant tied to a scam that used her Social Security number and date of birth to open a CashApp account controlled by the scammer. The account was used to receive $1,000 from a Facebook Marketplace buyer, in a scheme traced to Arkansas. CashApp refuses to provide information because she cannot prove ownership, leaving her to defend herself in a Kafkaesque pursuit.
HN Comments
An Asus Zenbook Pro 17 rebooted after sleep due to MediaTek MT7922 Wi‑Fi driver failing during Windows Modern Standby’s low‑power transition, causing crashes and battery drain. Event logs show 1033 and 507 errors, leading to thermal shutdown and reboot. The author fixed it by disabling Power Saving for the MT7922 in Device Manager > Properties > Advanced > Power Saving. This prevents the driver from entering sleep, avoiding the crashes, though a proper MT7922 driver update would be ideal. The issue persisted for years; now system remains stable for weeks.
HN Comments
Could not summarize article.
HN Comments
The Secret Life of Circuits is now in stock globally, including Amazon (Europe sites), Barnes & Noble, and other US/Canada retailers. The author notes the book has been tested to be free of AI slop and asks readers with Amazon accounts to leave honest reviews to boost the recommendation algorithm amid AI-generated competition and title-squatting.
HN Comments
EWD 667 argues natural-language programming is misguided. High‑level languages reduce errors, but a machine remains a nonsensical automaton if fed nonsensical instructions. Letting native tongues drive programming would increase the burden on both sides, so narrow interfaces are preferable. History shows the danger of verbal notation: Greek math faltered, Muslim algebra faded, while formal symbolism—Vieta, Descartes, Boole—enabled progress. Formal notation, with few rules, prevents nonsense and makes complex reasoning teachable. The New Illiteracy warns against natural-language programming; programming in natural tongues would be as hard to create as to use.
HN Comments
Color Names is a community-driven collection of 31,970 human-authored color names. Free to use under the MIT license, available as an npm package or via API. The project invites support through “Adopt a color” sponsorships from $5, with the adopter’s name on the color; each color can be adopted only once.
HN Comments
Could not summarize article.
HN Comments
A look at building a container runtime reveals Docker’s oddities: containers aren’t real machines but restricted processes; the host kernel still runs them, visible in /proc. There’s no single 'container' feature—containers boil down to multiple Linux primitives (namespaces, cgroups, networking). Images are folders that Docker chroots/pivot_roots to become the container’s root. docker run ubuntu /bin/bash downloads the image, stores it, and starts bash. Go is awkward for runtimes; runc uses a pre-runtime C shim to handle syscalls; Go lacks fork. Docker often runs as root; rootless networking is tough. Building your runtime is a good way to learn Docker.
HN Comments
Plant biologist Nick Desnoyer designs non-natural flowers by combining breeding, mutations, and genetic engineering. His Paintunia project turns a petunia into a living pigment canvas, using inducible genes activated by dexamethasone to produce cyan, magenta, and yellow pigments; future goals include multiple inducible pathways and pigment blends. He contrasts breeding (accessible, traditional) with bioengineering (accessing non-natural genes from other organisms) and describes using Arabidopsis micro-roses as a stepping stone. In Petunia, he exploits transposon-induced and gene-silencing patterns to create patterns; discusses tissue culture, Agrobacterium transformation, CRISPR, and mutagenesis. He envisions a public 'flower design studio' and educational garden.
HN Comments
Robby Deming highlights Florian Winkler’s Stars & Constellations of the Northern Hemisphere, a detailed map built from Stellarium, the HYG Database, and W. H. Finlay’s Concise Catalog of Deep-sky Objects. Using a stereographic projection centered on Polaris, it labels stars, constellations, and Messier objects by brightness and variability, with positions shown by right ascension and declination and the ecliptic drawn through the center. The map blends ancient celestial knowledge with modern cartography to evoke wonder while guiding the viewer through Orion, Ursa Major, and more.
HN Comments
Anthropic's Frontier team reports that large language models (Claude) can autonomously generate formal proofs of software properties at scale, enabling practical formal verification for real code. By converting fuzz tests into specs and proving memory-safety/non-crash properties on RISC-V binaries running Linux, Claude validated properties across 239 entry points in 123 OSS-Fuzz libraries, patching bugs along the way. Proofs rely on Rocq and Theorem's RISC-V/Linux semantics; the effort shows proofs can be reused toward broader architectures (x86, glibc) and larger codebases. Limitations include machine-model gaps and that 'formally verified' does not guarantee bug-freedom.
HN Comments
Imprint reports faster PR throughput (avg 4x, up to 10x on some teams) and fewer incidents (down 42% and 78% for critical). PR review time rose from 33 to 77 minutes as volume grew. They pilot "small-change" to speed reviews: PRs <1000 LOC, no high-severity AI findings, author with 10+ merged PRs in the service, limited cross-service impact; per-repo .small_change rules; Slack reacji. They built automation to approve or cluster reviews. About 10% of changes qualify; approvals are fast unless flags appear. The approach is experimental, with fleet as a central harness and ongoing verification improvements.
HN Comments
Made by Johno Whitaker using FastHTML