← Nov 10Wednesday, November 11, 2026 · all days
1.Smart home devices should work without the internet(docodethatmatters.com)
1134 points by skittleson 1 day ago | 425 comments | permalink
tl;dr: A homeowner shares a decade of rules for building a smart home that doesn't depend on vendor clouds: core functions (lights, locks, temperature) must work with the internet unplugged, old manual controls stay in place, and devices communicate locally via MQTT with Tasmota on ESP boards and Node-RED on a Raspberry Pi. The post compiles two talks plus reader feedback about absurd internet dependencies (fridges needing apps, TVs that won't switch inputs offline, a meat thermometer bricked when its company folded) and practical fixes like Zigbee/Z-Wave, Tailscale, and open-source firmware replacements.
HN Discussion:
  • ↑Shares personal success stories of running local-only smart home setups with legacy or DIY systems
  • ↑Advocates even stricter rules requiring devices to work without any network or server at all
  • ↑Recommends specific tools and protocols like Home Assistant, Zigbee/Z-Wave, and open-source firmware replacements
  • ~Notes the barrier to entry is high but worth it once you start experimenting with local automation
  • ↑Hopes consumer demand and a catchy movement name could push the industry toward local-first design
2..name Grandfathered(neil.fraser.name)
918 points by p4bl0 1 day ago | 203 comments | permalink
tl;dr: Verisign has reversed its plan to terminate 22,000 third-level .name domains and email redirects after a sustained campaign by affected users, lawyers, and ICANN insiders. While new third-level .name registrations will be closed, all existing domains and email forwards will be retained indefinitely.
HN Discussion:
  • ↑Celebration of the reversal as a victory for user activism
  • ↑This outcome (grandfathering existing users while closing new registrations) is the obvious correct approach
  • ~Frustration from users who already gave up their domains due to the original shutdown announcement
  • •Questioning why Verisign wanted to shut it down given presumably low operating costs
  • •Skepticism about whether Verisign's promise is binding or just an announcement
3.Scion is back and is going to sell a kei truck in America(theautopian.com)
553 points by NaOH 1 day ago | 394 comments | permalink
tl;dr: Toyota is reviving the Scion brand as "Scion by Toyota," positioning it as an experimental "freedom lab" for unconventional mobility concepts. Its first production vehicle is the KEI-01, a rebadged Daihatsu Hijet kei truck certified as a low-speed vehicle (capped at 25mph) with a 600-lb payload and 4WD, launching in late 2027 as a fleet-only pilot program. The lineup also includes two non-production concepts: a hybrid SxS off-road ATV with ~300hp from a Tacoma turbo-four, and the BKE personal mobility vehicle.
HN Discussion:
  • ↓The 25mph speed limit makes the truck impractical for commuting, errands, or non-farm use
  • ↑Kei trucks are pragmatic, capable farm/utility vehicles worth celebrating in the US market
  • ↑US roads are designed for higher speeds making kei trucks unsafe for general street use
  • ↓Better alternatives exist via direct import of Japanese kei trucks or other small truck options
  • ~The launch validates demand for kei trucks in the US even if this specific model is flawed
4.Apple has new Mac app coming to make running local AI models easy(9to5mac.com)
512 points by linolevan 1 day ago | 520 comments | permalink
tl;dr: Apple is reportedly developing a Mac app called Harbor, discovered by leaker Aaron Perris, that turns Macs into private AI inference servers for running open-weight models locally on Apple silicon. The app supports clustering multiple Macs over Thunderbolt 5 to pool unified memory, allowing larger models and higher concurrency than a single machine could handle. Harbor is currently in private preview under Apple's Claris brand, with a public release expected in the coming months.
HN Discussion:
  • ↑Apple is positioned to win the AI race through efficient local models on their silicon
  • ↓Concerned the app will be bloatware or non-removable, adding unwanted gigabytes to Macs
  • ↑Would welcome vendor-supported solution as improvement over existing tools like Ollama/LM Studio
  • ↑Thunderbolt 5 clustering for pooled memory is the key differentiator from existing solutions
  • ~Questions the value of running large local models versus specialized smaller models
5.Six Math Essentials(teorth.github.io)
326 points by digital55 1 day ago | 58 comments | permalink
tl;dr: Terence Tao's forthcoming book *Six Math Essentials* (Quanta Books, November 10, 2026; UK edition from Pelican, October 27, 2026) is a slim 128-page introduction to six foundational mathematical concepts: numbers, algebra, geometry, probability, analysis, and dynamics. The Fields Medalist frames each as a lens for understanding the modern world—from quantitative thinking and abstraction to uncertainty, scale, and change. Available in hardcover, e-book, and audio formats.
HN Discussion:
  • ↑Enthusiastic endorsement after reading, praising it as well-written overview for laypeople and STEM
  • ↓Book is too basic and offers little value for those with STEM backgrounds
  • ↓Disappointment that this may have replaced the anticipated Cosmic Distance Ladder book
  • ↓Sample content is unimpressive, lacking figures and seemingly aimed at children
  • •Questions about target audience, scope, and comparison to other intro math books
6.Synaptics patent claims stop work on DisplayLink drivers(lwn.net)
480 points by speckx 1 day ago | 266 comments | permalink
tl;dr: Linux developer Mike Lothian attempted to write an improved Rust-based DRM/KMS driver (Vino) for his DisplayLink dock after the vendor's proprietary binary kept crashing, but Synaptics responded with cease-and-desist letters citing 125 patents and threatening $25,000/week in escalating penalties. Although Synaptics is an Open Invention Network member, OIN determined its protections don't apply because codecs are explicitly excluded from its Linux System Definition. Lothian has taken down the repository and shelved upstream submission, unable to afford a legal defense—a reminder that software patents remain a serious threat to open-source development.
HN Discussion:
  • ↑Synaptics' cease-and-desist demand for monetary compensation is absurd and legally baseless
  • ↑DisplayLink technology is outdated and inferior to modern Thunderbolt/USB-C DP alt mode alternatives
  • ↑Personal experience confirms DisplayLink drivers are buggy and unreliable on Linux
  • ↑Reverse engineering should not legally constitute patent infringement given patents require public disclosure
  • •Possible defense resources exist, such as GitHub's patent troll defense fund or onsemi acquisition context
7.Starlink Mini 2(starlink.com)
500 points by robertjfclarke 1 day ago | 573 comments | permalink
tl;dr: Summary not available
HN Discussion:
  • ↓International roaming restrictions have ruined Starlink's usefulness for frequent travelers
  • ↑Starlink has transformed remote work industries like mining with instant connectivity
  • ↑Mini 2's compact form factor enables new use cases like live sports broadcasting
  • •Starlink should offer better B2B/IoT fleet management options
  • •Questions and observations about hardware improvements like USB-C, battery swap, and power consumption
8.AlphaProof Code(deepmind.google)
668 points by ilreb 1 day ago | 195 comments | permalink
tl;dr: Google DeepMind used a new agentic framework called AlphaProof Code to formally verify the implementation of Signal's cryptographic protocol, generating over 6 million lines of Lean proofs in four weeks—a task that typically takes expert teams years. The system had humans define specifications while AI agents produced the proofs, flagging only ~1% of the codebase for human review, and successfully detected two reintroduced known bugs. DeepMind is open-sourcing the verification artifacts.
HN Discussion:
  • ↓Skepticism that zero bugs were found suggests theorems may be too narrow or incorrect
  • ~AI-generated Lean proofs can cheat and need adversarial review to be trustworthy
  • ↑This is a promising use of AI that could make software dramatically safer in the future
  • •Curious how this approach compares to other similar AI formal verification efforts
  • •Questions about applicability of AI formal verification beyond cryptographic systems
9.Val Town is winding down(blog.val.town)
417 points by tosh 1 day ago | 100 comments | permalink
tl;dr: Val Town is shutting down, citing inability to compete in cloud computing. Billing is paused immediately, with new signups ending today, read-only mode starting Dec 10, 2026, all services ending Jan 10, 2027, and the platform being open-sourced Feb 1, 2027. The team has provided migration guides to Cloudflare, Vercel, Netlify, and Render, and will issue partial refunds for annual plans.
HN Discussion:
  • ↑Building a business in the end-user programming/dev platform space is inherently very difficult
  • ↑Val Town's dependence on Deno made its demise predictable after Cloudflare acquisition
  • ↑Sadness and personal appreciation for the team's craft, values, and transparency
  • •Confusion about what Val Town actually was and its unique value proposition
  • •This reflects a broader trend of devtools companies closing or being acquired
10.Tracking Anthropic-discovered vulnerabilities(vulncheck.com)
447 points by panic 1 day ago | 218 comments | permalink
tl;dr: Seven months into Anthropic's Project Glasswing, only 442 CVEs have been attributed to it (0.5% of 2024 CVEs), with just 2 exploited in the wild and only 217 of 37,966 findings marked fixed—while duplicates (1,654) now outnumber fixes nearly 8-to-1. Anthropic's new OSS Scanner shifts triage burden to maintainers, and early results from curl show a 55.9% false positive rate on published reports, contradicting Anthropic's claimed 94.2% true positive rate.
HN Discussion:
  • ↓Personal experience shows Anthropic's reports are high-quality with no false positives
  • ↓Public CVE data is unrepresentative because serious bugs are found in private codebases
  • ↓Article's analysis is flawed because it only looks at public/disclosed subset of findings
  • ↓Low exploitation rate reflects successful preemptive patching, not fake vulnerabilities
  • ↑AI-generated reports overwhelm maintainers with mostly unimportant bugs
11.Show HN: Get your coding agent off ~2019 JavaScript, onto modern web primitives(github.com)
423 points by paulirish 1 day ago | 140 comments | permalink
tl;dr: Modern Web Guidance is a CLI-based skill (stewarded by Chrome, Edge, Firefox, and MDN teams) that injects curated, token-efficient guidance on ~250 modern web platform features into coding agents' context windows, steering them away from legacy JS patterns toward native browser APIs with responsible fallbacks and Baseline-aware compatibility data. It works via local semantic search (offline, no API keys) and installs across Claude Code, Codex, Copilot, Antigravity, and others. Published evals show significant uplift—e.g., Claude Opus jumping from 57% to 88% task pass rate, and Gemini from 58% to 94%.
HN Discussion:
  • ↓Tool promotes Chrome-only features not supported in Firefox/Safari, worsening browser monoculture
  • ~Suggests distribution improvements like a plain markdown index for grep-based agent access
  • ↑Enthusiastic support for steering agents away from legacy patterns like React
  • ~Concerns about practical costs and token usage when using the skill
  • ↓Skeptical of AI-driven 'best practices' and prefers legacy code to preserve backwards compatibility
12.Claude Whiteboards, Claude Sheets, and Claude Data(claude.com)
280 points by Yorothegoat 1 day ago | 216 comments | permalink
tl;dr: Anthropic launched Claude Whiteboards (collaborative brainstorming boards) and Claude Sheets (AI-generated spreadsheets with formulas and formatting) in beta, while Claude Dashboards is now generally available as Claude Data, adding certified queries, live sharing, caching, and version tracking. The tools aim to keep work inside Claude rather than requiring exports, but integrate with partners like Miro, Airtable, Excel, BigQuery, and Notion. All features are available on paid plans across web, desktop, and mobile.
HN Discussion:
  • ↓Building another Google Docs clone isn't the right solution; markdown-based collaboration is needed instead
  • ↓These tools will remain fallback utilities while serious work stays in specialized tools like Figma
  • ~Anthropic is strategically locking in users by owning their data as a moat against switching providers
  • •Anthropic is cannibalizing its API customers, signaling slowing traditional revenue growth
  • ↓Anthropic lacks the focus to successfully compete with established office suites like Microsoft and Google
13.AI usage generates a fragile codebase(evanxmerz.com)
628 points by plun9 1 day ago | 601 comments | permalink
tl;dr: A former Meta engineer argues that heavy AI code generation produces fragile codebases marked by shallow tests, overly complex code, declining human understanding, and PR volume that outpaces meaningful review. The symptoms, he claims, include rising incident rates, longer recovery times, user-visible errors missed by automated tests, and degraded UX. His conclusion: quality software still requires a human touch, both for users and maintainers.
HN Discussion:
  • ↓Article is outdated as newer AI models have resolved the cited issues
  • ↑Code quality issues only matter once they manifest as problems later
  • ~Pre-AI codebases were also fragile, so this isn't unique to AI
  • ↓Software is becoming a black box and that's acceptable as long as it works
  • ↑Mandated high AI code generation percentages for ratings is disturbing
14.AMD's Zen 6 Family: Feeding the Beast(chipsandcheese.com)
260 points by pixelpoet 1 day ago | 113 comments | permalink
tl;dr: AMD's Zen 6 builds on Zen 5 with a faster branch predictor, dual-decoder utilization by a single thread, larger OoO structures, doubled VNNI throughput, and 4x 256-bit vector loads per cycle, delivering roughly 18-21% single-threaded SPEC 2026 gains over Zen 5. Notably, Zen 6 and Zen 6c now diverge architecturally for the first time: Zen 6 is tuned for high clocks (12-core CCDs, 48MB L3), while Zen 6c has larger OoO buffers to hide latency (32-core CCDs, 128MB L3), signaling AMD's shift toward workload-specific core specialization.
HN Discussion:
  • ~Memory controller and I/O die are the main bottleneck, hoping Zen 6 fixes this
  • ↑Appreciation for architectural details like branch prediction and OoO improvements
  • •Questioning specific tradeoffs like reduced integer multipliers and PDEP/PEXT throughput
  • ↑Enthusiasm for Zen 6c divergence and the impressive core count scaling
  • ↓Criticism that benchmark comparisons omit Apple P-cores which would outperform
15.Process Explorer for macOS(github.com)
231 points by ingve 2 days ago | 77 comments | permalink
tl;dr: A native macOS port of Sysinternals Process Explorer, built in Swift/SwiftUI/AppKit, offering a live process tree, lower-pane module/handle/thread inspection, per-process properties (including TCP/IP, code-signing, VirusTotal), and system-wide performance graphs with Apple Silicon P/E-core awareness. It uses public macOS APIs (libproc, sysctl, Mach, IOKit, Security.framework) and ships an optional SMAppService privileged helper for cross-user and elevated operations. Requires macOS 14+ and leaves unavailable metrics blank rather than fabricating data.
HN Discussion:
  • •Comparison requests to similar existing tools like Objective See's TaskExplorer
  • ~Installed and tried it but found bugs, feels unpolished and un-Mac-like
  • ↑Welcome addition given Activity Monitor's limitations and macOS instability
  • •Sharing their own similar process monitoring projects for other platforms
  • ↑Background context on the tool's origin from Russinovich himself
16.Ableton Live 13(ableton.com)
328 points by phaser 1 day ago | 350 comments | permalink
tl;dr: Ableton Live 13 adds a built-in Step Sequencer, ARA 2 support (with Melodyne essential in Suite), Capture Automation, Drum Synth, expanded Racks (up to 32 Macros, Multiband/Mid-Side types), Envelope Clips, and mixer upgrades including Send sliders and Device Slots. Push 3 gets Custom Layouts, a Performance Mixer, and Step Sequencer layout, while Push 2 receives a subset of these. Release is slated for early 2027, with pre-orders available at 20% off for existing Live 12 owners.
HN Discussion:
  • ↑Praise for Ableton as a company and the quality of its software
  • ↓Frustration with lack of built-in remote collaboration features
  • ↓Disappointment at the continued absence of native Linux support
  • ~Mixed views on the new rent-to-own pricing model
  • •Newcomers and extenders sharing tools, questions, and plugins around the ecosystem
17.Show HN: Valencia, Spain in Sim City/Isometric View(tinyvalencia.com)
244 points by leugim 1 day ago | 61 comments | permalink
tl;dr: An isometric pixel-art map of Valencia, Spain, inspired by SimCity, covering the entire municipality from the huerta to the Albufera with every real building rendered. Built by rendering 3D city data from a fixed isometric camera, then repainting it tile-by-tile using an image model trained on a custom pixel-art style, with seamless continuity between tiles. Navigation includes drag/zoom, keyboard shortcuts (R for random, H for whole map, / for search), and shareable URLs.
HN Discussion:
  • ↑Appreciates the project and wants more technical details about the image model pipeline used
  • ~Suggests usability improvements like fixed north orientation and errors in rendering
  • ↓Objects to calling the output 'pixel art' since it's diffusion-generated and lacks true pixel craftsmanship
  • ↑Loves the concept and wants it extended, combined with other tools, or made playable/generalizable
  • ↑Local resident enjoys seeing their city rendered this way
18.I deleted all my SSH keys(blog.infected.systems)
276 points by speckx 6 days ago | 151 comments | permalink
tl;dr: The author moved all SSH keys off-disk to hardware-backed storage using three methods: YubiKey (via `ed25519-sk` resident keys), TPM (via `ssh-tpm-agent`, which stores encrypted key material on disk but requires the TPM to decrypt), and Apple Secure Enclave (via macOS Sequoia's `sc_auth` with TouchID). Each method has tradeoffs around presence confirmation, unattended usage, and clamshell-mode limitations on Mac. Key caveat: hardware-resident keys can be lost to hardware failure, so enrolling multiple keys for redundancy is recommended.
HN Discussion:
  • ↓Prefers traditional SSH keys with network-level restrictions and monitoring over hardware-backed approach
  • ~Supports hardware-backed keys but prefers GPG/PIV with PIN+touch workflow over FIDO2 sk-keys
  • ↑Enthusiastically endorses the article's approach and shares similar migration experiences
  • ↓Concerned about hardware failure, key loss, or TPM resets wiping keys
  • •Asks clarifying technical questions or adds supplementary info (cheaper keys, service compatibility gaps)
19.What constant surveillance is doing to children and parents(theatlantic.com)
269 points by FinnLobsien 1 day ago | 302 comments | permalink
tl;dr: Summary not available
HN Discussion:
  • ↑Personal anecdotes of rejecting tracking/surveillance in favor of trust and independence
  • ↑Concern about long-term data collection creating profiles that harm children's futures
  • ↑Loss of unsupervised childhood has stunted kids' development and independence
  • ~Parents rationalize surveillance due to fear of low-probability catastrophic events
  • ↑Privacy norms have been eroded generationally, normalizing intrusion
20.Foldable Flight: The Best Paper Airplanes(foldableflight.com)
1244 points by vismit2000 2 days ago | 167 comments | permalink
tl;dr: Foldable Flight is a catalog site featuring 109+ paper airplane designs, each rated by speed, glide, and accuracy, with difficulty levels from Very Easy to Expert. Notable entries include record-holders like Unite (31.2-second airtime world record) and Firefly (300+ ft flight), alongside community-submitted designs and origami-style jets from designers like Michael LaFosse. Users can filter by paper type (A4, US Letter, Square) and click any plane for folding instructions.
HN Discussion:
  • ↑Enthusiastic first-time user impressed by quality of the designs after trying one
  • ↑Nostalgic personal stories about paper airplane folding as a meaningful childhood activity
  • ↑Gratitude toward the creator for providing content that enabled family bonding and skill-building
  • •Surprise at the complexity and time investment required for some designs
  • ↓Criticism of the website's intrusive email popup and poor UX