1. EU Eyes Ditching Microsoft Azure for France's OVHcloud
206 points by doener | 130 comments

2. Jürgen Schmidhuber：the Father of Generative AI Without Turing Award
23 points by kleiba | 4 comments

3. Cracovians: The Twisted Twins of Matrices
37 points by mci | 19 comments

4. Visualizing environmental costs of war in Hayao Miyazaki's Nausicaä
133 points by zdw | 43 comments

5. It's True: The Jaws Shark Is Public Domain
18 points by MBCook | 1 comments

6. Phoenix.new – Remote AI Runtime for Phoenix
294 points by wut42 | 132 comments

7. Dancing Naked on the Head of a Pin: The Early History of Microphotography
17 points by crescit_eundo | 0 comments

8. Verified Dynamic Programming with Σ-types in Lean
16 points by rck | 1 comments

9. Show HN: Inspect and extract files from MSI installers directly in your browser
17 points by rmast | 2 comments

10. Show HN: Nxtscape – an open-source agentic browser
137 points by felarof | 98 comments

11. Tuxracer.js play Tux Racer in the browser
45 points by retro_guy | 18 comments

12. Oklo, the Earth's Two-billion-year-old only Known Natural Nuclear Reactor (2018)
143 points by keepamovin | 56 comments

13. A Python-first data lakehouse
71 points by akshayka | 19 comments

14. Hurl: Run and test HTTP requests with plain text
400 points by flykespice | 97 comments

15. An analysis of recent multithreading improvements for a smoother game
30 points by diggan | 0 comments

16. Klong: A Simple Array Language
95 points by tosh | 45 comments

17. BYD is testing solid-state batteries in its Seal sedan with ~1200 miles of range
9 points by toomuchtodo | 0 comments

18. Show HN: SnapQL – Desktop app to query Postgres with AI
70 points by nicktikhonov | 44 comments

19. Career advice, or something like it
43 points by SchwKatze | 9 comments

20. How to Design Programs 2nd Ed (2024)
72 points by AbuAssar | 15 comments

21. A Brief, Incomplete, and Mostly Wrong History of Robotics
83 points by Bogdanp | 37 comments

22. Asterinas: A new Linux-compatible kernel project
187 points by howtofly | 64 comments

23. Minimal auto-differentiation engine in Rust
44 points by lschneider | 5 comments

24. Alpha Centauri
13 points by doppp | 0 comments

25. New dating for White Sands footprints confirms controversial theory
39 points by _tk_ | 7 comments

26. College baseball, venture capital, and the long maybe
108 points by bcantrill | 65 comments

27. Meta announces Oakley smart glasses
138 points by jmsflknr | 265 comments

28. ELIZA Reanimated: Restoring the Mother of All Chatbots
87 points by abrax3141 | 20 comments

29. Reworking Memory Management in CRuby [pdf]
36 points by hahahacorn | 3 comments

30. Andrej Karpathy: Software in the era of AI [video]
1356 points by sandslash | 739 comments

31. Congestion pricing in Manhattan is a predictable success
240 points by edward | 384 comments

32. Show HN: SecureBuild – Zero-CVE Images That Pay OSS Projects
27 points by grantlmiller | 12 comments

33. Open source can't coordinate?
162 points by LorenDB | 203 comments

34. Mierle Laderman Ukeles, a '70s artist who became a hero to 'garbage men'
41 points by samclemens | 13 comments

35. Microsoft is blocking Google Chrome through its family safety feature
17 points by chrisjj | 2 comments