Hacker News

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

by | Mar 16, 2026 | original

2. The unlikely story of Teardown Multiplayer

by | Mar 13, 2026 | original

3. Meta’s renewed commitment to jemalloc

by | Mar 16, 2026 | original

4. Gitana 18: the new flying Ultim trimaran

by | Mar 13, 2026 | original

5. The “small web” is bigger than you might think

by | Mar 16, 2026 | original

6. US SEC preparing to scrap quarterly reporting requirement

by | Mar 17, 2026 | original

7. Every layer of review makes you 10x slower

by | Mar 17, 2026 | original

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

by | Mar 13, 2026 | original

9. Kagi Translate now supports LinkedIn Speak as an output language

by | Mar 17, 2026 | original

10. The American Healthcare Conundrum

by | Mar 16, 2026 | original

11. Monkey Island for Commodore 64 Ground Up

by | Mar 17, 2026 | original

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

by | Mar 16, 2026 | original

13. Pyodide: a Python distribution based on WebAssembly

by | Mar 13, 2026 | original

14. Show HN: Droeftoeter, a Terminal Coding Toy

by | Mar 13, 2026 | original

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

by | Mar 16, 2026 | original

16. Claude Tips for 3D Work

by | Mar 13, 2026 | original

17. Why I love FreeBSD

by | Mar 16, 2026 | original

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

by | Mar 13, 2026 | original

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

by | Mar 13, 2026 | original

20. Starlink Mini as a failover

by | Mar 16, 2026 | original

21. Show HN: Thermal Receipt Printers – Markdown and Web UI

by | Mar 13, 2026 | original

22. Jepsen: MariaDB Galera Cluster 12.1.2

by | Mar 17, 2026 | original

23. AirPods Max 2

by | Mar 16, 2026 | original

24. Polymarket gamblers threaten to kill me over Iran missile story

by | Mar 16, 2026 | original

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

by | Mar 16, 2026 | original

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

by | Mar 13, 2026 | original

27. Show HN: Claude Code skills that build complete Godot games

by | Mar 16, 2026 | original

28. AnswerThis (YC F25) Is Hiring

by | Mar 16, 2026 | original

29. Language model teams as distributed systems

by | Mar 16, 2026 | original

30. The bureaucracy blocking the chance at a cure

by | Mar 15, 2026 | original