Hackernews posts about Naiv
- Show HN: Analyst Index – analysts who make money telling you good stock calls (www.analystidx.com)
- Show HN: Thread to Self – a private message thread with yourself (threadtoself.com)
- I tried vibe-coding a memory tool for AI and stared into the abyss of philosophy (arbustoemchamas.substack.com)
- Vibe-Coding a Memory Tool for Agents: Confronting Unsolved Philosophical (arbustoemchamas.substack.com)
- Navier-Stokes – Tristan Buckmaster [pdf] (cims.nyu.edu)
- On the Navier–Stokes Millennium Prize Problem (openai.com)
- Shopify is moving from React Native back to Swift and Kotlin (shopify.engineering)
- Nvidia announces native GPU programming in Rust (developer.nvidia.com)
- Why I'm still bearish on LLMs after Navier-Stokes (dank.systems)
- Navier-Stokes Announcement (www.claymath.org)
- The Navier–Stokes Millennium Prize Problem (simonwillison.net)
- OpenAI’s Navier-Stokes release included a Lean 4 formal proof (www.johndcook.com)
- The Rust React Compiler is now native in Vite (blog.master.dev)
- Finite time blowup for an averaged three-dimensional Navier-Stokes equation (2014) (terrytao.wordpress.com)
- Show HN: Navier-Stokes Visualized as 1kB i386 demos (juandecos.github.io)
- KDE turns 30 and someone's brought an AI-native desktop proposal (www.theregister.com)
- Global Trade and the United States Navy (acoup.blog)
- Navigation app for people with blindness and low vision (seas.harvard.edu)
- Sam Altman's statement on the Navier-Stokes dispute (twitter.com)