1. 505

   Leanstral: Open-source agent for trustworthy coding and formal proof engineering

2. 50

   The unlikely story of Teardown Multiplayer

3. 430

   Meta’s renewed commitment to jemalloc

4. 416

   The “small web” is bigger than you might think

5. 208

   Every layer of review makes you 10x slower

6. 335

   The American Healthcare Conundrum

7. 27

   Gitana 18: the new flying Ultim trimaran

8. 568

   US SEC preparing to scrap quarterly reporting requirement

9. 76

   Sci-Fi Short Film “There Is No Antimemetics Division” [video]

10. 67

    Pyodide: a Python distribution based on WebAssembly

11. 115

    Monkey Island for Commodore 64 Ground Up

12. 370

    My Journey to a reliable and enjoyable locally hosted voice assistant (2025)

13. 436

    Kagi Translate now supports LinkedIn Speak as an output language

14. 123

    Beyond has dropped “meat” from its name and expanded its high-protein drink line

15. 426

    Why I love FreeBSD

16. 73

    Claude Tips for 3D Work

17. 104

    Show HN: Oxyde – Pydantic-native async ORM with a Rust core

18. 255

    Starlink Mini as a failover

19. 59

    In space, no one can hear you kernel panic (2020)

20. 80

    Show HN: Thermal Receipt Printers – Markdown and Web UI

21. 8

    Show HN: Droeftoeter, a Terminal Coding Toy

22. 276

    AirPods Max 2

23. 69

    Jepsen: MariaDB Galera Cluster 12.1.2

24. 1477

    Polymarket gamblers threaten to kill me over Iran missile story

25. 130

    The bureaucracy blocking the chance at a cure

26. 109

    Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025)

27. 245

    Lies I was told about collaborative editing, Part 2: Why we don't use Yjs

28. —

    AnswerThis (YC F25) Is Hiring

29. 91

    Language model teams as distributed systems

30. 197

    Lazycut: A simple terminal video trimmer using FFmpeg