AI Summarized Hacker News
Front-page articles summarized hourly.
Jaeger‑LeCoultre’s Atmos clock is a unique self-winding timepiece powered by ambient temperature changes. A hermetically sealed pressure capsule filled with ethyl chloride expands and contracts with temperature, driving a metal bellows that winds the mainspring and keeps time with minimal external intervention. Since its 1928 invention, Atmos has evolved through multiple calibers (519, 522, 526, 528, 540, 560) and designs, including special editions like Atmos Atlantis, du Millennium, and Marc Newson collaborations, blending traditional craftsmanship with advanced engineering.
HN Comments
scriptc is a TypeScript-to-Native Compiler that turns ordinary TypeScript into small native executables with no Node/V8. By default it builds statically; --dynamic embeds a QuickJS-based engine to run npm deps and non-static code. It statically analyzes TS, lowers to a typed IR, emits C, and compiles with clang to a self-contained binary. It provides a Node-like API subset and TS standard library, supporting TS features like generics and async/await. Primary target: macOS arm64 with cross-compilation for Linux/Windows.
HN Comments
A simple home black-hole visualization for science-grade rendering, using Synchray.jl.
HN Comments
A concise history of John Backus’s FP project (late 1960s–1991): from Red, a reduction-based, variable-free language, to FP and its formal algebra of programs and Applicative State Transition systems. The piece situates this amid the software crisis and Backus’s push for simple, high-level programming. It covers collaborations with Dines Bjørner, John Williams, and others, Backus’s 1977 Turing Award lecture and its controversial reception (notably Dijkstra), and later implementations (Berkeley FP, Illinois FP, FPC, Stanford FP, oc-FP) and related literature, with archival effort by Paul McJones.
HN Comments
Fonts In Use is an independent typography archive that catalogs typefaces and their real-world usage. The site organizes content by topics (e.g., Activism, Film, Fashion) and formats (Posters, Magazines, Web, Packaging), and lists hundreds of fonts—from Helvetica, Futura, Univers, and Garamond to Akzidenz‑Grotesk and Gill Sans. It emphasizes advanced search and sorting by contribution or artwork date, with examples spanning album art, posters, book covers, and exhibitions. ©2010–2026
HN Comments
I reflect on how prediction markets have evolved from useful information aggregators to platforms risked by asymmetrical information. A White House teleprompter operator reportedly earned six figures by betting on the president’s words, illustrating how a counterparty with insider-like access can destabilize markets without proper regulation. He also warns that Trump Media may sell early access to Truth Social posts, privatizing official proclamations and giving some traders an informational edge. While he helped argue for freer markets, he notes 90% of current betting is on sports, not useful economic information, and worries about gambling harms.
HN Comments
Port Zero provides stable local domains for development by assigning each port to 0, giving every process or git worktree its own *.portzero.local URL and eliminating port conflicts. It also offers cloud tunnels to expose apps on phones or the internet via HTTPS. It’s free and open-source for local tunnels (GPLv3); cloud features require paid plans (Free, Professional, Team, Enterprise). Installers for macOS (Homebrew), Linux, and Windows. Works with any language and supports AI agents and multi-branch worktrees; one command wires up tunnels.
HN Comments
US prosecutors in Atlanta are pursuing Sam Tunick under a federal obstruction statute after his GrapheneOS-powered Pixel phone apparently wiped itself during an airport security search, erasing data. Prosecutors say the wipe was an intentional destruction of evidence; Tunick's defense argues the search violated his constitutional rights and that the data should be suppressed. The case tests how border/airport searches apply to privacy-focused OSes like GrapheneOS, which advocates say protect user privacy and security, not criminal activity, and is linked to Cop City protests.
HN Comments
PGSimCity is an early, unreviewed 3D visualization of how PostgreSQL works, depicting the engine loading city code. It’s a prototype likely containing inaccuracies; contributors are invited to file issues or pull requests. It requires JavaScript and WebGL2 to run.
HN Comments
Wattage is a token-spend profiler and cost-regression gate for AI agents. It ingests OpenTelemetry traces or fixtures, prices every call against a fixed pricing snapshot, and flags waste with detectors (prefix churn, cache gaps, redundant tool calls, nonconvergence, retrieval thrash, and high reasoning spend). It can produce priced reports and HTML flame graphs offline, and offers a CI gate that fails PRs if cost deltas exceed configured thresholds. Baselines live in .wattage/baseline.json and are updated by a separate workflow.
HN Comments
cursor-bridge is a Rust binary that lets Claude Code run on your Cursor subscription with zero config. It starts a local proxy, reads your Cursor token (macOS keychain or CURSOR_TOKEN on Linux), spawns Claude with proxy-env, and translates Anthropic API calls to the Cursor agent CLI. It requires Cursor with the agent CLI and Claude Code CLI. Install via cargo install cursor-bridge or download a binary. It’s a single, self-contained tool (no daemon, no extra env vars) and makes Claude Code effectively free under Cursor’s Auto model. MIT-licensed; not affiliated with Anthropic.
HN Comments
Lee Hutchinson built a self-setting, red seven-segment bedside clock to avoid manual DST fiddling or apps. He chose a Raspberry Pi Zero W, Adafruit 1.2" red display with HT16K33, and a 3D‑printed enclosure, running LAN‑only NTP and a local apt mirror. A Python, systemd‑based clock service offers HomeKit control and CLI, deployable via Gitea Actions. When coding proved hard, he used Claude Code and Fable LLMs for code and CAD tweaks. The result is a dimmable, self-updating clock with an accessible repo and a tale of tinkering, soldering, and learning.
HN Comments
World Model Optimizer lets you convert agent traces into continually improving models by distilling frontier open models. It starts with a world-model endpoint, then uses trace-based scoring, routing policy optimization, and model distillation to improve performance at lower cost. The CLI commands—wmo build, wmo optimize route, wmo optimize model, wmo serve, wmo login, wmo run—work with a hosted platform (platform.experientiallabs.ai) or an E2B backend for sandboxed evaluation. World models provide simulated environments via HTTP endpoints to run sessions and steps.
HN Comments
Kazuyoshi Miura, 59, the world’s oldest professional footballer, scored his first competitive goal since November 2022 for Fukushima United (Japan’s third tier) in a 7-0 Emperor’s Cup win over Iwaki Furukawa. The Japan icon, known as 'King Kazu', began at Santos in 1986 and has played in Brazil, Italy, Croatia and Australia. He extended his loan at Fukushima from Yokohama FC to June 2027; he joined Yokohama in 2005 but hasn’t played for them since 2020. Miura has 55 Japan goals in 89 caps and helped popularise the J.League since its 1993 launch.
HN Comments
A humorous roundup of dangerous and makeshift server-room setups. Tales include hot weather needing fans that create trip hazards from ajar doors; weather-related issues with fax machines; a vault-cap left open during telco work; a “server rack” made of wood; reliance on extension cords and improper wiring; equipment placed in a hotel stairwell and even bolted to a column in a metal shop.
HN Comments
Dependent-typed languages (Coq, Lean) let you encode strong invariants, but proof overhead makes them niche. The author argues LLM-assisted proof automation can reduce “proof engineering” and memory blowups, making such systems practical again. To explore this, they built a Zstandard decompressor in Lean and explain FSE entropy coding, showing Lean’s strict evaluation, do notation, and in-place updates. While scalability and effort remain concerns, combining dependent types with LLMs could make rigorous software engineering more mainstream.
HN Comments
Explores the idea of an endless puzzle, where interconnected pieces create ever-growing complexity and invite reflection on perception, order, and meaning.
HN Comments
Audio-Cassette-Simulation recreates cassette-tape audio profiles via ffmpeg, adding tape hiss, wow and flutter, pitch modulation, bandwidth limits, and EQ adjustments. Includes presets such as BASF LH Extra C90, Maxell UD C90, Sony CHF60/CHF90, TDK D90, and MK-60 with varying hiss and drift. Prereqs: bash and ffmpeg (with libmp3lame). Usage: in a cassette folder, run convert_cassette_*.sh for local files or record_stream_cassette_*.sh to record a live stream; outputs go to ./out. MIT license.
HN Comments
Explores how languages treat integers across C, C#, Go, Swift, Rust, and Odin. The author argues that default int usage and unsigned pitfalls invite bugs, while C’s overflow is undefined. Rust’s design—explicit sizes, i/u prefixes, and address-sized usize/isize for indexing—offers safer, clearer behavior and avoids implicit casts. The piece advocates treating overflow with a mix of asserts and controlled wrapping in release builds, and suggests signed integers with overflow checks as a practical middle ground. Ultimately, the author wishes more languages adopted Rust-like integer systems.
HN Comments
Ast-grep rewrote Tree-sitter’s C core in Rust with AI help, yielding a parser ~30% faster and end-to-end ~22% faster on real workloads. The project started by preserving C behavior, then trimmed scope: removed incremental parsing and Wasm grammar loading, refactored for safety, and tuned memory layout with an arena and compact indexes. Key lessons: avoid work for rare ambiguities, reuse lookups, and give simple paths for common cases. Memory increased initially (memory arena) but was tamed; TypeScript stress tests peaked around 91 MiB. The effort highlights productive human–AI collaboration and end-to-end profiling.
HN Comments
Made by Johno Whitaker using FastHTML