AI Summarized Hacker News

Front-page articles summarized hourly.

Supabase just announced searchable encryption

CipherStash released a Supabase integration adding searchable field-level encryption (DLAC) to Postgres apps. Encryption happens in the app with a unique key per value; data is stored as JSON ciphertext plus SEM (Searchable Encrypted Metadata). Postgres can filter, sort, and join over SEM, while decryption is policy-driven and happens only for authorized users. Keys are managed by ZeroKMS and can be regionalized. Setup: npx stash init --supabase. Works with Supabase.js, Drizzle, Prisma Next; CipherStash Proxy supports non-SDK usage.

HN Comments

Scrying the AMD GFX1250 LLVM Tea Leaves

LLVM commits reveal AMD’s GFX1250 (MI455X) for ML in datacenters, with GFX1251 (MI430X) for HPC. GFX1250 is a pure compute accelerator. Key changes: Wave32 only; 20 waves/SIMD; up to 1024 VGPRs per wave; LDS up to 320 KB per wavefront; unified 448 KB WGP Cache; most graphics features removed. WMMA tensor ops match CDNA4/RDNA4-like types and K-values; cluster-level memory and barriers; explicit prefetching; enhanced data-dependency counters (VM_CNT, LGKM_CNT) and new ASYNCcnt, TENSORcnt, Xcnt; 128B atomics (LL128); tensor data movement between global memory and LDS. AMD aims to rival Nvidia and boost ROCm with MI455X/Helios.

HN Comments

I built a browser-based P2P file transfer tool using WebRTC

AirDows permite transferir archivos entre celular y PC sin cables, manteniendo la calidad original. Abre AirDows en ambos dispositivos, escanea un código QR o usa un código temporal para conectar, suelta el archivo y mantén activas las dos pantallas hasta que llegue. No es necesario instalar nada y no se re-escala ni re-codifica; los archivos no se guardan en la nube y ambos dispositivos deben permanecer conectados durante la transferencia. No hay límite fijo de tamaño; la velocidad depende de los dispositivos y sus redes; funciona entre diferentes redes, transferencias directas desde el navegador. Guías para iPhone/Android y videos.

HN Comments

Deepsec

Deepsec is an agent-powered vulnerability scanner you run in your own infrastructure to surface hard-to-find issues in large codebases. It uses coding agents at configurable thinking levels and can be costly but speeds patching; runs parallel across workers and can resume after interruptions. Setup: from repo root, npx deepsec init (creates .deepsec), then pnpm install, follow SKILL.md/SETUP.md, and run pnpm deepsec scan, pnpm deepsec process, with optional pnpm deepsec revalidate and export. Docs cover getting-started, writing-matchers, architecture, models, vercel-setup. It supports Claude/Codex or Vercel Gateway; tokens via env vars; distributed sandbox mode; Apache-2.0.

HN Comments

LLM-Integrated Multivariable Calculus Course

Course outline for Multivariable Calculus: Vectors and geometry; dot product, projections, determinants, cross product; planes and lines; vector functions and parametric curves; partial derivatives, tangent planes, chain rule, directional derivatives, gradient; maximization/minimization and Lagrange multipliers; multiple integrals (double/triple), polar, cylindrical and spherical coordinates, general change of variables; vector fields, line integrals, gradient fields and the fundamental theorem of line integrals; conservative fields; Green's theorem; curl and divergence; Stokes’ theorem and surface integrals.

HN Comments

FDA approves new kind of cholesterol pill

FDA approved Lipfendra (enlicitide), the first oral PCSK9 inhibitor, as an adjunct to diet and exercise to lower LDL-C in adults with hypercholesterolemia, including HeFH. It is a once-daily tablet, approved from two trials (N=3,207) on maximally tolerated statin therapy, showing 56% LDL-C reduction at 24 weeks in ASCVD/high-risk patients and 59% in HeFH. Diarrhea and dizziness were more common in HeFH; overall adverse events and discontinuations were similar to placebo. Approved under Priority Review and the CNPV program for Merck Sharp & Dohme LLC.

HN Comments

Mathematicians still don't know the fastest way to multiply numbers

Historically, multiplication was thought to require O(n^2) steps. In 1960, 23-year-old Anatoly Karatsuba showed you can beat that by trading multiplications for additions, reducing two-digit expansions to three multiplications and achieving roughly O(n^1.585). In 2019, Harvey and van der Hoeven announced an algorithm with O(n log n) time, the theoretical speed limit for multiplication. But it’s a “galactic” algorithm—only practical for astronomically large numbers; real-world use hinges on overheads. Software like Python uses a hybrid approach with a cutoff around 630 decimal digits. Proving that O(n log n) is the absolute lower bound remains open.

HN Comments

Better and Cheaper Than IPTV

Castor is a CLI that extracts streams from websites, adapts formats, and casts to a TV in real time with optional subtitles burned in. It uses a headless Chrome session, captures video via DevTools Protocol, and navigates to the correct iframe while handling Cloudflare Turnstile. It discovers DLNA/UPnP renderers on the network and can cast from a TMDB-backed browser or by direct URL. Install via Homebrew, Docker, or from source; config.yaml defines device and sources. Streaming sites are volatile; proxies may need rotating. Chromecast support is experimental.

HN Comments

Harness Engineering

Harness engineering improves an agent’s output by shaping its environment around a fixed model and coding agent—focusing on context, tools, and nonfunctional requirements (reliability, security, performance, maintainability). It uses internal process data and feedback to make future runs more coherent, with a cumulative knowledge base of boundaries, examples, and checks. The repo provides theses, playbooks, AGENTS.md, and guidance for aligning agents with an organization’s context and proof workflow (CC BY 4.0).

HN Comments

Gap in Mochizuki's proof of ABC confirmed by Lean

Fumiharu Kato announced at a press conference that the argument from Theorem 3.11 to Corollary 3.12 in the IUT papers is unformalizable, but Mochizuki's explanation is evolving and final judgment is reserved. LANA presented a manageable-length analysis of the core IUT argument for a general audience, and the document includes a comparison with the 2018 Scholze–Stix report. References to YouTube videos and the LANA report are provided, with the ZEN Mathematics Center involved in the project.

HN Comments

Made by Johno Whitaker using FastHTML