AI Summarized Hacker News
Front-page articles summarized hourly.
SpiceDB introduces a Query Planner that decides at query time how to resolve checks by estimating traversal costs based on data shape. Previous optimizations reduced datastore calls but ignored data distribution. Using a simple schema (document, group, user) where view = group->member and edit = view ∩ editor, the planner reorders evaluations to minimize work. Plans are represented as trees (Arrow, Intersection) and cost estimates use statistics. Future work includes more statistics, additional optimizations, testing, and turning it on by default; feedback is welcome. Not yet default-enabled.
HN Comments
Toma (YC W24) is building an AI platform to deploy and monitor AI agents for underserved industries (notably automotive). After a $17M Series A from a16z, they seek a Founding Engineer (AI Products) in San Francisco. You’ll own net-new AI features (dashboard, real-time voice AI, tooling), write production TypeScript across the stack (Next.js, Bun), and guide code reviews with product/design to ship quickly. Requirements: 1+ years full-stack web apps; TypeScript, Node.js/Bun, T3 stack; end-to-end ownership. Salary $140k–$220k; equity 0.20%–1.00%; benefits; visa sponsor.
HN Comments
mattst88 reverse-engineered SGI O2's IP32 PROM to enable RM7900 upgrades by building ip32prom-decompiler, which converts the PROM into modifiable MIPS assembly that can be reassembled to a bit-identical image. He mapped the SHDR headers (sloader, env, post1, firmware, version), their lengths, and checksums, and used Capstone to separate code from data, adapting for MIPS memory regions and jump targets. The work exposed code that jumps across SHDRs, RAM-copy in post1, and a large firmware section structured like ELF text/rodata/data. The decompiler now annotates names, comments, and boundaries, enabling a reconstructable ROM and a potential RM7900 upgrade without SGI.
HN Comments
A security blogger reports a fresh Mac malware campaign delivering AMOS (SOMA) stealers via Google search. The infection uses forged Apple-like pages linked from docs.google.com and business.google.com and poisoned Medium articles to prompt users to paste a malicious Terminal command. The malware runs, copies Documents to a FileGrabber, and drops hidden files (.agent, .mainHelper, .pass) in the Home folder, while requesting access to Notes. Tactics mirror prior ChatGPT‑style attacks with base‑64 obfuscation. The post urges critical scrutiny of search results, provenance, and any Terminal commands from reputable sources.
HN Comments
This text is the GitHub page UI for sched_clutch_edge.md in the apple-oss-distributions/xnu repository, including navigation, actions, and footer—not the article content itself.
HN Comments
Release 0.9.0 of apple/container introduces a refactor of image-inspect stdout/stderr, DNS support in build, and an option to stop services across all launchd domains. It adds a container image delete --force option, makes TerminalProgress a library, and enables isolated networks. The update fixes grammar in BUILDING.md, implements scoped rollback on failures, adds container prune, and includes a full-size field in image-list JSON. It bumps to Kata 3.20.0 and updates the kernel, and adds a resource.role label to the builder container. Several dependency bumps and contributors are noted.
HN Comments
This is a Cloudflare access-denied page for gtaforums.com, stating the site's owner banned the visitor's ASN (63949) from accessing the site (Error 1005). It asks to enable cookies, provides a troubleshooting link, and displays the visitor's IP and Cloudflare Ray IDs.
HN Comments
Everything by voidtools is a fast file and folder search tool that locates items by name instantly. It emphasizes a small installer, clean UI, quick filename indexing, fast searching, minimal resource usage, and real-time updates. The page lists downloads for version 1.4.1.1032 (installer, 64-bit, portable, lite) plus sections for changes, what's new, older versions, license, SHA256, languages, help, about, and privacy.
HN Comments
Error: Python bot is not whitelisted to access cached content on property z7wu4c8cqvjidttjmfy2jyoj.
HN Comments
Fresta reports on Credentials for Linux (FOSDEM 2026), a cross-desktop effort to bring WebAuthn/FIDO2 passkeys to Linux, improving support for sandboxed apps and browsers. The project comprises libwebauthn (a Rust FIDO2/U2F library with USB/BLE/hybrid authenticators and pluggable transports) and credentialsd (a D-Bus service with an XDG portal for credential management, incl. Firefox integration and distro packaging). The talk shows a sandboxed Firefox talking to hardware keys via credentialsd and sketches a roadmap: TPM-backed authenticators, origin binding, unprivileged browser APIs, and collaboration with GNOME/KDE/Flatpak and distros. Watch slides and videos linked.
HN Comments
An error shows the request was blocked by the site's security policies (429/400). If this is an error, users should contact support.
HN Comments
Open Library volunteers, led by Emily, created a Nancy Drew collection uniting multiple series. Team members from Tokyo, Pakistan, and the western U.S. planned with Google Docs and Zoom, then manually tagged books with collectionid: for accessibility. Metadata challenges included ghostwriter attribution to Carolyn Keene, corrected by Lisa Seaberg, and sourcing across multiple editions. Nichole and Maahin added specific series; Liz consulted Girl Sleuth for context. The first eight series (500+ books) were added; work continues with more tags and series ordering. The project invites volunteers. Lessons: manual tagging is effective; human connections matter; live training helps.
HN Comments
Susam Pal argues that social media shifted from genuine social interaction to “attention media” around 2012–2016, with infinite scroll and manipulative notifications that prioritized engagement over relevance. The author recalls an initial Web 2.0 optimism, but now sees feeds filled with strangers and a loud, intrusive experience. Abandoning mainstream platforms, Pal finds Mastodon restores the original social feel: few, meaningful followings; updates from chosen people; no bogus alerts; a calm, predictable timeline. The author hopes Mastodon stays true to this social model.
HN Comments
Ankit Maloo argues that while LLMs excel at word models, true world models—simulating multi-agent environments, theory of mind, and adversarial dynamics—are still missing. He highlights three world-model strands: 3D video/world models (Marble, Genie 3), Meta’s latent-space projections (JEPA, V-JEPA), and multi-agent models for adversarial reasoning. In real settings, agents model and adapt to each other; perfect-information games (chess) are easier than imperfect-information ones (poker). LLMs fail when trained for artifact quality instead of outcomes under strategic interaction. The fix: train with multi-agent feedback and evaluate results, not only language style. Experts’ edge is dynamic world-modeling, not surface coherence.
HN Comments
Could not summarize article.
HN Comments
Shadaj Laddad uses Lean4 to formally model a Cyberchase Nim-like puzzle from PBS Kids and prove a winning strategy for the Cybersquad. The post defines a dragon removal game with a poison-number state (green_dragons mod 4 = 0) that lets Hacker force a loss, and shows how the squad can drive the game toward such states and eventually win. It walks through mutual recursion squadWins/hackerWins, termination measures, and tactics (rw, simp, split, omega) to complete the proof, including a modular-arithmetic lemma (mod_zero_plus_k). The author links to the GitHub repo and advocates Lean's rigor and autoformalization.
HN Comments
CATL's Naxtra sodium‑ion battery powers the Changan Nevo A06, the world’s first mass‑produced sodium‑ion EV. It delivers about 250 miles (≈400 km) on the China CLTC cycle and shows strong cold‑weather performance, retaining over 90% of range at −40°C and stable power down to −50°C. The rollout signals a dual‑chemistry era where sodium‑ion and lithium‑ion can coexist. Sodium‑ion is cheaper and less temperature‑sensitive, with 175 Wh/kg energy density. The battery isn’t coming to the U.S. today; CATL expects range to rise to ~600 km in the future as the supply chain matures.
HN Comments
Underhill: A Mars Colony Game is a survival and building game on Mars, inspired by Kim Stanley Robinson's Mars Trilogy, created by Aria Alamalhodaei.
HN Comments
Release notes for Bun v1.3.9: new features and broad performance/bug fixes across runtime, test runner, and tooling. Highlights include parallel/sequential script execution with Foreman-style output, Symbol.dispose for mocks/spies, ES module bytecode, faster Markdown rendering, and new APIs (Archive, JSONC, Terminal, URLPattern). CPU profiler interval flag, improved NO_PROXY handling with explicit proxies, and HTTP/2 server upgrades. Numerous engine optimizations: SIMD-based RegExp, JIT improvements for fixed-count patterns, String/Set/Map/trim/replace enhancements. Bug fixes for Node compatibility, Web APIs, and TS types. Installation and upgrade commands are provided.
HN Comments
Suve explains how Fedora’s mass rebuild hit chocolate-doom due to GCC 15 defaulting to C23 (-std=gnu23). Chocolate-doom’s custom boolean type clashes with the keywords false/true in C23. Two fixes considered: force an older C standard or switch to built-in bool; upstream chose to require C99. A later patch to use stdbool.h and int boolean caused startup crashes due to undefined behavior from assigning -1 to a _Bool, as revealed by debugger and code analysis. The episode underscores how UB and language standard changes can break legacy C code.
HN Comments
Made by Johno Whitaker using FastHTML