AI Summarized Hacker News
Front-page articles summarized hourly.
Herbie rewrites floating-point expressions to improve accuracy. The tutorial covers installing and running via racket -l herbie web, then trying an example (sqrt(x+1)-sqrt(x)) to generate more accurate alternatives and sometimes faster ones. It explains how Herbie analyzes an expression, shows statistics and multiple options, and highlights the most accurate variant (often with an if and the hypot function). It then demonstrates applying Herbie to real code by extracting the mathematical core (e.g., complex sqrt in math.js), splitting inputs (xre/xim) and handling branches, and viewing derivations. You can re-run and consult docs.
HN Comments
Podroid runs Linux containers on Android by booting a lightweight Alpine VM via QEMU and running Podman inside. No root or host binaries required. Highlights: OCI image support, full terminal, persistent packages/configs across reboots, and port forwarding with VM networking. Requirements: arm64 Android device, Android 14+, ~150 MB free. Quick start: install the APK, start Podman, wait ~20s, open the terminal, then run podman commands (e.g., alpine). How it works: a foreground service starts QEMU with an initramfs Alpine VM and a writable overlay; SLIRP networking and QMP port-forwarding. Build from source using the repo scripts.
HN Comments
mtproto.zig is a high‑performance Telegram MTProto proxy written in Zig that disguises MTProto TLS traffic as standard TLS to bypass DPI. It features MTProto v2 obfuscation, AES-256‑CTR tunneling, dynamic record sizing, and extensive DPI evasion (masking, 0‑RTT, desync, split-TLS, TCPMSS fragmentation). It supports multi‑user access, optional Telemt/MiddleProxy mode, IPv6 hopping, and automatic endpoint refresh from Telegram core endpoints. The project provides Docker and manual deployment options, a quick‑start workflow, and a zero‑dependency build using Zig. MIT licensed.
HN Comments
Researchers at the University of Kentucky are turning Kentucky bourbon stillage—wet distillery waste—into energy-storage materials. Through hydrothermal carbonization, they convert the moisture-rich slurry into hydrochar, which becomes activated carbon (high porosity, >1,000 m2/g) for high-density supercapacitors (demonstrating ~48 Wh/kg in a coin cell) and “hard carbon” for lithium-ion–infused electrodes to make a hybrid device. This could provide a renewable, low-cost feedstock for batteries and grid storage, but scaling and techno-economic viability are still under evaluation.
HN Comments
EFF argues the FAA’s 21-month nationwide TFR (FDC 6/4375) banning drone flights within 3000 feet of ICE/CBP vehicles violates the First and Fifth Amendments and FAA rules. The restriction, in effect until October 2027, criminalizes filming of law enforcement with potential criminal penalties and drone seizure. It covers unmarked DHS vehicles and provides no advance notice or news-contact provisions, undermining due process and free speech. EFF and major outlets have urged rescission, linking the timing to anti‑ICE protests and warning of retaliation for recording.
HN Comments
An ironic guide to producing unmaintainable code. It lists techniques to hinder future maintenance: obscure the big picture, keep comments outdated, let methods do more than their names imply, overuse acronyms and cryptic identifiers, avoid encapsulation, rely on global state, duplicate logic and APIs, cram code into long lines, resist automated tidying, and bury constants and behaviour with misleading naming and ruthless overloading. It promotes shallow readability, complex nesting, and incomplete documentation so later developers cannot understand or safely modify the code, illustrating the opposite of good software engineering.
HN Comments
OpenClaw before 2026.3.28 has a privilege-escalation vulnerability in the /pair/approve path. A user with pairing privileges but no admin rights can approve device requests with admin-level scopes due to missing scope validation in extensions/device-pair/index.ts and src/infra/device-pairing.ts. CVSS v4.0 base 8.6 (HIGH); CVSS v3.x base 8.1 (HIGH); CWE-863 Incorrect Authorization. Affected: OpenClaw up to 2026.3.28. References: GitHub commit, GHSA advisory, VulnCheck advisories.
HN Comments
Claude offers a one-time extra usage credit for Pro, Max, and Team plans. Eligibility: subscribed by Apr 3, 2026 9:00 PT and have Extra usage enabled; not for Enterprise/Console. Credits: Pro $20; Max $100 (5x) or $200 (20x); Team $200. Claim Apr 3–17, 2026 on the web by tapping Claim after enabling Extra usage. Use across Claude, Claude Code, Claude Cowork, and third-party products. Credit expires 90 days after claim; unused portion won’t roll over. Auto-reload may bill at standard rates; disable anytime.
HN Comments
A 403 Forbidden error indicating that access to the requested page is not allowed.
HN Comments
A Vercel Security Checkpoint page claims the browser is being verified and instructs enabling JavaScript to continue, with a link for the website owner to fix the checkpoint.
HN Comments
Eliza McLamb exposes Chaotic Good Projects, a digital marketing agency that manufactures fans and virality for musicians through narrative campaigns and fake accounts. It argues such tactics shift power to algorithmic hype, showing how discourse is steered and trends engineered, and contrasts authentic artists with marketed stars. The piece questions the ethical cost and sustainability of this approach and ends with reflections on real fans, touring, and genuine connection.
HN Comments
FurtherAI built self-correcting AI agents to extract loss runs for commercial insurance. Loss runs vary in format across carriers, with about 30 fields per claim; initial extractions produced duplicates or missing claims (38 extracted vs. 35 stated). They shifted from prompt-based extraction to a non-prescriptive task with a validation tool, enabling the agent to iteratively extract, inspect pages, and validate totals against the document summaries. The agent checks its output and fixes mismatches until counts and dollars align. Four keys: agentic loops, validation tools, flexible success criteria, and rigorous evals. Result: high accuracy and speed.
HN Comments
Iranian strikes have left two AWS availability zones in Dubai and Bahrain “hard down,” with outages expected to last an extended period. An internal AWS memo directs deprioritizing these regions and running workloads with a minimal footprint while migrating customers to other regions. AWS says it’s helping affected customers migrate and that many already operate from elsewhere. Bahrain and Dubai facilities have suffered multiple hits, and IRGC threats loom over other tech giants; no timeline for return to normal operations.
HN Comments
Paula Maddox's DCJ11HackPlus project shares DCJ11-based boards (main CPU, RAM/ROM/text display) with KiCAD schematics, PAL files, and a backplane. It includes a 16x16 dot-matrix display, a 16-bit word-only memory map, and test/code examples. Code samples (Hello World, Knight Rider, terminal tester) are in .asm and .oct; designed for PDP-11 assembly and tested with a PDP-11 simulator; default baud is 115200. A hobbyist project leveraging backplane expansion, it has moved from GitHub to Codeberg.
HN Comments
TinyOS-RTOS is an ultra-lightweight real-time OS for resource-constrained IoT devices. Kernel under 10 KB, minimum 2 KB RAM, with a preemptive priority-based scheduler (256 levels) and O(1) priority lookup. Provides mutexes, semaphores, queues, timers, a fixed-block memory allocator, and a VT100 shell with 19 commands. Includes a lightweight POSIX-like file system, network stack (Ethernet, IPv4/UDP/TCP, HTTP, DNS), TLS/DTLS via mbedTLS, MQTT 3.1.1, CoAP, OTA, power management, watchdog, and MPU-based memory protection with secure boot. Hardware support: ARM Cortex-M, RISC-V, ESP32-C3; MIT license. Includes examples and modular repo structure.
HN Comments
PIGuard introduces a lightweight prompt-guard against injection attacks and NotInject, a dataset to measure over-defense. NotInject contains 339 benign sentences with trigger words common in prompt injections, showing current guardrails exhibit over-defense and drop to ~60% accuracy. PIGuard employs Mitigating Over-defense for Free (MOF) training to reduce trigger-word bias, achieving state-of-the-art results on NotInject and other benchmarks, and surpassing PromptGuard, ProtectAIv2, and LakeraAI by ~30.8%. NotInject was built by identifying trigger words via frequency differences, filtering with LLMs and humans, and generating diverse sentences with 1–3 trigger words. PIGuard is 184MB and open-source.
HN Comments
Examines the status of the Model Context Protocol and whether it is dead or no longer in use.
HN Comments
RepoProver is a multi-agent framework to automatically formalize mathematics textbooks in Lean. It coordinates sketcher, prover, maintainer, and reviewer agents that collaborate in a shared Lean project, using a lightweight, filesystem-based issue tracker and a merge queue to keep the main branch building. It supports Lean projects with Mathlib, LaTeX sources organized by chapters, and manifests mapping chapters to target theorems. It includes a toy example, SLURM-enabled multi-node runs, and trajectory tooling for monitoring agent progress.
HN Comments
Oracle filed over 3,100 H-1B petitions in FY2025–FY2026 (2,690 in 2025 and 436 so far in 2026) while laying off thousands of U.S. workers in a major restructuring. The filings spur questions about using H-1B visas to replace American workers and the program’s impact, with Oracle offering no public comment.
HN Comments
Could not summarize article.
HN Comments
Made by Johno Whitaker using FastHTML