1.
Leanstral: Open-source agent for trustworthy coding and formal proof engineering(mistral.ai)
▲ 515 points103 comments
2.
The unlikely story of Teardown Multiplayer(blog.voxagon.se)
▲ 58 points7 comments
3.
Meta’s renewed commitment to jemalloc(engineering.fb.com)
▲ 430 points188 comments
4.
The “small web” is bigger than you might think(kevinboone.me)
▲ 417 points176 comments
5.
Every layer of review makes you 10x slower(apenwarr.ca)
▲ 213 points103 comments
6.
The American Healthcare Conundrum(github.com)
▲ 337 points293 comments
7.
Gitana 18: the new flying Ultim trimaran(boatnews.com)
▲ 31 points3 comments
8.
US SEC preparing to scrap quarterly reporting requirement(reuters.com)
▲ 569 points307 comments
9.
Sci-Fi Short Film “There Is No Antimemetics Division” [video](youtube.com)
▲ 81 points16 comments
10.
Pyodide: a Python distribution based on WebAssembly(github.com)
▲ 69 points23 comments
11.
My Journey to a reliable and enjoyable locally hosted voice assistant (2025)(community.home-assistant.io)
▲ 370 points105 comments
12.
Monkey Island for Commodore 64 Ground Up(pixeldust.se)
▲ 119 points37 comments
13.
Beyond has dropped “meat” from its name and expanded its high-protein drink line(plantbasednews.org)
▲ 124 points239 comments
14.
Kagi Translate now supports LinkedIn Speak as an output language(translate.kagi.com)
▲ 447 points108 comments
15.
Why I love FreeBSD(it-notes.dragas.net)
▲ 427 points206 comments
16.
Claude Tips for 3D Work(davesnider.com)
▲ 73 points16 comments
17.
Fatal Core Dump Game(robopenguins.com)
▲ 3 points0 comments
18.
Show HN: Oxyde – Pydantic-native async ORM with a Rust core(github.com)
▲ 104 points58 comments
19.
Starlink Mini as a failover(jackpearce.co.uk)
▲ 256 points186 comments
20.
In space, no one can hear you kernel panic (2020)(increment.com)
▲ 59 points8 comments
21.
Show HN: Thermal Receipt Printers – Markdown and Web UI(github.com)
▲ 80 points30 comments
22.
AirPods Max 2(apple.com)
▲ 278 points456 comments
23.
Show HN: Droeftoeter, a Terminal Coding Toy(github.com)
▲ 9 points3 comments
24.
Jepsen: MariaDB Galera Cluster 12.1.2(jepsen.io)
▲ 72 points6 comments
25.
Polymarket gamblers threaten to kill me over Iran missile story(timesofisrael.com)
▲ 1479 points935 comments
26.
Lies I was told about collaborative editing, Part 2: Why we don't use Yjs(moment.dev)
▲ 245 points113 comments
27.
AnswerThis (YC F25) Is Hiring(ycombinator.com)
▲ 1 points comments
28.
The bureaucracy blocking the chance at a cure(writingruxandrabio.com)
▲ 130 points151 comments
29.
Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025)(arxiv.org)
▲ 110 points61 comments
30.
Language model teams as distributed systems(arxiv.org)
▲ 91 points39 comments
next page →