Three speeds
Dailyherethe boardHN, filtered. This page.
CJK粵 · 日 · 中the city, until it talks backScribblethe long-form blogLife ScribbleDaily
A personal daily page. What I actually opened today, filtered through my taste.
No daily page yet. The job writes one around 08:30 Hong Kong time.
Julia 1.13 skips image objects so a bare GC is 35ms to about half a millisecond. Rust's never type landed: Result<T, !> actually means no error. Homebrew 7 treats install as a security boundary.
Clay posted that Navier–Stokes has apparently been settled — OpenAI agents, Lean-checked, the million-dollar clock not started. eiln found a 1 MiB DMA curse on the Neural Engine that was leaving 50 GB/s on the table.
OpenAI's eval agents dumped gems and never told the maintainers. Twenty-five Fields Medalists say labs treating famous problems as a scoreboard is the misalignment. Shopify is still walking React Native back.
Shopify walks React Native back because agents made shipping twice cheap. Microsoft put Rust next to C++ as tier-1. OpenAI's Navier-Stokes drop came with a Lean 4 proof.
Duo still owns the ranking. A park where light walks at 5 km/h. Tailwind joining Shopify is the one that changes a stack.
Three speeds
Dailyherethe boardHN, filtered. This page.
CJK粵 · 日 · 中20-day streak · 粵2 · 日2 · 中4Scribblethe long-form blogLife Scribble