Skip to content

Instantly share code, notes, and snippets.

@michaellady
michaellady / BROADLY_APPLICABLE_LESSONS.md
Created May 16, 2026 19:05
Seven broadly-applicable lessons from a 1M-line AI-orchestrated rewrite — Bun PR #30412 Zig→Rust port (May 2026). For the underlying investigation see https://gist.github.com/michaellady/7d552137fb1e37ab9bf637e450016c25

Seven lessons from a 1M-line AI-orchestrated rewrite — broadly applicable

Distilled from a multi-week investigation of Bun PR #30412 (the AI-orchestrated Zig→Rust port, merged 2026-05-14). Five rounds of adversarial review on the underlying analysis. The specifics are Bun's; the lessons travel.

For the full investigation: https://gist.github.com/michaellady/7d552137fb1e37ab9bf637e450016c25


1. Facts before plans

@michaellady
michaellady / LESSONS_LEARNED.md
Last active May 16, 2026 19:00
How Bun PR #30412 (claude/phase-a-port) ports Zig to Rust — methodology, specs, verification

Lessons learned — Bun PR #30412 AI-orchestrated Zig→Rust port

Synthesized from five parallel research agents (branch ecosystem, workflow internals, code-vs-audit verification, post-merge bug taxonomy, missed angles) plus the recovered audit documents and direct re-verification against origin/main two days post-merge. PR #30412 by Jarred Sumner, squash-merged 2026-05-14 as commit 23427dbc12 "Rewrite Bun in Rust (#30412)". Per gh api: 1,009,257 additions / 2,188 files. The PR's GitHub-displayed commit-count badge is misleading — the actual branch contains 5,512 first-parent commits across 32 claude/* sub-branches with 87 merge points and 49 first-parent revert commits (66 in the --all log) (external — git log pr-30412 ^MERGE_BASE --first-parent). No human approving review on the PR.

Sourcing convention. Three categories of claim appear below:

  • Audit-grounded — claims of the form "the audit documents X" are verifiable from the recovered audit docs (ZIG_RUST_DIVERGENCE_AUDIT, NO
@michaellady
michaellady / iot
Last active August 29, 2015 13:56
date,internet of things
2004-01-04 - 2004-01-10,0
2004-01-11 - 2004-01-17,0
2004-01-18 - 2004-01-24,0
2004-01-25 - 2004-01-31,0
2004-02-01 - 2004-02-07,0
2004-02-08 - 2004-02-14,0
2004-02-15 - 2004-02-21,0
2004-02-22 - 2004-02-28,0
2004-02-29 - 2004-03-06,0