1. 467

   US SEC preparing to scrap quarterly reporting requirement

2. 77

   Kagi Translate now supports LinkedIn Speak as an output language

3. 47

   Monkey Island for Commodore 64 Ground Up

4. 390

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

5. 68

   Every layer of review makes you 10x slower

6. 395

   Meta’s renewed commitment to jemalloc

7. 363

   The “small web” is bigger than you might think

8. 295

   The American Healthcare Conundrum

9. 351

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

10. 12

    Claude Tips for 3D Work

11. 94

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

12. 37

    Jepsen: MariaDB Galera Cluster 12.1.2

13. 30

    Pyodide: a Python distribution based on WebAssembly

14. 91

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

15. 48

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

16. 389

    Why I love FreeBSD

17. 60

    Show HN: Thermal Receipt Printers – Markdown and Web UI

18. 31

    Lf-lean: The frontier of verified software engineering

19. 232

    Starlink Mini as a failover

20. 249

    AirPods Max 2

21. 23

    Canopy Height Maps v2

22. —

    AnswerThis (YC F25) Is Hiring

23. 1415

    Polymarket gamblers threaten to kill me over Iran missile story

24. 85

    Language model teams as distributed systems

25. 273

    Home Assistant waters my plants

26. 114

    The bureaucracy blocking the chance at a cure

27. 213

    Show HN: Claude Code skills that build complete Godot games

28. 229

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

29. 71

    Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps

30. 178

    Lazycut: A simple terminal video trimmer using FFmpeg