1. Kimi K3.1 Pro and K3.1 Pro Highspeed
    (www.kimi.ai)

  2. Today, we hacked what we'd set out to hack: the iPhone
    (blog.calif.io)

  3. Apple Music 404 Not Found
    (music.apple.com)

  4. Local Wikipedia: Wikipedia, but only for things a half hour walk from you
    (edjefferson.com)

  5. UUIDv7 doesn't have the properties you think it does
    (alexsci.com)

  6. The Real Kevin Bacon
    (pudding.cool)

  7. I turned my TV into a Game Boy Color with a Pokemon town as my home screen
    (twitter.com)

  8. The Missed Opportunities of Sonic 06
    (isaacmarovitz.com)

  9. Canadians are running out of time to oppose Bill C-22
    (www.eff.org)

  10. How Is Music Possible
    (www.henrikkarlsson.xyz)

  11. Time Nuts (2005)
    (leapsecond.com)

  12. Show HN: Impossible Machines: declaratively program the physical world
    (www.impossiblemachines.xyz)

  13. Total Historian
    (www.theideasletter.org)

  14. Docker is weird
    (codeandcake.dev)

  15. LISP Comes of Age (1980)
    (microship.com)

  16. Show HN: Swurf – Swipe through the real web
    (swurf.org)

  17. Can we replace a $150k Looker with a bucket of HTML files?
    (david.lequin.dev)

  18. Animations for System Builders
    (brooker.co.za)

  19. Show HN: Searching for optimal strategies in a puzzle game with chance (Drop7)
    (drop7.dev)

  20. Gemma-4-26B-A4B with 39-69% less thinking at same accuracy
    (bottlecapai.com)

  21. Job loss and cortisone mania
    (tilschuenemann.de)

  22. The foolishness of "natural language programming" (1978)
    (www.cs.utexas.edu)

  23. Show HN: OnKey – I'm a bad singer, so I built an app to show where I'm off-key
    (github.com)

  24. Air Purifiers as White Noise Machines
    (www.jefftk.com)

  25. The alien space of science: Coherent but cognitively unavailable directions
    (arxiv.org)

  26. OpenShell – A safe, private runtime for fleets of autonomous AI agents
    (github.com)

  27. We have traits at home
    (www.axelmagn.com)

  28. How does Fable 5.1 hide messages in images?
    (www.lesswrong.com)

  29. LLMs are making formal software verification feasible at a much larger scale
    (www.anthropic.com)

  30. Pentagon grants DHS permission to test heat ray weapon for use at border
    (www.cnn.com)