Tech News

We just released a collection of popular songs with music sheets that show a letter on each note, which makes playing much easier when you're just starting out. Play any song with the built-in player, or switch to piano view and follow the falling notes. You can also create your own music sheets with our Music Letter Notes app. Enjoy!

Toyota is reviving its Scion brand with an unusual lineup for the American market. The relaunched Scion plans to sell a kei truck, a bike, and a hybrid side-by-side.

AlphaProof Code agents generated over three million lines of machine-checked Lean proofs to verify Signal’s core cryptographic protections down to the machine-instruction level. The effort aims to provide formal assurance for critical cryptographic code.

Gemini 4 Carbon is now available to developers, enterprises, scientists, and consumers. The release expands access to the new model across both professional and consumer use cases.

Two Amazon engineers replaced Claude Sonnet 4.6 with the Strands Decider decision model in one of the company’s largest internal ticketing systems. The swap is reportedly saving Amazon millions of dollars.

Blender 5.3 has been released, adding Gaussian splat support alongside DLSS denoising, light dispersion, EEVEE fisheye, Outliner sorting, and ripple video editing. The update brings a broad mix of rendering, workflow, and video-editing improvements.

Fable 5.2 reportedly generated a complete, multi-level game in a single attempt, bringing a user’s nephew’s dream game to life. The result suggests LLMs can now produce full playable games that are genuinely fun.

Val Town, a platform for building and deploying JavaScript functions, is winding down. The company announced the closure with a brief message thanking users for building with it.

Starlink Mini 2 offers fast, reliable internet at home and on the go, supporting streaming, video calls, gaming, and more. It is designed to maintain high-speed connectivity even in the most rural and remote locations.

Verisign has retracted its plan to terminate 22,000 existing third-level .name domains and email redirects after a long, expensive battle. Existing domains and redirects will remain indefinitely, though new third-level registrations will be closed. The reversal follows criticism that the original plan would have harmed consumers and broken trust in domain registrations.

Development work on DisplayLink drivers has stopped after Synaptics asserted patent claims, affecting users of docking stations built around DisplayLink chipsets. The dispute leaves owners of such docks facing uncertainty over future driver support and compatibility.

Google Chrome has released modern-web-guidance, a resource designed to keep coding agents aligned with current web best practices instead of outdated ~2019 JavaScript. The Show HN project aims to steer AI coding assistants toward modern web primitives so generated code follows up-to-date standards.

Palantir has hired former Democratic Sen. Jon Tester as it faces scrutiny in the new Congress. Tester said perception is reality in Washington and that Palantir has a good story it needs to tell. The move drew criticism in reader discussion as an example of the political revolving door.

A curious archive can be created with a single GNU tar invocation but extracts in eight distinct ways depending on which tool is used. The demonstration highlights how tar format quirks and implementation differences can produce wildly different results from the same file.

A reader discussion around Terence Tao’s “Six Math Essentials” points to a video interview in which Tao explains six essential mathematical concepts, while noting that his long-listed Cosmic Distance Ladder book remains in preparation. Some early readers describe the new book as quite basic for STEM graduates but a solid introduction to the philosophy of mathematics, and commenters defend its appeal as a brilliant mathematician’s take on fundamentals rather than an introductory textbook.

A new report warns consumers against buying current AR glasses, citing a frustrating user experience dominated by pop-up notifications and ads. It argues these constant interruptions make the devices impractical for everyday use.

A home automation veteran argues that smart home devices should work without internet access, with a core rule that nothing in the house should depend on a vendor’s server. After ten years of experience, they share the rest of their rules and both of their talks slide by slide.

Claude now offers Whiteboards for shared brainstorming, Sheets for building spreadsheets, and Data for sharing team dashboards. All three features are available today on every paid Claude plan.

Ableton Live 13 is coming with new experimental sound design tools, precision mixing effects, and workflow improvements. The update aims to help producers bring their ideas into focus more easily.

Apple is reportedly developing a new Mac app designed to make running local AI models easy. Evidence of the app was discovered by leaker Aaron Perris, suggesting Apple may simplify local AI model use on macOS.

A report titled “Your TV can see through walls” sparks discussion about how everyday devices can be used for surveillance, from fiber-optic cables that pick up sound-induced light changes to WiFi/LTE sensing and sensitive security-camera microphones that can reveal activity inside a home. Commenters note this extends a long history of side-channel snooping such as CRT emissions and Van Eck phreaking, and warn that phones and connected gadgets already make location and activity tracking hard to avoid.

A new Show HN project called HolyArrs offers a 15 MB self-hosted app that combines TV shows, movies, and music in one media server interface. It aims to deliver a Netflix- and Spotify-like experience for personal media libraries.

Seven months into Project Glasswing, VulnCheck has tracked 442 Anthropic-attributable CVEs—about 0.5% of all CVEs published this year—with only two exploited in the wild. Of 37,966 reported findings, just 7,349 (19.4%) are public and only 217 have been marked fixed.

CoreWeave’s bond yield has climbed above 16%, highlighting rising stress in AI debt markets as investors grow concerned about a potential data center slowdown. The steep yields reflect broader worries about AI-related credit risk and what may come next for heavily indebted infrastructure players.

Microsoft has published a Process Explorer for macOS project on GitHub under its official repository. The tool brings Process Explorer-style system and process monitoring to Macs, and Microsoft is inviting developers to contribute to its development.

Approved July 2, 1890, the Sherman Anti-Trust Act was the first federal law aimed at curbing monopolistic business practices. It marked a foundational step in U.S. competition policy by targeting trusts and other combinations that restrained trade.

Expo has introduced Exact, a new cross-platform UI framework. The project is hosted on GitHub, where developers can contribute to its development.

Queens Public Library is responding to a ransomware incident that has suspended e-borrowing and left much of its online access unavailable. Discussants questioned why attackers would target a public library with limited funds, but noted that ransomware operations are often automated and indiscriminate, encrypting first and negotiating later. The attack underscores how opportunistic cybercrime can disrupt even modestly resourced public institutions.

A new Show HN project offers an isometric pixel-art map of Valencia, Spain, painted block by block. Users can zoom from the Micalet tower to the beach in a SimCity-style view.

A new piece profiles the “sad wives of AI,” women married to men whose obsession with artificial intelligence strains their relationships. It frames the phenomenon with dark humor, asking readers if they’re married to an AI-obsessed man and offering mock sympathy.