AI Summarized Hacker News
Front-page articles summarized hourly.
60 years ago, the USS Triton, a nuclear-powered submarine, completed the first fully submerged circumnavigation, proving submarines could operate underwater for extended patrols. At 447 feet, it was the largest submarine of its time and could travel three times faster submerged than older designs. Triton left New London on Feb. 16, 1960, and returned April 25 after a 60‑day voyage spanning 26,723 nautical miles around the globe (36,000 miles sailed, 85 days total). It dropped hydrographic bottles, mapped the ocean floor, and surfaced only once to evacuate a sick crewman. Decommissioned in 1968; its sail is in Benton, WA.
HN Comments
Collabora reports progress porting RADV, the open-source Mesa Vulkan driver for AMD GPUs, to Windows. Building on Faith Ekstrand's XDC 2024 work, the team uses WDDM2 to reframe UMD/KMD interaction, logging private D3DKMT data to reverse-engineer enough to submit work to the proprietary kernel driver. They’ve run Counter-Strike 2 with RADV via -vulkan and improved stability and features, while grappling with Gen 11 vs Gen 10 differences, MSVC quirks, and opaque driver data. The main hurdles: a stable KMD interface or a shim, and DXGI-based presentation. Branch available; Valve sponsored.
HN Comments
An overview of the demo scene’s bespoke user interfaces and tools, mainly on Amiga but across platforms. It highlights how sceners built or repurposed tools to create and optimize real-time demos, including precalculated lookups; text-based assemblers like Seka and Asm-One; memory-rippers; music trackers (Ultimate Soundtracker lineage, NoiseTracker, ProTracker, Digicomposer, Fasttracker II, Abyss Highest Experience, JamCrackerPro); disk copiers (X-Copy, D-Copy); other tools (crunchers, ANSI editors, font editors, DSPdit); trackmos and diskmags (RAW); and pixel painters (Deluxe Paint, FuckPaint).
HN Comments
Tailscale on jailbroken Kindles gains SSH by default, a proxy mode for KOReader to reach other tailnet devices, and (on some devices) a full TUN mode for device‑level networking. The proxy supports SOCKS5 and HTTP CONNECT, letting apps like KOReader, Calibre/Wallabag, or Readest reach tailnet hosts through 127.0.0.1:1055. A KOReader plugin can auto-create proxy interfaces to access content servers. Setup is unofficial/community-driven, involving enabling proxy mode, configuring the app, and placing a Tailscale key. Earlier updates improved routing through the Kindle’s USB networking.
HN Comments
Log_a(x) can be non-monotonic in PHP and Lua due to floating-point rounding and mixed libm paths for two-argument logs. These languages sometimes compute log(x, a) via different bases (log, log10, log2) rather than ln x/ln a, leading double rounding to produce unexpected results; this yields cases where log_a(x) < log_b(x) despite a>b. PHP and Lua also special‑case certain bases (notably 2 and 10) and show base‑1 NaNs, causing boundary discontinuities. A fix is to implement a single base path (e.g., add log10 in Lua) and avoid mixing methods.
HN Comments
Transformer Transformer introduces a diffusion transformer that co-designs robot embodiments and controllers from a task demonstration. It uses RoboTokens—a compact, unified tokenization of embodiment (links, joints, motors) and dynamics (states, actions)—to represent fixed-base arms, quadrupeds, humanoids, and dexterous hands in one model. The model can generate complete robots and drive them to track target motions via Dynamics Self-Guidance, which uses its own predicted dynamics and rewards to steer generation. It supports zero-shot optimization for unseen rewards and multi-trajectory tasks, solving faster than CMA-ES. Real hardware cloth-fling optimization improves speed and reduces torque. Limitations: geometry scope, controller transfer, scaling costs.
HN Comments
ZIL Lean is a relational knowledge language embedded in Lean 4 with a Clojure runtime. It models knowledge as nodes, relations, rules, and queries to describe project facts and access. It uses Datalog-style Horn rules to derive relations, with provenance, proofs, and explanations. It supports change impact, coverage, and review queries across Lean codebases. It ships with a native CLI, examples, and a standalone ZIL runtime; exports to Soufflé/Prolog and revision logs. It pins Lean 4 and provides tooling for persistence, linting, contracts, and AI-assisted workflows.
HN Comments
OpenShell Kubernetes Operator provides a declarative, Kubernetes-native control plane for OpenShell sandboxes. It adds five CRDs—OpenShellSandbox, OpenShellProvider, OpenShellPolicy, OpenShellWorkspace, and OpenShellProviderProfile—and acts as a thin front-end over the OpenShell gateway API, translating CRs into gateway calls and mirroring state back to CR status. Prerequisites include the Agent Sandbox controller; the chart can install a bundled gateway/issuer or connect to an external gateway. It supports HA, in-place updates, and operator-managed persistent workspace volumes, with comprehensive handling of providers, policies, workspaces, and lifecycle reconciliation.
HN Comments
Chip stocks slid in the US and Asia as AI jitters spooked investors. In Korea, the Kospi briefly halted and closed about 10.8% lower, with Samsung Electronics and SK Hynix down more than 13%, while Nvidia dipped in New York and Apple overtook Nvidia as the world’s most valuable company after a strong year. The fall followed reports Nvidia could back a $250bn OpenAI data-centre project. Analysts warned about crowded AI exposure and reliance on retail buyers. Meanwhile CXMT’s Shanghai IPO jumped about 470% on debut.
HN Comments
Academa Studio is an AI-native Manim editor with video tutorials and suggested prompts. It provides hands‑on examples such as projectile motion, Dijkstra paths, eigenvectors, and Taylor polynomials, plus previews and a Python runtime setup. It walks through installing ManimX, warming the renderer, and editing Manim code, with standard sign‑in and policy links.
HN Comments
A Vercel Security Checkpoint page indicates the browser is being verified and prompts the user to enable JavaScript to continue.
HN Comments
The Berkeley sockets interface, introduced in 1983 with 4.2BSD, catalyzed online services by unifying network access through the UNIX file-descriptor model. Sockets let programs talk to ARPANET as if they were files, enabling rapid adoption of FTP, Telnet, and SMTP, and replacing earlier tools like cu and UUCP. They outcompeted AT&T STREAMS, helped BSD and Sun popularize UNIX networking, and cemented TCP/IP/UDP as the standard stack, with QUIC later reshaping session services. Sockets took over the world.
HN Comments
The post documents three weeks exploring multi-seat computing on Linux/Wayland: attaching multiple mice/keyboards to a single desktop to produce several independent cursors and per-seat input handling for collaborative work. It surveys how the Wayland core protocol, compositors (Weston, sway, River, niri), and graphics libraries (GTK, SDL, LÖVE) support multiple seats, noting many gaps (dynamic seat changes, per-app support). It details practical setup: udev rules to assign WL_SEAT, swayseat commands, and patching SDL/LÖVE; and shows remote collaboration via wayvnc with transient seats. The author invites contributions to open problems.
HN Comments
Dynomight riffs on Betteridge’s law—that headlines ending in a question usually invite a 'no'—to critique online dunking with question marks. He asks if question marks are ever acceptable: for genuine open questions or when the piece resolves with yes? He argues the web rewards spicy, confident headlines that mislead about content, while a good title should signal the article’s substance. The piece weighs competing views: question titles can be valid if the question is real, but overuse or misrepresentation should be avoided.
HN Comments
Abel Jansma argues that there can be no universal truth probe in LLM embedding spaces. While many concepts map to directions (Linear Representation Hypothesis), a diagonal Tarski-style attack shows a probe cannot consistently determine truth for all statements in a language rich enough to describe the probe. A simple truth-probe on Qwen3.5-4B performs well on non-self-referential cases, but self-referential sentences create paradoxes. The discussion links to Gödel, fixed-point theorems (Lawvere, Brouwer) and shows that truth cannot be a fixed-direction in embeddings. Truth probes remain useful but not truth-claims; graded semantics might help but still faces paradoxes.
HN Comments
Andrea, new to Rust, built a simple markdown-to-HTML compiler to replace Hugo for a minimal workflow. The tool parses posts in post/, recognizes basic CommonMark syntax (headings, paragraphs, code blocks, lists, blockquotes, inline formatting and links/images), and outputs HTML via templates. Posts begin with YAML front matter (title, date, description, tags, draft). The date orders the index; draft: true hides posts. The index shows all posts; navigation features include a search bar, tag filtering, and vim-like moves. It's early-stage, with basic docs, and the code is in a repo.
HN Comments
LearnVector, founded by Andrew Ng, is an AI company building one-to-one, trustworthy learning experiences to replace traditional one-to-many methods. Backed by a $100 million investment from Coursera, it aims to craft personalized learning guides that plan a path, adapt to how each learner learns, and stay with them until they master new skills. It emphasizes guardrails to avoid cognitive offloading and aims to deliver products by early 2027, with collaboration with Coursera and Udemy. Recruiting in Mountain View for AI, learning, and software roles.
HN Comments
Linux io_uring 7.2 switches from a lockless singly linked list to a lockless MPSC queue for its work items. The queue uses struct mpscq with a tail pointer and a stub sentinel; producers push by atomically exchanging the tail (xchg) and linking the new node via its next pointer. The xchg barrier ensures correct ordering without locks. The consumer uses a separate head pointer and mpscq_pop to remove items, handling empty and race with producers via a compare-and-exchange to reset to the stub. Benefits: higher throughput, less overhead, no need to reverse or track removed items.
HN Comments
StatLite is a lightweight Go-based dashboard for monitoring small Spring Boot deployments without Prometheus/Grafana. It reads Actuator data (health, metrics) and presents a focused UI tracking health, requests, errors, latency, memory, uptime, and restarts, storing history in SQLite. Suitable for a few services on a VPS; integrates with Actuator-first approach and can co-exist with larger stacks. Setup: expose Actuator endpoints, install StatLite, configure a local SQLite store and actuator_base_url targets, run statlite, open the dashboard, and generate traffic to populate charts. Pros: single binary, no agent, simple; not a full observability platform.
HN Comments
reFrame is an open-source, experimental camera with a six-color ePaper display that dithers photos, showing one image at a time as colors gradually appear like a digital Polaroid. After shutter, about 15 seconds to fully render; the ePaper retains the image when powered off. It can also serve as a desk photo frame. Built from off-the-shelf parts (Raspberry Pi Zero, Pi Camera 3, 4" eInk Spectra 6, battery) and supported by APOSSIBLE; guides on GitHub. Photos are saved digitally and downloadable (original and dithered) via a web dashboard. Not for sale yet.
HN Comments
Made by Johno Whitaker using FastHTML