Daily
Friday, 11 September 2026
Top 50 · open 01–03
01Shopify is moving from React Native back to Swift and Kotlinmust Shopify is walking back the 2020 React Native bet: coding agents made 'ship it twice' cheap enough that Swift and Kotlin won on platform closeness. Shop already shipped a greenfield native rewrite in 12 weeks; the 300-screen Shopify app is next, via a checkpointed agent loop they call Helix. FlashList still needs a steward, RN Skia forks off, Restyle gets archived at year-end.
02More questions about whether researchers can trust OpenAI with unpublished math TU Dresden's Andreas Thom says he and a colleague spent months in ChatGPT on unpublished expander-matching / Kun-style work, then OpenAI announced a non-sofic group using those methods. Sellke's reply was 'that did not happen' — Thom reads it as covering only live access, not training, especially after OpenAI's Buckmaster line that they can't rule out de-identified usage data. The ask is logs and settings, not a new theorem.
03The Deathray: A simple way for an untrusted site to freeze a Mac A one-file WebGPU page with an infinite compute loop can stall a Mac's WindowServer until the watchdog kernel-panics — click a link, wait for reboot. Reproduces in Chrome, Firefox, and Safari on M-series Tahoe, not other OSes; Apple reproduced it, then said hangs aren't a security issue. Same class as 2023's ShadyShader, except the WebGPU loop detector missed a trivial busy-wait.
04OpenAI Agents API 05Cognition launches new SWE-2 model, Rivaling Fable 5.1 and GPT-Astra 06Don't let anyone take away your big box of cables 07Technique for Manipulating Satellite Photos Now Reveals Ancient Images (2025) 08NTSB issues investigative update on B-767 runway excursion accident in Miami 09Music Theory for the 21st-Century Classroom 10Forgejo <=16.0.3 Critical RCE 11Neki – Sharded Postgres 12Recursion into madness 13Hitachi launches CO2 heat pump water heaters with solar-friendly tariff controls 14Rust is tier-1 language at Microsoftmust 15OpenAI’s Navier-Stokes release included a Lean 4 formal proofmust 16Embedding a bitmap font in your HyperCard stack 17What happens when a GPU writes memorymust 18Proof of Capture: Apple Reference Image, but open source and using steganography 19JEP 544: Ahead-of-Time Code Compilation 20Detecting and countering misuse of AI: September 2026 21Show HN: Vertumnus – printable posters of farmers' market produce seasonality 22Silicon Valley is transforming the military-industrial complex? 23iPhone Duo 24Douglas Hofstadter: Analogy as the Core of Cognition [video] 25What algorithm did Windows XP use to choose your initial user picture? 26Show HN: A browser IDE for m68000, Z80 assembly (and more), with graphics 27Stockfish 19 28List of references on Sony websites to players "owning" their digital games 29Cognition's SWE-2 achieves 92.8 on Terminal-Bench 2.1 30Creativity is the new moat 31Thelio Mira AI Linux Workstation: 192 GB GPU Memory 32Python sets and dictionaries can have quadratic-time performance 33Schemy Lisp En DOS 34Compute-efficient pretraining and scaling to trillion-parameter models 35To write non-fiction, draw the trunk, then the rest of the tree 36Macbeth and His Problems 37Bodily Oddities 38DeepSeek v4.1 Flash 39AI Is Breaking This Thing We Call Trust 40Show HN: MultiMatte, a Promptable Image Background Removal Model 41Show HN: DOOM in the kernel, or fibers in eBPFmust 42Casablanca: How an unproduced play marched into movie history 43On Next-Gen Transformer: Loops Are Not What You Need 44M. Williams, OpenAI: Human extinction in the next few years seems likely 45The Four-Color Theorem Gets a Rare New Proof 46Stop externalizing the cost of your AI use to me 47Larger Pacific striped octopus 481M+ German households have hung solar panels off their balcony railings 49The Iron Heel by Jack London 50I have a theory that software drives people insane