Super HN

New Show
31. MCP Apps just dropped (OpenAI and Anthropic collab) and I think this is huge
Today we’re introducing the proposal for the MCP Apps Extension (SEP-1865) to standardize support for interactive user interfaces in the Model Context Protocol. This extension addresses one of the most requested features from the MCP community and builds on proven work from MCP-UI and OpenAI Apps SDK - the ability for MCP servers to deliver interactive user interfaces to hosts. MCP Apps Extension introduces a standardized pattern for declaring UI resources, linking them to tools, and enabling bidirectional communication between embedded interfaces and the host application.
32. Google Revisits JPEG XL in Chromium After Earlier Removal
Google has resumed work on JPEG XL support in Chromium after removing it three years ago. A developer says the current version is feature complete and under review.
33. China Reaches Energy Milestone by "Breeding" Uranium from Thorium
34. The realities of being a pop star
According to my experience...
35. Tektronix equipment has been used in many movies and shows
36. Parallel Threads in Racket v9.0
posted by Matthew Flatt, Ryan Culpepper, Robby Findler, Gustavo Massaccesi, and Sam Tobin-Hochstadt With the version 9.0 release, Racket includes support for shared-memory threads that can take advantage of multicore hardware and operating-systems thread...
37. Windows ARM64 Internals: Deconstructing Pointer Authentication
Explore how Windows implements Pointer Authentication (PAC) on ARM64—covering bootloader setup, per-process keys, HyperGuard, and memory-safety defenses.
38. Kodak Ran a Secret Nuclear Device in Its Basement for Decades
Beneath Kodak’s labs in Rochester, New York, a nuclear reactor advanced science for decades. The truth about the device is stranger—and tamer—than you may expect.
39. Simplifying Cluster-Wide PostgreSQL Execution with Exec_node() and Spock OSS
In the evolving landscape of distributed databases, efficient query execution across nodes is essential to leverage the full power of a distributed architecture.
40. Garibaldi, History's Sexiest Revolutionary?
Giuseppe Garibaldi’s courage and charisma made him a hero of Italian unification in the 19th century. Here’s how he became a celebrity who captivated the world
41. Ask HN: Looking for a donated PC or laptop for freelance work
42. Agent Design Is Still Hard
My Agent abstractions keep breaking somewhere I don’t expect.
43. Microsoft Will Preload Windows 11 File Explorer to Fix Bad Performance
44. Digital echoes: open bus behavior on the compact Macintosh
While working on Snow, my vintage Macintosh emulator, I came across an interesting conflict in expectations of applications with regards to open bus behavior on these systems. In this article I’ll explain what open bus behavior is, how a compact Macintosh (the 128K, 512K, Plus, SE and Classic) behave and how this affects some applications.
45. Kids who own smartphones before age 13 have worse mental health outcomes: Study
Children, especially girls, who use smartphones before they are 13 years old may have worse mental health outcomes when they’re older, a new study suggests.
46. A Reverse Engineer's Anatomy of the macOS Boot Chain and Security Architecture
1.0 The Silicon Root of Trust: Pre-Boot & Hardware Primitives The security of the macOS platform on Apple Silicon is not defined by the kernel; it is d...
47. The Connectivity Standards Alliance Announces Zigbee 4.0 and Suzi
DAVIS, California – November 18, 2025 – The Connectivity Standards Alliance (Alliance) announced today the release of Zigbee 4.0 and Suzi, the new brand for…
48. Moss Survives 9 Months in Space Vacuum
Mosses are already known for coping with harsh radiation, dehydration, and long freezes. Now scientists have pushed them even further by exposing their spore
49. TiDAR: Think in Diffusion, Talk in Autoregression
Abstract page for arXiv paper 2511.08923: TiDAR: Think in Diffusion, Talk in Autoregression
50. Terence Tao: At the Erdos problem website, AI assistance now becoming routine
Over at the Erdos problem website, AI assistance is now becoming routine. Here is what happened recently regarding Erdos problem #367 https://www.erdosproblems.com/367 : 1. On Nov 20, Wouter van Doorn produced a (human-generated) disproof of the second part of this problem, contingent on a congruence identity that he thought was true, and was "sure someoneone here is able to verify... does indeed hold". 2. A few hours later, I posed this problem to Gemini Deepthink, which (after about ten minutes) produced a complete proof of the identity (and confirmed the entire argument): https://gemini.google.com/share/81a65aecfd70 . The argument used some p-adic algebraic number theory which was overkill for this problem. I then spent about half an hour converting the proof by hand into a more elementary proof, which I presented on the site. I then remarked that the resulting proof should be within range of "vibe formalizing" in Lean. 3. Two days later, Boris Alexeev used the Aristotle tool from Harmonic to complete the Lean formalization, making sure to formalize the final statement by hand to guard against AI exploits. This process took two to three hours, and the output can be found at https://borisalexeev.com/t/Erdos367.lean EDIT: after making this post, I decided to round things out by making AI literature searches on this problem, which (after about fifteen minutes) turned up some related literature on consecutive powerful numbers, but nothing directly relating to #367. https://chatgpt.com/share/6921427d-9dc0-800e-b798-be8fc94a9240 https://gemini.google.com/share/0d296454bea0
51. Personal blogs are back, should niche blogs be next?
Personal blogs are back, should niche blogs be next? Might good old fashion niche blogs be the solution to rampant social media misinformation, AI slop, and more?
52. Helping Valve to Power Up Steam Devices
Igalia is an open source consultancy specialised in the development of innovative projects and solutions. Our engineers have expertise in a wide range of technological areas, including browsers and client-side web technologies, graphics pipeline, compilers and virtual machines. We have the most WPE, WebKit, Chromium/Blink and Firefox expertise found in the consulting business, including many reviewers and committers. Igalia designs, develops, customises and optimises GNU/Linux-based solutions for companies across the globe. Our work and contributions are present in many projects such as GStreamer, Mesa 3D, WebKit, Chromium, etc.
53. Cryptographers Held an Election. They Can't Decrypt the Results
54. Superman copy found in mum's attic is most valuable comic ever at $9.12M
It's a bird! It's a plane! It's a new record after Man of Steel comic found in a California home is auctioned.
55. How to See the Dead
A retinal implant designer must decide if translating mourning into light is progress or a refusal to let go.
56. Gwern's "Stem Humor" Directory
Bibliography for directory math/humor, most recent first: 3 related tags, 178 annotations, & 66 links ().
57. Unicode Binary Input Terminal
An input device to enter any Unicode character over USB, in style
58. An Economy of AI Agents
Abstract page for arXiv paper 2509.01063: An Economy of AI Agents
59. McDonald's is losing its low-income customers: a symptom of the wealth divide
These customers are feeling the pressures of higher prices on groceries and apparel and the growing costs of rent and child care, the company's chief executive said in a recent earnings call.
60. Sum Types in Julia and Rust