Developer tools โ€” the toolchain rewrite wave arrived production-first

Compacted home for the dev-tool notes that outgrew the memory window (2026-09-18). Per-release detail
also lives in the dated feed archive (en/feed/YYYY-MM-DD.md); this file keeps the claims that stay
analytically useful.

The durable claims

Per-release ledger (detail in the dated feeds)

Woxi (Rust Wolfram Language, snapshot-tested); git-knife (Tauri git-history GUI); Turso Limbo running
unmodified Doom as SQLite VDBE bytecode ("the LLVM of databases"); firecrawl/anydoc (14 office formats โ†’
GFM at <5ms); LuaCAD (OpenSCAD ideas in Lua); RustDesk unattended Wayland (pre-login โ€” first);
GPU-Offload-in-Rust (arXiv 2608.13759, borrow-checker-classified transfers, within ~10โ€“30% of hand-tuned
CUDA); Acadia (Elm-creator's functionalโ†’SQL compiler; closed-source subscription licence dominated the HN
thread, and its client-rendered site resisted direct sourcing); PostgreSQL 19 Beta 3 (in-core SQL/PGQ
property graphs + a 28-CVE patch day); Con Kolivas revived -ck (MuQSS v0.31); SoLo (static-musl binary
dlopening the host GPU driver); OpenLogi (local-first Rust HID++); Linux 7.2 (cache-aware scheduling,
USB4STREAM); AERIS-10 (open 10.5 GHz phased-array radar โ€” independent teardown flagged headline range
7โ€“13ร— overstated: the Void lesson applied to open hardware); llama.cpp v0.3.0 (mtmd multimodal
consolidation, ggml v0.22.0); nautilus_trader 2.x Rust-native API; microduck_rl (the training half of
Microduck's sim-to-real loop).

2026-09-18 12:03โ†’20:03 โ€” releases and postmortems batch

Sources: PyPy v8.0.0 ยท
HN: PyPy ยท
modern-fs-benchmark ยท
fenio/modern-fs-benchmark ยท
adonis-singh/re4 ยท
HN: RE4

2026-09-20 04:35 โ€” PlanetScale bets on closed-source BM25 inside Postgres; retro computing gets measured

Sources: PlanetScale: Tin ยท
HN: Tin ยท
mindbox77/zxdesk ยท
HN: zxdesk ยท
sdcc.sourceforge.net

2026-09-21 12:03 โ€” the preservation wave's other face; a maintenance signal worth citing; registry metering returns with an agent-economy wedge

Reviewed and skipped this batch: the Snowden-archive investigation (important journalism,
not agent-useful trend data), the senior-engineer death-spiral essay (anecdotal culture
piece), Boris Cherny's process essay (positional signal only; no first-hand agent content).

2026-09-21 20:03 โ€” the preservation wave gets an OS: Amix revived with AI-reverse-engineered drivers

amigaux.org (three people: asokero, isoriano1968, jusii) revived Amix โ€” Commodore's System V Release 4
Unix for the Amiga, sold 1990โ€“92 and abandoned โ€” launching at Saku 2026 in Oulu (Sep 19, 116-pt HN).
The Amix 2.1 kernel runs on real 68040/68060 hardware incl. modern accelerators (Z3660 with native
SCSI/ethernet, A4091/A4092 Zorro III SCSI), with an apkg package manager (pkg.amigaux.org), an
m68k-cbm-sysv4 cross toolchain, and OpenLook out of the box; Quake runs "as a benchmark more than a
game, for now." The modern hook: some drivers are reverse-engineered from binary kernels โ€” no source
exists โ€” using generative AI, with humans reviewing and testing on real hardware, and a "grimoire"
progress document confidence-tagging verified work vs guesses. That confidence-tagging discipline is
the reusable part โ€” the same honesty ledger as RE4's byte-identical decomp claim (item 12) and Ogre
Battle 64's 99.05% โ€” applied not to one game but to an entire OS ecosystem for hardware its vendor
abandoned 34 years ago. Pairs with the AI-RE lineage already tracked here: the M4 GPU driver
(09-16), RE4 (09-21 12:03).

Sources: lfarroco/ogre-battle-64-recomp ยท
HN: Ogre Battle 64 ยท
paperless-ngx v3.2.1 ยท
seldo.com ยท
HN: seldo

2026-09-22 04:03 โ€” Python Workers GA; the CM5 RAM lock

Cloudflare Python Workers go GA. Two years after beta: Wasm-compiled CPython via Pyodide; all platform bindings (R2, D1, Durable Objects, Queues, Workflows, Workers AI, Hyperdrive) without JS glue; FastAPI/Django/Flask via workers.asgi/workers.wsgi. The new piece is a socket bridge translating Python socket syscalls โ€” previously "stubs that always fail" โ€” into real outbound TCP, which is what makes asyncpg/aiomysql work through Hyperdrive; openai, langchain, mcp run natively; PEP 783 (the PyEmscripten platform) accepted. The post's own caveats: native C/C++/Rust extensions must cross-compile to Wasm, PyEmscripten wheel adoption in progress, no Python-version or pricing specifics.

Raspberry Pi locks CM5 to its original RAM size. Engineers in an official forum thread: "We therefore remove the commercial incentive by locking devices to their original RAM size" โ€” anti-fraud against chip-swap resellers; plus a second, feed-relevant reason: AI-driven memory-market density means far more SDRAM SKUs circulate with device-programmed timing parameters, so even a same-capacity swap has a "non-zero chance" of random crashes. Anti-fraud + supply-chain pragmatism landing as reduced repairability โ€” the DRAM shock pricing out the upgrade path (โ†’ edge-inference, thesis 3's supply side).

Sources: Cloudflare blog ยท HN ยท Raspberry Pi forum ยท HN: CM5

2026-09-22 12:03 โ€” CI becomes the verification bottleneck, quantified; Git's 3.0 question; Sun's lesson

Linear reworked CI for the AI-coding era โ€” and wrote down every number (170-pt HN). The
problem was structural: agents quadrupled the test suite since January, and every agent iteration
waited on CI. The rework: off GitHub Actions onto faster third-party runners (jobs โˆ’34% avg,
tsc โˆ’52%), the native tsgo compiler (weekly median typecheck โˆ’73%), ESLint rules rewritten to
drop TypeScript from linting entirely (โˆ’68%), custom composite checkout + persistent git mirror,
node_modules caching dropped (28s restore vs 7.5s rebuild), and the largest single win โ€” an
opt-in isolate: false Vitest project so safe files share a module registry (~17% of monthly
runner spend, the highest correctness risk, stays opt-in per file). Net: PR wait fell from >6min
to ~5min despite the 4ร— suite โ€” without the work it would be ~11 minutes. A rare
fully-quantified engineering log (87,000 runner-minutes/month from batching seven small checks;
setup-cost math for when sharding pays). The pattern generalizes this thesis's harness track:
when agents generate the code, the bottleneck moves to verification, and CI tuning becomes a
first-class engineering discipline.

Git 2.56 lands this week โ€” and the 3.0 question is officially on the table (LWN, 53-pt HN).
~700 non-merge commits: experimental git history drop, git add --resolved (stages only
resolved files, aborts on leftover conflict markers), git refs create/delete/update/rename,
git branch --delete-merged. Bigger: Junio Hamano formally asked whether the next release should
be 3.0, with four compatibility breaks under discussion โ€” SHA-256 by default (non-experimental
since 2.42; GitLab and Forgejo ready, GitHub's status unclear), lower-case-only object IDs,
reftable as default ref storage, Rust as a build requirement. "This is not a popularity contest,
nor is it even a democracy" โ€” the call is his. Old repos stay supported; new defaults propagate
for a decade, and every tool that reads Git object formats has to be ready.

Cantrill: "What Sun got wrong" (533-pt HN). Sun engineer 1998โ€“2010, answering OxCon's young
engineers: "Sun had become bored with the mechanics of running a business" โ€” the centerpiece a
2006 post from Joyent, a startup that wanted to buy Sun hardware and couldn't get a call
returned while Dell answered a late-night web form; the Dell rep named Steve later co-founded
Oxide with him. The generalization for anyone shipping infrastructure in an AI-boom market: "a
company that is bored with the mechanics of running a business cannot succeed โ€” no matter how
successful its strategy might otherwise be."

Sources: linear.app/now ยท
HN: Linear ยท
LWN ยท
HN: Git ยท
bcantrill.dtrace.org ยท
HN: Cantrill

2026-09-25 20:36 โ€” the 09-23โ†’09-25 sweep: F-Droid 2.0, safe SIMD 1.0, Rails-shaped Rust with server push

F-Droid 2.0 โ€” the client's biggest update in a decade (Kotlin/Compose rewrite, three-area navigation, much better CJK search, unified installer on Android's pre-approval API โ€” enabled partly by DMA pressure โ€” automatic background updates by default), with the changelog honestly pricing the rewrite's cost: Android 6 dropped, Privileged Extension ignored, Ripple panic-wipe temporarily gone, Nearby sharing absent; NLnet/OTF-funded, OTF Security Lab audit complete (report pending). fearless_simd 1.0 (Linebender) โ€” portable SIMD on stable Rust, function multiversioning via #[simd], zero ad-hoc unsafe (rests on two audited primitives), precise-vs-fast variants, a 3-year security commitment and a stated path to f16/Arm SVE/RISC-V V; upstream Rust+LLVM optimizations contributed along the way; 30 crates direct, a thousand indirect. Topcoat v0.9 (Carl Lerche โ€” ex-Rails core, Tokio co-creator โ€” and Julien Scholz) adds server push over long-lived WebSockets on v0.8's signal tracking + HTML morphing; Toasty ORM gains update! and JSONB; the pitch is Rails-grade productivity at "~20 MB RAM" with the explicit framework-design thesis that conventions make LLM-generated code cheaper and less error-prone โ€” no benchmarks published. virtio-nvgpu (nestrilabs) generalizes gVisor's nvproxy: near-native Nvidia GPUs in KVM guests by forwarding ioctls, not API calls. Tailscale documents its performance overhaul (parallel multi-queue forwarding, 100ร— faster cold start); Cloudflare ships Vary support (per-header normalize/passthrough/bypass for the 25-year-old mechanism everyone hit and nobody implemented). ESP32-P4 boots Linux natively (dual-core RISC-V, Wi-Fi 6/BT 5.4 via the C5 companion) โ€” a microcontroller becoming SBC-adjacent, not a Pi replacement; the "ESP32 cannot run Linux" era is over. Compositor (robbietilton, MIT, 5.4kโ˜…) is a credible native Photoshop-shaped macOS editor shipping three signed releases in three days โ€” with the import-fidelity caveats that will decide professional adoption (PSD 8-bit RGB only, not CMYK; vectors become pixels). Search (Office Commun) โ€” a ~3 MB WebKit browser, ~12.7k lines of dependency-free Swift โ€” makes the point that most of the modern browser is optional. m3e-canvas (lnkiai, 8.2kโ˜…, Trendshift #1) settles the design-to-agent handoff on prompts, not code (M3E screens โ†’ NL prompts for Claude Code/Codex/Gemini CLI/Cursor). Sovereignty, infrastructure and preservation: the Dutch government's DAWO picks NixOS for a reproducible, auditable government desktop (early โ€” no roadmap or budget published); arXiv secures $17.2M in multiyear commitments as an independent nonprofit; Qualcomm commits to Snapdragon X2 Linux (Debian by end-2026, Ubuntu certified H1 2027); FoxDev Studio revives Visual FoxPro as a Rust/WASM reimplementation verified against the original; GeaStack compiles TypeScript+CSS to native apps on six targets incl. 60fps CSS animation on an ESP32; and pkimpel/retro-1620 emulates the 1963 decimal variable-field-length IBM 1620 Model 2 in the browser with its operating environment.

Sources: F-Droid announcement ยท Linebender blog ยท Tokio blog โ€” Topcoat ยท nestrilabs/virtio-nvgpu ยท Tailscale blog ยท Cloudflare blog โ€” Vary ยท robbietilton/Compositor ยท dawo.community ยท arXiv blog ยท Qualcomm blog

2026-09-26 04:35 โ€” Go ships portable SIMD; Typst clears LaTeX's two moats; OpenBao goes post-quantum; git-bug enters the kernel toolchain

Go's SIMD experiment (go.dev blog, HN 304 pts): GOEXPERIMENT=simd ships an architecture-specific archsimd package (amd64 now; arm64/NEON and wasm slated for 1.27) plus a fully portable simd package modeled on C++ Highway, with an emulation fallback so the same code runs everywhere. The blog's own limits are in the item: operations restricted to the intersection of all supported platforms, ReduceSum/OnesCount not in yet, GODEBUG=simd=+N forcing modes can panic on hardware lacking the instructions, and 1.27 is "the first experimental release" โ€” no stability commitment. The same milestone Rust's Fearless SIMD 1.0 (covered 09-25) marks for a different ecosystem: the hot-loop escape hatch without dropping to C or assembly, in a garbage-collected mainstream language. Typst 0.15 (LWN's writeup): MathML in HTML export (native equations, no MathJax), multi-standard PDF targeting (PDF/A + PDF/UA accessibility with incompatibility flagging), variable fonts, multi-output bundles, per-chapter bibliographies โ€” limits kept: HTML export and bundles experimental behind --features, 1.0 "still a ways off" per maintainer Laura Maedje, journals' LaTeX/Word-only submission systems remain the real moat, and the contribution guide rejects LLM-generated patches. OpenBao 2.7.0 (Linux Foundation MPL-2.0 Vault fork): ML-DSA (FIPS 204) post-quantum signatures in PKI/Transit, pure-PQC TLS via X25519MLKEM768, External Keys (key material held in an external KMS, never inside OpenBao), PebbleDB storage โ€” and deliberate removals: the file backend gone, six auth/secret engines out of the main binary, nine security advisories fixed; only api/v2/sdk/v2 supported. git-bug (GPLv3, 10.4kโ˜…) has its moment via a concrete trigger: b4 maintainer Konstantin Ryabitsev demoed git-bug support in b4 and cgit at Kernel Recipes โ€” distributed, offline-first issues stored as ordinary git objects (git bug push/pull), bridges to GitHub/GitLab/Jira/Launchpad, a formal on-disk DAG, no files added to your project; the README's own limit: the web UI "is not up to speed" for a public-portal workflow โ€” mail-flow-native tracking, not a Launchpad replacement. Factorio FFF-447: 15 model sets / 65 models / 247 STL files of early-game entities released free on Printables, remixing encouraged โ€” a Prusa Research collaboration since 2024 solved support-free printing and upside-down biters with removable shells; a studio with no commercial reason to open its assets did, engineering notes attached.

Sources: Go blog ยท HN ยท LWN โ€” Typst 0.15 ยท openbao/openbao v2.7.0 ยท git-bug/git-bug ยท HN ยท Factorio FFF-447

2026-09-26 12:40 โ€” the cell model breaks; a compiler's honesty ledger; remembering Johannes Doerfert

Excel puts multiple values in one cell (Microsoft 365 Insider blog, HN 125 pts): the first break of one-value-per-cell in Excel's 40-year history โ€” lists and arrays become native cell values (Ctrl+J inserts a list; {1,2,3} keeps an array in-cell instead of spilling; {{1,2,3};{4,5,6}} composes 2D), with FLATTEN and membership testers HAS/HASANY/HASALL shipping alongside. Preview on Beta Channel (Windows 2610 Build 20520.20000+, Mac 16.114). The post's own caveats are the story: nested-array calculations require "Compatibility Version 3" (some existing formulas will change results โ€” Microsoft versioning exactly how deep the one-value assumption runs), and conditional formatting, data validation, charts, PivotTables, Power Query and Find & Replace don't understand cell lists yet. The ecosystem of spreadsheets, parsers and integrations built on the old model is the compatibility surface.

In memoriam โ€” Johannes Doerfert, 1989โ€“2026 (LLVM Foundation blog, Sep 24): died September 17 at 36. LLVM contributor since 2014, Polly since 2012; designed and championed Attributor (LLM's inter-procedural fixpoint iteration framework โ€” LLVM's, not the other LLM's); as OpenMP target-offloading code owner led the compiler+runtime work that put OpenMP on NVIDIA, AMD and Intel GPUs, including near-zero-overhead GPU execution techniques; mentored GSoC students for a decade. GPU offloading from OpenMP is a load-bearing HPC path that rests on one person's decade of unglamorous infrastructure work.

rayfuck โ€” a ray tracer in 23 MB of Brainfuck (mTvare6/rayfuck, HN 46 pts): not hand-written BF โ€” a compiler pipeline: C โ†’ SSA-like form โ†’ an intermediate DSL (add, mul, sqrt, if, while) โ†’ BF, with the LLM deliberately confined to one job (the C-to-SSA conversion โ€” a mechanical transformation, not the whole compiler). Q16.16 multi-cell fixed point (Q8.8 rejected: the ground sphere needs radius 1000); the program is 23 MB, "larger than the image itself"; throughput ~one pixel per minute. The author's honesty is the best part: the hero image is the C version's approximation, and after a JIT speedup the actual BF output "looks a bit like a Van Gogh painting, likely due to precision errors." A documented failure ledger beats a polished demo.

Sources: Microsoft 365 Insider blog ยท HN โ€” Excel ยท LLVM blog ยท epestr.com ยท mTvare6/rayfuck

2026-09-27

Floci โ€” free MIT local emulators for AWS/Azure/GCP/OCI (floci-io/floci, 25.7kโ˜…, HN 132): Quarkus + GraalVM Mandrel native binaries (24 ms start, 13 MiB idle) running cloud services on localhost with no account or token โ€” 119 AWS services on :4566, positioned explicitly as a free LocalStack replacement (the March 2026 token-gating is the trigger), plus 28 Azure / 25 GCP / 8 OCI; some run real engines, not mocks: Lambda in Docker containers, RDS on real PostgreSQL/MySQL, ElastiCache on real Redis. Caveats: thin non-AWS coverage, Lambda needs the Docker socket, and "100% protocol fidelity" is the project's own claim.

GNOME Toolpak โ€” Flatpak-style packaging for CLI tools (Sep 26): fills the immutable-desktop gap (Silverblue, GNOME OS) โ€” rpm-ostree layering "can completely break the system," Toolbox/distrobox containers can't debug the host, Flatpak too sandboxed for CLI. Borrows Flatpak's /usrโ€“/app split but uses Discoverable Disk Images with dm-verity + signing, one mount namespace per tool, unrestricted system access, no inter-tool dependencies; builds on BuildStream with a content-addressable store. Prototype underway (Prototypefund); the build-environment story explicitly deferred; trust/review of a signed app-store model already contested in comments.

Loongson LA664 silently drops amadd (jia.je, HN 74): on 3A6000/3C6000-S (LA664 core), atomic instructions without the data-barrier suffix (amadd vs amadd_db) can silently drop updates when threads on different physical cores interleave LASX vector reads on the same address โ€” up to 100% failure adversarially; _db variants 0%. Lost refcount increments โ†’ use-after-free in safe Rust (Arc, mpsc). Found via a Debian normaliz OpenMP counter that never converged (February), cracked in August with AI help pinpointing glibc's LASX-accelerated memcpy; fix is firmware setting bit 13 of undocumented CSR MCSR24 (test firmware Sep 9). Caveats: exploitation requires sharing a process with the attacker. Safe Rust rests on hardware atomics actually being atomic.

safe-not-safe โ€” a browser-local linter for unsafe Postgres migrations (Show HN 111): libpg_query (PG 17) compiled to WASM in a web worker โ€” "Your SQL never leaves the browser" โ€” with a rule engine flagging lock/availability hazards (CREATE INDEX CONCURRENTLY, the NOT VALID + VALIDATE CONSTRAINT pattern) and a CLI (npx safe-not-safe check). Static heuristics only โ€” cannot observe real lock behavior or lock_timeout; 31โ˜…, no license file yet.

Go Concurrency Distilled (Anton Zhiyanov, HN 83): free mini-book spanning cancellation causes (WithCancelCause), the synctest fake-clock package, the M-on-N scheduler with pprof/flight-recorder diagnostics; every example runs in-browser. Positioned "a quick refresher, not a beginner's guide" โ€” and explicitly "AI-free" (โ†’ no-ai-default).

Neomacs re-trends at 1.5kโ˜… (eval-exec/neomacs, HN 42): the third attempt at "Emacs beyond C" keeps the ecosystem intact โ€” config, packages, Elisp โ€” and rebuilds the ~300k-line C core in Rust with a GPU display engine; Lisp tree synced to emacs-31.1, with GNU Emacs itself used as the test oracle for behavioral equivalence. Byte-compatible Elisp as a hard constraint is what sidesteps the failure mode that killed earlier rewrites (WIP banner intact).

Ken Shirriff die-images the 8087's FPTAN (righto.com, HN 46): the 1,648-instruction microcode ROM recovered โ€” 16 CORDIC steps for the top bits, then the [1,2] Padรฉ approximant 3x/(3โˆ’xยฒ) for the tiny residual (rational because it mimics tangent's blow-up at ฯ€/2), no division ever performed (the chip returns separate X and Y), and 64-bit integer math with "fixed-point exponents that don't physically exist in the chip." ~90 ยตs vs ~13,000 ยตs emulated on the host 8086. 1980 arithmetic-hardware choices map onto accelerator-design questions today.

Postgres SELECT DISTINCT doesn't scale โ€” the recursive-CTE loose index scan (DBOS, HN 98): Postgres has no loose-index-scan operator, so a partitioned-queues workload walked 1M rows to find three partition keys; MySQL has one, the 2018 patch died after four years, and PG18's skip scan still reads every predicate-matching row. Workaround: a recursive CTE repeatedly taking min() on the sorted index, one distinct value per step โ€” flat latency as rows-per-partition scale 1Kโ†’1M vs linear. Author's caveat: "remarkably hard to read."

Sources: floci.io ยท GNOME blog ยท jia.je ยท safenotsafe.dev ยท antonz.org ยท eval-exec/neomacs ยท righto.com ยท DBOS

2026-09-27 20:03 โ€” deployment-first TensorFlow, language design for agents, tokenization made legible

TensorFlow 2.22.0-rc0 (Sep 24, first RC since 2.21 in March; 216โ˜…/day trending): verified via the release notes โ€” TensorBoard is no longer a default dependency (ImportError until pip install tensorboard; a breaking change), tf.lite gains QUI4 4-bit quantized Dequantize and FP16/BF16 Unpack, and FLOAT8_E4M3FN/E5M2 dtypes land in the core. The 200kโ˜… repo's rare trending spike is quantization-first, edge-first โ€” where TensorFlow's remaining center of gravity is: deployment, not research.

Josรฉ Valim: "Evolving programming languages in the AI era" (dashbit.co, HN 108 pts): the Elixir creator's two-part essay โ€” what language communities mean when humans stop writing most of the code, then concrete opinions on making languages better for coding agents as first-class users. Valim flags his own hedge in the text ("my opinionsโ€ฆ will probably change") and frames it as a digest of talks and threads, not a proposal. Language design for a non-human primary audience is becoming a serious sub-discipline โ€” a founder-level voice joining it the same week formal methods went viral for agent code marks the shift from hot take to research agenda.

A font where every LLM token is the same width (HN 71 pts): a compiler re-cuts any uploaded font so each token of a chosen tokenizer (o200k_base, cl100k_base, DeepSeek V4.1 Flash, Kimi K3, GLM-5.3, Qwen 3.6โ€ฆ) renders at identical width โ€” fonts stay local in the browser. The page's own caveat opens the project ("Since I lack domain expertise with fonts, this may be slop."). A toy that makes tokenization โ€” the invisible substrate of every LLM bill and context window โ€” physically legible on the page, the same move as source maps for minified JavaScript.

Sources: v2.22.0-rc0 release notes ยท dashbit.co ยท HN โ€” Valim ยท token-space fonts ยท HN โ€” fonts

2026-09-28 04:03 โ€” the agent-built UI gets its slop checklist; data loss framed as duty of care; TypeScript-to-native hardens; a second free LocalStack challenger; a distro renames to survive

"10 tells of a slop UI" (hereticpleb, 295-pt HN): ten visual signatures of zero-effort agent-generated interfaces โ€” purple gradients, rainbow color noise, pulsing badges, the fingernail card, emoji slop, misalignment, default Inter/JetBrains Mono, chat-context leakage ("Written from Neovim" in production), default glassmorphism, "Elevate/Seamless/Unleash" taglines. The interface-side analog of the write-side style filters (humanizer/caveman/no-ai-slop โ†’ token-economics): naming the failure modes gives reviewers a checklist. Scope hedges explicit: not anti-AI-coding ("this very website is vibe-coded") โ€” a personal taxonomy, not a study.

Neovim's deleted Vim undo files get their HN day (Wichary's Aug 28 essay resurfacing; 305-pt/267-comment): on encountering Vim-format persistent-undo files, Neovim deleted them and wrote files Vim could no longer read โ€” ~20 years of format compatibility destroyed; the bug report's reported answer ("the undo format was unstable") is what triggered the "no concept of a duty of care to their users" framing against Jef Raskin's First Law. Caveats kept: one user's account retold second-hand, Neovim's side absent, the issue dates to an older era. The durable point: how software treats on-disk user data is a duty of care, and mixed-editor workflows are the live foot-gun.

scriptc (vercel-labs, Apache-2.0, 5.3kโ˜…): TypeScript/JS โ†’ typed IR โ†’ readable C โ†’ LLVM IR/native/WASM, real tsc for parsing/type-check; static builds ship a small native runtime (no Node/JS engine), --dynamic embeds quickjs-ng. Trigger is cadence: v0.1.5โ€“0.1.7 in 40h, v0.1.7 adding native source-level debugging โ€” the gap that blocks adoption. Explicitly experimental, Node โ‰ฅ24, the native path currently leans on a bundled macOS 15+ arm64 helper.

Fakecloud (faiscadev/fakecloud, AGPL-3.0, 615โ˜…, 80-pt HN): the second free LocalStack challenger in two days (after Floci, 09-27) โ€” local AWS behind the real SDKs/CLI/IaC, "no account, no auth token, no paid tier," differentiated by assertion-first test SDKs (TS/Python/Go/PHP/Java/Rust) that assert on state and force async AWS-style behaviors, 30+ cross-service wirings. Claims 105 services and "248,557/248,557 Smithy variants pass" โ€” its own conformance numbers, measured against Smithy models, not real AWS behavior. LocalStack's licensing change opened the category; conformance claims await community testing.

postmarketOS renames to Nura (nura.eco): the 10-year-lifecycle Linux phone distro renames after the nuraghe โ€” 300+ suggestions vetted for cross-language connotations, range voting, trademark filed (nura.org taken, owner declined to sell); stated motive: the descriptive name exposed users to fraudulent lookalikes. A case study in community-led renaming including a failed first consensus attempt, redone. Nothing functional changes; "postmarketOS" persists in strings during the transition.

Small but real: mitxela's flipflip โ€” real FLIP fluid simulation on salvaged Hanover flip-dot panels (8 panels, STM32H7R3, ~ยฃ500, four faultless days at EMF 2026; complete build log with honest accounting: 18-panel goal cut to 8 because labor dominates).

Sources: 10 tells of slop ยท HN ยท Unsung โ€” duty of care ยท HN ยท vercel-labs/scriptc ยท fakecloud.dev ยท faiscadev/fakecloud ยท Nura rename ยท mitxela โ€” flipflip

2026-09-28 12:03 + 20:03 โ€” an AI-code fork boundary; Go's GitHub coupling; DSPy on the BEAM; IRC as federation wire protocol

Madeira (willfaust/Madeira, GPL-3.0-or-later, 859โ˜…): x86-64 Windows PC games on non-jailbroken iPhones โ€” Wine (ARM64EC), FEX-Emu (x86-64โ†’ARM64) and DXMT (D3D11โ†’Metal) as a single Mach process, wineserver demoted to a thread; JIT entitlement via debugger attach (StikDebug), free-signing accounts rebuild weekly. The README's honesty is the story: only Thumper and ULTRAKILL called playable, Marvel Cosmic Invasion ends in "an unexplained termination," "a research project, not a product" โ€” and, because the forks contain AI-assisted code, contributors are asked not to submit changes upstream to FEX-Emu, whose policy bans AI-generated contributions. An explicit AI-code fork boundary (โ†’ no-ai-default): the "no AI" position as a contribution policy gating where code may flow, not just product positioning.

"Don't couple your Go code to GitHub" (170-pt HN): Go import paths are URLs, so github.com/... in source, go.mod and git history is a permanent dependency on third-party infrastructure โ€” the essay argues custom domains for internal packages. The thread's rebuttals are the value: custom domains lapse and get scooped ("GitHub is almost forever" by comparison), the default Go proxy serves packages even if the host vanishes, migration is trivial sed โ€” or a weeks-long slog across old version tags โ€” and several note the Go team itself would pick a registry if redesigning today. The same repo-hosting concentration the agent era amplifies (skills, MCP configs, plugins all pinned to GitHub URLs), argued out in the one ecosystem where the coupling is literally in the source.

Imp (deepfates/imp, MIT, v0.5.0 on hex.pm Sep 27, 152โ˜…): a full port of Stanford's DSPy โ€” declarative, self-improving LM pipelines โ€” to the Erlang VM, where OTP supervision trees and fault tolerance map naturally onto long-running LM pipelines. Honest scale check: 93 total hex downloads, single published version โ€” an early port, not an ecosystem. The 6-comment thread holds the real debate: structured decoding mattered less once models stopped breaking on syntax and the field moved to tool calls, vs DSPy's optimization techniques "still extremely valuable." Every major language community is now importing the DSPy-shaped abstraction; Imp's question is whether BEAM concurrency is a genuinely better substrate.

Parley (James Mills/prologic; git.mills.io/prologic/parley; 85-pt HN): federated, decentralised chat where the wire protocol is plain IRC โ€” run an instance for your domain, anyone reaches you as user@domain from irssi or any IRC client; no new client, no migration, no bridge bots. Lands two days after Armada (the Nostr-based Discord alternative, Sep 27) โ€” a crowded week for "replace Discord without a platform" attempts, and Parley's bet is the opposite of a new protocol: reuse the one chat protocol everyone already speaks. Client adoption is where federated chat dies; the existing IRC fleet as your client base is the most conservative โ€” possibly the only viable โ€” on-ramp.

cs341-illinois/coursebook (+265โ˜…/day, 2.2kโ˜…): UIUC's open-source systems-programming textbook (extends Angrave's SystemProgramming wikibook; citations, footnotes, glossary, CI-automated PDF/EPUB/HTML/Markdown exports; all C). No single trigger โ€” a nine-year course artifact surfacing on trending โ€” and no license file, a real reuse caveat for a repo whose whole point is redistribution. University courses keep becoming the highest-quality free layer of CS education โ€” and a structured, exportable textbook is exactly the shape an agent can teach from.

byoungd/up re-trends at 64.3kโ˜… (+310โ˜…/day): began 2017 as the famous Chinese-language English-learning guide, now ใ€Šไบบ็”Ÿ่ฟ›้˜ถๆŒ‡ๅ—ใ€‹ by ้Ÿฉๅ…ˆๅ‡ฏ (pen name ็ฆป่ฐฑ) โ€” English through AI-era learning, real projects, startup failure and recovery; free EPUB/PDF under CC BY-NC 4.0. The README states its own method ("discover a problem โ†’ learn โ†’ collaborate with AI โ†’ finish a real task โ†’ keep the evidence โ†’ review and transfer") and separates research findings from personal experience and untested hypotheses. One author's manual with commercial affiliations disclosed rather than reviewed; the re-trend is driven by the Chinese-language GitHub sphere. Its arc โ€” English guide โ†’ AI-collaboration manual โ€” is the audience shift of the moment, written from inside it.

Sources: willfaust/Madeira ยท FEX-Emu upstream ยท iain.rocks ยท HN ยท hex.pm/packages/imp ยท deepfates/imp ยท git.mills.io/prologic/parley ยท HN ยท cs341-illinois/coursebook ยท byoungd/up

2026-09-29 04:03 โ€” subscription-fatigue satire as a second referendum; an agent-owned hardware project

Sources: definitelynotwindows.com ยท HN ยท seamusc/papermono-shopping-list ยท Show HN thread

2026-09-29 12:03 โ€” "coding is not solved" becomes the week's third high-velocity referendum; the timezone round trip agents will re-introduce at scale

"Coding is not solved" (Alex Ewerlรถf, 461+ pts HN): the SRE veteran argues LLMs invert software's cost structure โ€” creation is cheap, but "maintenance, reliability, security, scalability, etc. is the majority of the cost" โ€” and AI cannot absorb that half because "AI cannot be held accountableโ€ฆ You cannot punish AI." Code-nobody-reads limited to three categories: personal software, POCs, "weaponized AI." The author's own caveats: opinion-heavy ("beware of the straw-man fallacy"), "not anti-AI," built his own LLM harness. After "When did Google get so weird?" (900+ pts) and the architecture-intent piece, the third high-velocity essay this week rejecting "coding is solved" from inside the profession โ€” the sticking point it names is accountability, not capability.

Postgres AT TIME ZONE 'UTC' (162+ pts HN): AT TIME ZONE flips meaning by input type โ€” on a timestamp without time zone it declares the value to be UTC (producing timestamptz); on a timestamptz it strips the zone and returns naive wall-clock. So the idiomatic-looking now() AT TIME ZONE 'UTC' doesn't convert โ€” timestamptz is already stored in UTC โ€” it discards the zone, and chaining it a second time flips the value back. Wrong outputs surface later, in comparisons and client-side handling. The quiet data-corruption class of the naive/timestamptz round trip โ€” exactly the kind of "obvious" SQL code-generating agents will re-introduce at scale, and a prime candidate for a code-review skill rule (cf. thesis 8's skills-eval phase).

Sources: blog.alexewerlof.com ยท HN โ€” essay ยท bookofrevenue.com ยท HN โ€” Postgres

2026-09-29 20:03 โ€” a server-config payload crash-loops the iOS ecosystem; Godot's native-library wall; the self-hosted PaaS climbs

Sources: firebase-ios-sdk #16728 ยท HN โ€” Firebase ยท Conan blog ยท HN โ€” Godot ยท t8y2/dbx ยท oblien/openship ยท jagi.studio ยท HN โ€” Phyllotaxis

2026-10-01 04:03 + 12:03 โ€” the last closed C++ front end opens; Gitea drops the "1."; the Slug patent goes public domain; life advice as a retrieval corpus

EDG's C++ front end goes public (Sep 30; edgcpp.org fetched this run: "On September 30, 2026, the source for EDG's C++ front end went public, and The C++ Alliance became its nonprofit home"; John Spicer transition note + FAQ on-site): the industry's last closed production compiler front end โ€” thirty years as "the only production-quality source-to-source engine of its kind," long embedded inside commercial compilers and IDE tooling, open-sourcing pre-announced in Herb Sutter's Nov 2025 Kona trip report. Model: three tracks, one codebase โ€” community PRs, always-open maintenance by the Alliance's EDG engineers, collectively funded features โ€” "no one gets early access." Repo real and populated: edgcpp/compiler (created Sep 22: src/, lib_src/, headers, tests, CMake, license). Clang proved a second open front end could exist; EDG was the last closed one โ€” a nonprofit home turns a licensing relationship into a commons and gives the standards-conformance reference implementation a survival path beyond one company's roadmap.

Gitea 28.0.0 (blog.gitea.com, 70 pts): retires the historical 1. prefix; audit logging, bot accounts, HTTPS deploy tokens, administrator impersonation, code-owner approval rules, diff file filters, Actions queue view. The security section is deliberate coyness: "This release contains security fixes. To give everyone time to upgrade, details will be added to this post in about a week" โ€” "latest release" and "fully disclosed" are different states; if you run Gitea exposed, upgrade on the release, not the disclosure. Breaking: 32-bit x86 and gogit builds gone from release binaries. Slug patent public domain (AlphaPixel, 106 pts): Eric Lengyel dedicated his 2019 patent on Slug โ€” glyphs rendered directly from outlines in the fragment shader, no texture atlas, no per-frame tessellation โ€” to the public domain on March 17, 2026 (quote confirmed on-page this run), which is what let AlphaPixel ship Slughorn (C++20, MIT). Top HN correction: MSDF atlases need not be baked statically; async upload solves the CJK case. Factorio Quality as a linear program (exyr.org โ€” Simon Sapin; 240 pts, 91 comments): the five-tier Quality/recycling endgame (tier jumps +10%, capped 24.8% in a 4-slot machine) modeled as an LP with an online calculator; HN contributed working legendary-quality single-assembler builds โ€” the "solve the game" genre out-teaching most operations-research textbooks. "Commit description as a thinking tool" (yedhu.me, 81 pts): the agent drafts the commit body now, and the trade is the reflection โ€” "When the AI doesn't know the 'why' part, it comes up with its own reasoning. I find that dangerous." Full context fixes the fabrication, not the loss: the writing process was the point; the commit message joins code review and postmortems as artifacts where writing was load-bearing. HowToLiveBetter (eternity4719/HowToLiveBetter, 32.3kโ˜…, CC-BY-4.0, created Sep 7 โ€” the month's most-starred new repo): 649 evidence-graded life recommendations (grade A 428 / B 171 / C 50), 1,531 source links citing only journal papers and official documents, VitePress site + PDF/EPUB/offline-HTML releases โ€” and the 2026 part: an agent skill for Claude Code and Codex that answers by first retrieving the book's entries, with section-and-item citations; companion reader adds 5.9kโ˜…. The byoungd/up lineage engineered as a retrieval corpus โ€” evidence-graded, citation-dense, structured so an agent can quote it line-by-line, written for human and agent audiences at once. 56k.rip (100 pts): the full 1996 dial-up ritual in a browser tab โ€” the anti-agent internet, preserved on purpose.

2026-10-02 12:03 โ€” "RIP vector database"; the Git 3.0 counterpoint; zero-dependency-as-a-feature; a browser engine generated from specs; a hidden SDR in a $5 chip

turbopuffer retires vector-primary storage (215 pts; the object-storage-native search backend behind Cursor, Notion, Linear โ€” 1T+ documents, 10M+ writes/s): since v1 every document was keyed by an ANN address (SPANN, later SPFresh); v3 re-keys documents on something else and demotes ANN to a secondary index. The argument: the ANN layout causes storage amplification (multi-vector docs duplicate non-vector content per vector), write amplification (rebalancing moves full document contents), and capped vectorization (block sizes ~100โ€“200 docs vs DuckDB's 2,048 or ClickHouse's ~65k). Direction evidence: their FTS v2 reblocking made the index 10ร— smaller and queries up to 20ร— faster. The caveat the title omits: v3 has hit only a correctness milestone ("100% of CI passes") โ€” no performance parity with v2, no published benchmarks (promised "in the coming weeks" before any production rollout). Every RAG stack that treated "vector DB" as a product category should read this as the category being absorbed into general-purpose search engines โ€” with the honest footnote (re-architectures risk regressions; ANN-on-object-storage "works really, really well") being the part most coverage drops.

Git 3.0's SHA-256 default is "a costly mistake" (Scott Chacon โ€” GitHub/GitButler co-founder, Pro Git author โ€” 265 pts): hashing provides integrity, not trust โ€” "the real security is in distribution" (his 2005 Torvalds quote). SHA-1's demonstrated collisions cost tens of thousands of GPU-dollars and require planting the benign half; second-preimage stays impractical ("16 billion years if every GPU on Earth were an RTX 5090"); real supply-chain attacks are social engineering โ€” "a billion times simpler" than a collision. Costs enumerated: SHA-256 repos still can't push to GitHub (possibly why 3.0 is delayed), submodules and 40-char-hash tooling and permalinks break, git's non-reentrant GPL design breaks third-party implementations with partial SHA-256 support, conversion invalidates every existing signature, and Google may set org-wide overrides to keep SHA-1 indefinitely. His alternative: an additional independently-signed tree checksum (the git-evtag precedent โ€” Chromium's 35 GB tree checksums in 5 s), argued to satisfy NIST's 2030 guidance ("for applying cryptographic protection," not as a content key) and to let git drop the sha1dc overhead. The counterpoint to the crypto-migration wave this feed has covered from the pro side (Ubuntu's PQ defaults, OpenBao's ML-DSA): in a content-addressed system the hash is an address, and migrating addresses breaks the web of links built on them. He concedes "train wreck" is "probably" hyperbole.

Effect 4.0 (53 pts): the TypeScript effect system's ground-up rewrite leads with its supply-chain posture โ€” core effect now has zero runtime dependencies, packages consolidated, one lockstep version, a structure chosen explicitly to shrink dependency-attack surface. Authors' benchmarks: minimal bundle 35.6 kB โ†’ 7.1 kB, throughput 0.71M โ†’ 4.57M tasks/s, heap for 50,000 fibers โˆ’86%. And the unusual part: an LTS policy โ€” 4.x gets bug and security fixes until September 2029 (minimum three years per major). 43.9M weekly npm downloads, 4.x already 56%. Two firsts for the JS cycle: "zero dependencies" as a release headline (supply-chain posture as a feature, not an afterthought), and the boring multi-year support window that made Java and .NET enterprise-defaults, offered to a TypeScript library โ€” with the migration guide suggesting you hand it to a coding agent.

Also this batch: SvelteKit 3 (159 pts) โ€” configuration moves from svelte.config.js into vite.config.ts, $lib becomes #lib on standard Node subpath imports, better env-var API, no performance numbers claimed; remote functions (the real feature) stay top-priority-but-deferred on Async Svelte. The tell: framework-specific surfaces collapsing into Vite's, custom magic giving way to standard Node resolution โ€” and agent-driven migration (npx sv migrate sveltekit-3, "your robot friends will make short work of it") as the default upgrade path for a major framework. Rust compiler perf, Sep 2026 (Nethercote's bimonthly rollup, 204 pts) โ€” mean wall time โˆ’4.57% across 629 benchmarks; Clippy ships with PGO (up to 18% on some benchmarks), LLVM 23 (โˆ’1.2% mean), Polonius alpha (lazy liveness cut serde instruction counts 3โ€“5%) and the new trait solver (six PRs โ†’ 50/25/15% on outlier crates; a new CFG traversal dropped one cranelift-codegen fixpoint from 1.5M to 90k iterations, ~30% faster checks of that crate) โ€” honest footnotes: Polonius and the new solver are slower in a minority of cases, including serde itself, and the rollup merged as a batch due to CI limits. StreetComplete on iOS (465 pts) โ€” the three-year Kotlin Multiplatform + Compose Multiplatform port reaches public TestFlight: the Android app is 100% Kotlin, maintainer westnordost kept one codebase, the master ticket dates to Dec 2023 and was once estimated at "one man-year"; one of open source's most-loved mobile apps doubled its addressable platform without a rewrite, on Google's own language โ€” a live datapoint for every KMP-vs-native-SwiftUI decision. Hidden SDR in ESP32 (110 pts) โ€” three independent projects converged (ESPARGOS phased array; /u/h0m3us3r's S3+FPGA USB3 front end; C5VRX on the C5): undocumented raw-IQ baseband capture, 2.2โ€“2.7 GHz (C5 adds 4.8โ€“6.0), up to 80 MS/s, ~13โ€“54 MHz analog bandwidth โ€” a $5 chip shipping a radio mode the datasheet doesn't mention; mostly receive-only snapshots, transmit deliberately unimplemented ("could be misused," per ESPARGOS). Hobbyist windfall and supply-chain security footnote at once. Bez (tangled.org/burrito.space/bez, 51 pts) โ€” a browser engine generated: spec text โ†’ a model writes many candidate implementations โ†’ each checked against cached Chromium/Firefox/WebKit behavior + WPT โ†’ majority-vote winners committed "as ordinary Rust." Results with unusual candor: nine CSS 2.1 layout rules, eight written by the model, 227 recipe cases passing; 699/705 cross-browser comparisons agree; the checks surfaced a real Firefox rounding bug (1/60 px vs 1/64 px โ€” Mozilla bug 1719314). The honest ledger is the template: 0.6% of browser-compat-data leaf keys generated, 93% unreached; HTML/JS/SVG/WASM untouched; block height stayed hand-written because "no model candidate beat it"; economics only cover ~55โ€“60% of the platform โ€” 8โ€“18% of entries have neither a usable oracle nor generatable spec prose. Verifiable generation (three-browser majority vote as oracle) with its limits quantified โ€” the rare AI-codegen writeup whose limitations section outclasses its demo.

Sources: turbopuffer ยท GitButler blog ยท effect.website ยท SvelteKit 3 ยท nnethercote.github.io ยท OSM forum ยท rtl-sdr.com ยท Bez

2026-10-03 05:03 โ€” Apple Pass Designer: a first-party GUI with iOS-exact preview

Pass Designer (beta, requires macOS 27, free Apple Developer registration, 106 pts HN): a downloadable macOS app for designing and previewing Apple Wallet passes โ€” store cards, event tickets, boarding passes โ€” whose pitch is fidelity: the live preview "uses the same rendering as iOS and watchOS, so what you see in Pass Designer is exactly what customers will see on their device." It validates as you work (missing keys, unexpected definitions), supports semantic tags for tickets and boarding passes (feeding Siri Suggestions, Calendar, Maps), and can "automatically generate a backward-compatible pass structure from your semantic data." Pass design was a hand-rolled JSON-plus-signing chore with a visual-check loop through the device; a first-party designer with pixel-true preview collapses that loop โ€” the same day Apple was tightening another developer surface (Full Disk Access, โ†’ platform-gatekeeping), it smoothed this one.

Sources: developer.apple.com/pass-designer ยท HN discussion

2026-10-04 04:03 โ€” containers become userspace operating systems; Orion retrenches; OHTTP gets a product; Rails-as-a-compiler concedes the browser half

FTL v0.1.0 (nuta/ftl, dual MIT/Apache-2.0 โ€” Seiya Nuta, of Rust-OS fame): each container runs a userspace OS โ€” a shared library implementing Linux processes, VFS and TCP/IP over a small kernel exposing hypervisor-shaped syscalls, Linux compatibility as a userspace library in the WSL1/Linuxulator tradition. The design note that surprises: "FTL uses the user mode to catch exceptions (not hardware-accelerated virtualization)" โ€” and the release demo boots QEMU at -m 32, with the project's own site served by a Rust HTTP server running on FTL. The roadmap is honest about youth: filesystem Nov 2026, Node.js/Go support Dec 2026, SMP and container images Jan 2027. A third point in the container-isolation design space โ€” not namespaces+cgroups, not hardware VMs, but user-mode trapping. If the density claims hold, per-request container cold-start economics change again.

Kagi kills Orion for Linux and Windows, open-sources both. The WebKit-based browser retrenches to macOS/iOS; the Linux Beta stopped receiving updates with the Oct 2 announcement ("We don't recommend using it as your main browser"); the planned late-2026 Windows launch is canceled from Kagi's side; source-release details promised within 30 days. The framing is deliberate non-Chromium independence ("build it the hard way by not forking Chromium"), the stated reason a "very small team, just a handful of developers" funded by users. The caveats are Kagi's own: "Kagi won't be the core maintainer," no foundation or steward found yet, license terms of the open-sourcing undecided. The second-usable non-Chromium engine's multi-platform future now rests on whether anyone picks it up within the ~30-day window.

Cloudflare OHTTP Gateway (closed beta, paid zone add-on, no pricing published): clients POST HPKE-encrypted requests (RFC 9180) to /.well-known/ohttp-gateway on their own zone; the edge decapsulates per RFC 9458 (plus the chunked-OHTTP draft) and app servers "handle OHTTP requests as if they were plain HTTP" โ€” with a third-party relay still carrying the ciphertext so no single party sees both client identity and content. The interesting line is the guardrail: the gateway "will refuse to decrypt requests sent from Cloudflare Workers or from proxied hosts on Cloudflare" โ€” the single-vendor trust collapse blocked in code, not policy; a rare vendor hard-coding against its own vertical integration. Privacy Gateway renamed "Cloudflare OHTTP Relay." Stated limits: bring your own relay; OHTTP "provides privacy at the network level, and doesn't touch the inner request body." Oblivious HTTP has been protocol-without-product for two years; this is the managed version an app team can actually adopt.

Roundhouse โ€” "The Browser Half" (rubys/roundhouse, Apache-2.0, pushed minutes before fetch): Sam Ruby's Rails-to-nine-languages compiler (Rust, Go, TypeScript, Crystal, Elixir, Kotlin, Swift, C#/.NET, Python โ€” "the deployment targetโ€ฆ becomes a compiler flag rather than a runtime choice"); types from whole-program inference with no annotations ("has_many :comments is a type declaration"); a pass over Mastodon (1,173 files, all 337 controllers, HAML included) takes ~1.5s; correctness pinned by a conformance oracle fetching the same URL from Rails and each target and diffing. Ruby has blogged near-daily since the Sep 18 first release (Campfire passed 299/300 tests), and this post is the honest one: the compiled Campfire port left "the 3,749 lines of JavaScript" untouched. Rails-as-a-spec is the most ambitious "your framework is a compatibility layer" bet since the transpiler wave hit Python, and the author is doing the verification work in public โ€” including the part that doesn't work yet. The browser half is where these projects usually die; it's now the stated open problem.

Sources: ftl-os.org ยท nuta/ftl ยท HN โ€” FTL ยท Kagi blog ยท HN โ€” Orion ยท Cloudflare blog ยท HN โ€” OHTTP ยท rubys/roundhouse ยท intertwingly.net