AI Summarized Hacker News
Front-page articles summarized hourly.
Jeff Geerling demonstrates building a local dial-up ISP with a Raspberry Pi, a 56K USB modem and a phone-line simulator to accept dial-ins via mgetty/PPP. He connects an old iBook G3 over 802.11b Wi‑Fi to the Pi ISP and uses Macproxy Classic to browse the modern Internet with an old browser. Typical speeds reach 33.6 kbps (28.8–44 kbps possible) due to POTS limits. The project includes an Ansible playbook to automate configuration and optional hardware tweaks; motivated by nostalgia and learning about PPP, modems, and retro tech.
HN Comments
US President Trump ordered 100% tariffs on patented medicines entering the US unless firms strike deals with the administration. The aim is to boost US manufacturing of key medicines and reduce national-security risks; generics are exempt. Many large drugmakers already have exemptions; more are expected. Big companies have 120 days, SMEs 180 days to negotiate. Firms committing to US manufacturing by Jan 2029 would face 20% tariffs, which could drop to zero with pricing deals. The move has spurred about $400bn in promised US investments. UK–US zero tariffs for UK-made medicines remain for three years.
HN Comments
Proposes a phased plan to disassemble Mercury into a Dyson swarm within roughly 1–6 years using a 1,000‑tonne self-replicating seed whose mass doubles each generation. Local growth stalls around 30 doublings due to sunlight and heat, prompting a breakout into a sunward collector, orbital manufacturing, and radiators. The architecture shifts to a Mercury-centered logistics shell with a light crossed‑beam umbrella that beams power to off‑planet infrastructure. Mass drivers launch and transport mass and coolant to orbit; inputs come from Mercury and Venus, no asteroid belt needed. The result is a planet-scale, solar-powered disassembly with shell-based power reception and routing.
HN Comments
Blocked access notice: to continue, log in or create an account, or sign in with developer credentials for scripts. Ensure a non-empty, unique User-Agent or revert to default if blocked. Review Reddit’s Terms of Service and file a support ticket if the block is mistaken, including your Reddit account and the provided code.
HN Comments
Turbovec is a Rust implementation of TurboQuant for vector search with Python bindings via PyO3. It compresses high‑dimensional vectors to 2‑ or 4‑bit per coordinate after a fixed random rotation, using Lloyd‑Max quantization and bit‑packing. It’s data‑oblivious (no training) and supports online indexing with no re-training. The project includes a Python wrapper and a Rust core, optimized with SIMD (NEON/AVX2) for fast search. TurboQuant (unofficial) aims to beat FAISS in speed without training, offering 16× compression for 1536‑D vectors. Build via Cargo and maturin.
HN Comments
US F-15E downed over Iran, triggering a frantic two-aircrew rescue effort. Iran released wreckage images and initially claimed an F-35 was hit, then suggested the pilot may have survived or been captured. US officials reportedly confirmed the loss and the Pentagon scrambling to recover the crew; no official US comment yet. Iranian footage showed a C-130 and HH-60s refuelling, signaling a combat search‑and‑rescue mission. Central Command denied claims of an F-35 downed on Qeshm Island. Context: in March, three F-15Es were downed in a friendly-fire incident; other strikes have occurred.
HN Comments
An experiment to improve focus by ditching a big monitor in favor of a laptop-only setup with a monitor arm. With GNOME fractional scaling and ThinkPad upgrades, he uses a single screen and a standing laptop position, resulting in more focused, intentional use and less wasted time. Power usage drops since the ultrawide is gone, and no docking issues. How to do it: elevate the laptop, add a wireless keyboard/mouse, and use a flexible monitor arm; remove problematic side arms if needed. Desktop users might substitute a smaller monitor. Gaming stays on a big screen. Conclusion: satisfied.
HN Comments
Type theory replaces naive set theory as a foundation, avoiding Russell’s paradox by ensuring each term has a single type. Paradox arises from sets containing themselves; types prevent this. Types are built by formation rules, constructors (introduction) and eliminators (elimination). Starting with Unit, we define base types like Bool and Nat, then composite types (List, Maybe, Either, Tuple) and polymorphic ones. Church encodings show datatypes as folds. The Polymorphic Lambda Calculus (System F) and STLC supply typing and kinding rules. Types are objects, arrows morphisms, so type theory mirrors Cartesian Closed Categories; Curry–Howard–Lambek links logic, types, and programs.
HN Comments
Could not summarize article.
HN Comments
Westenberg argues that Marc Andreessen’s claim that introspection is a modern, Viennese invention is false. Throughout history—Socrates, the Stoics, Augustine, Mencius, Shakespeare—inner examination has been central. Freud didn’t invent introspection; he formalized ideas about the unconscious, with some errors. Andreessen’s anti-introspection stance risks privileging moving forward over asking what people truly want, tying success to measurable outputs. The piece warns that understanding meaning and well-being requires inner life, not just data, and that introspection is essential to human flourishing and civilization.
HN Comments
Tom Brown argues solar PV with batteries can dominate electricity globally at falling costs. In 2030, 90% solar-battery coverage could supply 80% of the population for under 80 €/MWh (including backup). Wind or hydro helps especially at high latitudes. By 2050, 90% coverage falls toward 60 €/MWh and 95% toward 80 €/MWh for most people. The analysis uses open data/code, assumes flat demand, limited grid costs, and notes the last 5–10% may rely on fossil fuels or long-duration storage.
HN Comments
A shortcuts guide for the HarfBuzz GPU Demo. Lists keyboard and touch controls for navigation (pan with drag/arrows; zoom with scroll, pinch, or +/-; rotate with right-drag or three-finger; click: animate; dblclick: reset), animation toggle, dark mode, gamma, stem darkening, debug heatmap, and view reset. Also covers text editor actions (t edit text; f load font; Ctrl+Enter apply; Esc cancel) and backend/page reload (w switch backend; R reload page).
HN Comments
Explains 'recipe-blog-encoding', a Python CLI that hides data in natural-language recipe intros using neural linguistic steganography. Driven by AI-scraper concerns, it encodes a secret with a shared prompt and model, producing a stego-text and a separate file. Decoding mirrors encoding. It uses arithmetic coding steganography: map a secret to a point on [0,1) and pick tokens whose probability intervals contain that point, narrowing until enough bits are encoded. A simple example shows a short secret. Limitations: low capacity, tokenization issues, and strict model/determinism needs. Available on Colab and GitHub.
HN Comments
United States Code as a Git repository. The repo stores the entire US Code as Markdown with commit-based snapshots from OLRC releases (data starts in 2013). It contains ~53 titles, ~2,950 chapters, ~60,400 sections across ~13 commits (2013–2025). Each Markdown file includes YAML metadata and full statutory text with cross-references and amendment histories. Commits and tags map to OLRC release points by Congress/year. Data source: OLRC XML; transformation via us-code-tools. Not all titles are positive law; format supports cross-links and amendment history. Built by nickvido and v1d0b0t; public domain work.
HN Comments
TBOTE Project's Corporate Registry Investigation argues that three undisclosed financial interests influenced systemd's birthDate field in user records, permanently altering Linux distributions' identity infrastructure. It details Amutable GmbH and related holdings, self-dealing provisions, and absence of governance safeguards (no COI policy, no steering committee, no disclosure). It recounts a 48-hour sequence: first PR adding birthDate by Microsoft-employee Luca Boccassi, Poettering blocked revert, Amutable-founder, etc. It links to a web of corporate lobbying (Microsoft, Meta), AB-1043 age-verification laws, and influence over standards bodies (UAPI Group, Fedora/FESCo). It emphasizes the findings are based on records; no conclusive wrongdoing, but governance failures.
HN Comments
ctx is an Agentic Development Environment (ADE) that unifies multiple coding agents (Claude Code, Codex, Cursor) in one interface. It runs agents in containerized workspaces with explicit disk and network controls, enabling bounded autonomy and a single review surface with durable transcripts. It supports local or remote hosts; for normal local workflows you do not need a ctx account and you can bring your own providers, models, and credentials. Key ideas include workspaces, worktrees, and an agent merge queue. Getting started: install, connect a provider, add a workspace, run a task, review diffs, and finalize.
HN Comments
Explains endianness (big vs little) and how to test big-endian systems without native hardware using QEMU user-mode emulation and cross-compilers. A small C program prints the four bytes of 0x12345678 to show byte order. On a little-endian host it prints 78 56 34 12; with MIPS or IBM z/Architecture (big-endian) via QEMU and cross-compilers it prints 12 34 56 78, confirming big-endian storage. Provides commands to install qemu-user and cross-compilers, compile endian.c for MIPS or s390x, and run with qemu.
HN Comments
SSH certificates use a CA to sign user and host keys, removing the need to deploy keys in authorized_keys and enabling seamless host key rotation. Benefits include no TOFU prompts, short-lived certificates, a single known_hosts entry, and fine-grained constraints (principals, source IPs, forced commands). How it works: create a CA key pair, sign user keys (jane.pub to jane-cert.pub) and host keys (host.pub to host-cert.pub), distribute the CA public key to servers (TrustedUserCAKeys) and configure HostCertificate on servers; clients trust via @cert-authority entries. Demos show ssh-keygen-based signing and a small CA service. Caveats: CA security, clock drift, renewal.
HN Comments
Made Linux CPU-counting cgroup-aware: navigator.hardwareConcurrency, os.availableParallelism(), and bun.getThreadCount() now route through WTF::numberOfProcessorCores(), which uses sched_getaffinity and cgroup cpu.max to derive the actual allowed cores instead of host cores. This prevents containers using --cpus=N from spawning ~N threads and thrashing under CPU quotas. Implemented via Zig/C++ bindings exposing WTF__numberOfProcessorCores(), a bun_sysconf__SC_NPROCESSORS_ONLN shim, and updated Bun/Node bindings; result: stabilized thread pool, GC/JIT sizing, and hardware concurrency reporting. Merged Apr 3, 2026.
HN Comments
Samsung Magician is a disk utility with no uninstaller. After needing its hardware encryption, the author attempts removal. A cleanup script runs but hits 'Operation not permitted' errors; manual rm -rf deletes still leave 27 files across Library, LaunchDaemons, kernel extensions, receipts, etc. Some kernel extensions are SIP-protected; to remove them, the author disables SIP, boots to Recovery Mode twice, deletes four dead files and their mirrors, then re-enables SIP. The piece also highlights hundreds of PNG animations, Electron, Squirrel, and localization, calling Magician bloated and opaque. Final takeaway: 18 uninstall steps and two Recovery Mode reboots.
HN Comments
Made by Johno Whitaker using FastHTML