hacker news

Tuesday, Mar 17, 2026

1.

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

・

537 points

・

・

13 hours ago

・

108 comments

2.

The unlikely story of Teardown Multiplayer

blog.voxagon.se

・

71 points

・

・

4 days ago

・

10 comments

3.

Meta’s renewed commitment to jemalloc

engineering.fb.com

・

436 points

・

・

15 hours ago

・

191 comments

4.

The “small web” is bigger than you might think

・

424 points

・

・

16 hours ago

・

180 comments

5.

The American Healthcare Conundrum

・

345 points

・

・

16 hours ago

・

299 comments

6.

Gitana 18: the new flying Ultim trimaran

・

35 points

・

・

4 days ago

・

5 comments

7.

Every layer of review makes you 10x slower

・

225 points

・

・

6 hours ago

・

117 comments

8.

US SEC preparing to scrap quarterly reporting requirement

・

575 points

・

・

10 hours ago

・

313 comments

9.

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

・

84 points

・

・

4 days ago

・

17 comments

10.

Pyodide: a Python distribution based on WebAssembly

・

74 points

・

・

4 days ago

・

23 comments

11.

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

community.home-assistant.io

・

370 points

・

・

21 hours ago

・

107 comments

12.

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

plantbasednews.org

・

126 points

・

・

13 hours ago

・

262 comments

13.

Why I love FreeBSD

it-notes.dragas.net

・

430 points

・

・

a day ago

・

211 comments

14.

Monkey Island for Commodore 64 Ground Up

・

126 points

・

・

6 hours ago

・

40 comments

15.

Kagi Translate now supports LinkedIn Speak as an output language

translate.kagi.com

・

458 points

・

・

5 hours ago

・

113 comments

16.

Claude Tips for 3D Work

・

76 points

・

・

4 days ago

・

18 comments

17.

Starlink Mini as a failover

jackpearce.co.uk

・

258 points

・

・

a day ago

・

188 comments

18.

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

・

105 points

・

・

4 days ago

・

59 comments

19.

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

・

60 points

・

・

4 days ago

・

9 comments

20.

Show HN: Thermal Receipt Printers – Markdown and Web UI

・

83 points

・

・

4 days ago

・

30 comments

21.

AirPods Max 2

・

279 points

・

・

20 hours ago

・

461 comments

22.

Fatal Core Dump Game

robopenguins.com

・

3 points

・

・

4 days ago

・

0 comments

23.

Polymarket gamblers threaten to kill me over Iran missile story

timesofisrael.com

・

1488 points

・

・

a day ago

・

941 comments

24.

Show HN: Droeftoeter, a Terminal Coding Toy

・

12 points

・

・

4 days ago

・

3 comments

25.

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

・

249 points

・

・

4 days ago

・

113 comments

26.

Jepsen: MariaDB Galera Cluster 12.1.2

・

73 points

・

・

6 hours ago

・

6 comments

27.

The bureaucracy blocking the chance at a cure

writingruxandrabio.com

・

131 points

・

・

2 days ago

・

155 comments

28.

AnswerThis (YC F25) Is Hiring

ycombinator.com

・

13 hours ago

・

0 comments

29.

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

・

111 points

・

・

17 hours ago

・

62 comments

30.

Language model teams as distributed systems

・

91 points

・

・

16 hours ago

・

39 comments