- 1 Gramanator – a Spanish grammar gym with explained drills (gramanator.com)
- 1 DeepSeek kernel engineer's opinion on automating his own job (lesswrong.com)
- 1 AnyPS5 reaches 96% shader instruction coverage for PS5-to-PC conversion (thetechboom.com)
- 1 Independent Hilbert-Smith proof with Lean4 verification (github.com)
- 4 TypeSafe started the decision-model category;OpenAI and AWS did it in 3 weeks (youtube.com)
- 1 Email isn't decentralized, and that's fine (buttondown.com)
- 1 When the White Collars Feel Threatened – A Reply to Terence Tao (komando1.substack.com)
- 1 SpaceXAI joins Omarchy as corporate sponsor with $1.5M in Grok tokens (omarchy.org)
- 2 Deliveroo Cut AI Churn Alerts by 90%. Did It Save Partners? (industrycontents.com)
- 2 New batteries for the batteries-included agent harness (mainbrella.com)
- 3 Samsung to cut smartphone production by 30%: "There's no profit even if we sell" (mt.co.kr)
- 2 Show HN: SVG Spark – 10 client-side SVG design and dev tools (svg-spark.vercel.app)
- 2 Play Skyrim as a Minecraft Player (github.com)
- 2 Much of legacy software is basically workflow theater (twitter.com)
- 4 Yes, and (htmx.org)
- 3 Show HN: Opposable – Computer Use for iPhone and Android (getopposable.com)
- 3 Sokrates – open-source code analysis for repos and organizations (sokrates.dev)
- 2 FaceCheck (face-check.net)
- 2 Join the Show – plan a trip that catches several live concerts (jointhe.show)
- 2 SingPost launches trial of digital stamps (channelnewsasia.com)
- 2 Bidding on competitor names when buyers ask agents (nibzard.com)
- 2 A unique piece of Internet history: A RFC1149 packet on auction at Christie's (bsdly.blogspot.com)
- 2 Show HN: Tide, simple self-hosted video meetings. URL is a demo anon deployment (demo.tide.convex.works)
- 3 64k demo for the Pebble Time 2 (teadrinker.net)
- 2 Embedding Gemma2 Use Cases (github.com)
- 3 Lily-Qwen3.8-Flash-Next (github.com)
- 2 AHM Statement on OpenAI's October 6 Release of Mathematical Documents (ahmath.org)
- 1 Automattic Wants .wordpress. It Doesn't Own WordPress (medium.com)
- 1 Scientists get a new clue to the origin of solar wind 'switchbacks' (theregister.com)
- 2 Show HN: Squidly – Track CEX, DEX and wallet balances in one place (squidly.finance)