AI Summarized Hacker News
Front-page articles summarized hourly.
Explores numeral encodings in lambda calculus across Linear, Affine, and Non-Linear styles, plus Church, Mackie, Parigot, Mogensen, and Wadsworth systems. Each ⟨n⟩ is a lambda-term encoding that supports arithmetic, with rules for abstraction, application, and binding. The work contrasts linear/affine/non-linear binding, including explicit duplication. Mogensen's approach decomposes n-digit numbers in base b; Wadsworth uses sequences built from K and S combinators. The article includes hand-drawn diagrams and references foundational papers.
HN Comments
WSJ shows a 404 Not Found page, noting the requested page can’t be located and advising URL verification or emailing support. It then lists popular articles (MBA fire sale, hantavirus, quarantined cruise) and latest podcasts on AI, tech, and politics.
HN Comments
Arena AI Model ELO History tracks how flagship AI models evolve, exposing nerfs like censorship, quantization, or behavior shifts over time. It contrasts raw API performance with consumer UIs that add prompts and filters. Data comes daily from the LM Arena Leaderboard on Hugging Face, built on thousands of blind, crowdsourced evaluations. Each lab has one curve for its flagship lineage, staying with the top-rated model at each moment, merging -thinking/-reasoning variants, marking new releases, and revealing degradation. © 2026 Erwin Mayer. View on GitHub.
HN Comments
Tom's Hardware reports Chaotic Eclipse’s zero‑day chain, including YellowKey, a BitLocker exploit that lets attackers open BitLocker‑protected drives by copying files to a USB stick and rebooting into Windows Recovery Environment. A GreenPlasma variant offers a local privilege escalation for SYSTEM access. The attack can leave exploit files on the USB and appears effective against Windows and Windows Server 2022/2025, but not Windows 10; Microsoft has not issued an official response. Context notes recent exploits BlueHammer/RedSun.
HN Comments
Clough et al. show that dry-contact glove residues (stearates) from nitrile/latex gloves contaminate microplastic analyses, creating many false positives in infrared/Raman spectra (roughly 2000 per mm2). They recommend using nitrile cleanroom gloves (about 100 false positives/mm2) and provide workflows to distinguish glove-derived stearate signals from real microplastics, aided by stearate spectral libraries. A case study demonstrates reduced false positives, especially for particles smaller than 10 μm.
HN Comments
Joe Warren discusses testing Waterfall-CAD, where outputs are 3D models and hard to test. He added SVG support to enable visual regression testing, treating it as a form of Golden/Snapshot Testing. Using tasty-golden, DiagramGoldenTests.hs compares two SVG renderings: repo diagrams vs code output, converts both to JuicyPixels images via Rasterific-SVG, ensures equal size, then checks per-pixel differences within a Manhattan tolerance and writes a diff image on failure. He deliberately failed a test by changing the color of hidden lines to show the diff. An open-source library to automate this exists; he’d consider it if there’s demand.
HN Comments
Nibble is a C-like systems programming language implemented in ~3000 lines of C that generates LLVM IR without malloc or external dependencies. It supports defer, recursion, primitive types, structs, pointers, function pointers, branching, loops, type checking, and basic C interop with generic pointers. It ships four graphical demos (must install SDL2 and Clang, then make) showing shader-toy renditions, a red-black tree, and a simple game-programming setup. The compiler compiles top-down in one pass and allocas freely, which can cause stack overflows under some clang optimizations; author deems the project momentarily complete.
HN Comments
Anthropic introduces Claude for Small Business, a package of connectors and ready-to-run AI workflows that embed Claude into tools small businesses use (QuickBooks, PayPal, HubSpot, Canva, Docusign, Google Workspace, Microsoft 365). It offers 15 agentic workflows and 15 skills across finance, operations, sales, marketing, HR, and customer service to automate tasks like payroll planning, monthly close, invoice chasing, and campaign prep, with user approval before actions. It emphasizes trust and data security (no default training on customer data) and offers an AI Fluency for Small Business course with PayPal. A Claude SMB Tour starts May 14 in Chicago.
HN Comments
Anonymous researcher Nightmare-Eclipse/Chaotic Eclipse disclosed two new Windows zero-days after Patch Tuesday: YellowKey (BitLocker bypass) and GreenPlasma (privilege escalation to SYSTEM). YellowKey requires loading USB-delivered files to gain unrestricted shell on BitLocker-protected PCs, a serious risk for stolen laptops despite needing physical access; mitigations include BitLocker PIN and BIOS password. GreenPlasma has a partial exploit with no full PoC yet and could enable post-exploitation privilege escalation. Disclosures follow several earlier zero-days this year, underscoring ongoing Patch Tuesday security concerns.
HN Comments
An iterative painting app uses LLMs to propose each stroke with visible reasoning, testing if stepwise generation yields more sincere, accessible art than one-shot results. The piece contrasts Tolstoy’s ideas of accessible, united art with sincerity. Findings: models are mixed; bigger models help, smaller struggle; batch size matters; iterative edits often derail paintings, illustrating fragility akin to codebases. While some results verge on earnest art, many feel derivative. The author shares demos, a frontend, technical write-up, and code links.
HN Comments
Cisco reports Q3 FY26 revenue of $15.8B, up 12% year over year with double‑digit growth. It will reduce about 4,000 roles (fewer than 5% of staff) in Q4, with notifications starting May 14 and local-law compliance. Impacted employees will receive pro‑rated FY26 bonuses, plus placement services and one year of access to Cisco U courses. Cisco will continue strategic investments in silicon, optics, security, and AI across the company. Departing employees are thanked; a Cisco Beat on May 21 will address questions.
HN Comments
AEPs are an API design specification and ecosystem of clients and tooling for protobuf and HTTP REST APIs. They provide an extensible set of design guidelines to help developers and organizations build clear, consistent network APIs and clients. The project is open for involvement, with content licensed under Creative Commons Attribution 4.0 and code samples under Apache 2.0; see LICENSE.md and site policies.
HN Comments
Brian Potter explains how Bell Labs’ drive to improve long‑distance signaling yielded four pivotal amplifiers—the vacuum tube, the negative‑feedback amplifier, the transistor, and the laser—redefining electronics and beyond. From early attempts at mechanical amplifiers to the triode’s perfection, to Black’s distortion‑cancelling feedback with Nyquist and Bode, to the transistor’s rise and Fairchild founding, and finally to Townes’ maser and the laser, driven by stimulated emission. Amplifiers turned signals into information, enabling vast technological growth and abundance.
HN Comments
Rotunda is an open-source, agent-first web browser designed for AI agents to automate browsing while minimizing bot detection. It aims to look like a real user by simulating human browser behavior rather than lying about identity, using a host-passthrough fingerprint strategy. The project provides Python/Playwright integration and a daemon-based, profile-driven CLI (uv and uvx rotunda) to create contexts, navigate pages, extract content, capture screenshots, and automate tasks. It includes debugging tools, remote Juggler support, and is built on Firefox patching. Installation uses uv add rotunda and uv run rotunda fetch.
HN Comments
Scorched Earth 2000 HTML Port is a JavaScript port of Scorched Earth 2000 (v1.1) released 5/11/2026 by KAOS Software Team. It recreates the artillery gameplay with configurable wind, ammo, power, and angle, round-based play, and multiplayer for up to 8 players. It features tank selection, game resolutions, wind settings, cash, shop, profiles, statistics, and help. Credits list project lead Hei C. Ng, development lead Alexander Rasin, and others, with thanks to networking contributors; license OK.
HN Comments
Quintero argues that everyday cognitive and mental-health harms from ChatGPT affect millions, yet AI-safety work centers on catastrophic risk while cognitive harms are treated as monitoring, not gating. OpenAI cites 1.2–3 million distress signals, but with no independent audit. She notes examples like suicide ideation being redirected rather than halted, including a court dispute over crisis-resource prompts. The result is a bifurcated Safety—“AI Safety” vs “Personal AI Safety”—with cognitive harm sidelined. She links this to cognitive freedom and neurorights and urges US policy to force labs to take Personal AI Safety seriously.
HN Comments
Becky Lindsey reports on Ned Rozell’s retirement after 31 years writing the Alaska Science Forum for the Geophysical Institute, producing more than 1,500 science stories. Rozell earned the Edith Bullock Prize, the GI’s Roger Smith Lifetime Achievement Award, and emeritus status. Colleagues praise his relatable, accurate storytelling that connects Alaska’s science to the public. The piece recalls the column’s 1976 origins with Neil Davis and Claus-M. Naske and invites readers to share ideas for the Forum’s next 25 years.
HN Comments
Intercom today announces a corporate rebrand: the company will be renamed Fin, while the customer-service software remains Intercom (including the rebuilt Intercom 2). The shift aims to shed baggage, embrace the Fin customer-agent category, and make Fin the company’s main focus. All 1,400 employees now work for Fin. The Intercom product will continue under Fin’s umbrella, signaling a renaissance and future growth.
HN Comments
Marco Polo shows range-only relative localization between two wearables using an Extended Kalman Filter (EKF). After weighing three options—(1) multi-antenna UWB with ToF and PDoA (needs two antennas), (2) external trilateration with anchors, and (3) Kalman filtering—the author endorses EKF as best: one UWB antenna and two devices suffice. The EKF maintains state x=[Δx, Δy, Δx˙, Δy˙] and covariance P, predicts via f with Jacobian F and updates via h with Jacobian H, driven by Q and R. From Δx, Δy it derives bearing β=atan2(Δy, Δx) and σβ from P.
HN Comments
Meta is testing a Threads feature that lets users tag the Meta AI account to get answers or context in conversations. But you cannot block the Meta AI account on Threads, triggering user complaints. Meta says you can mute or hide Meta AI replies, or mark posts as 'Not interested' to see fewer responses. The test began in Argentina, Malaysia, Mexico, Saudi Arabia, and Singapore. Meta has invested billions in AI, rolled out Muse Spark, and aims to integrate AI across its apps.
HN Comments
Made by Johno Whitaker using FastHTML