▲Leanstral: Open-source agent for trustworthy coding and formal proof engineering(mistral.ai)
496 points by Poudlardo 11 hours ago | 37 comments
▲The unlikely story of Teardown Multiplayer(blog.voxagon.se)
44 points by lairv 3 days ago | 5 comments
▲Meta’s renewed commitment to jemalloc(engineering.fb.com)
429 points by hahahacorn 14 hours ago | 32 comments
▲The “small web” is bigger than you might think(kevinboone.me)
410 points by speckx 15 hours ago | 41 comments
▲The American Healthcare Conundrum(github.com)
332 points by rexroad 15 hours ago | 46 comments
▲Every layer of review makes you 10x slower(apenwarr.ca)
201 points by greyface- 5 hours ago | 21 comments
▲Gitana 18: the new flying Ultim trimaran(boatnews.com)
26 points by divbzero 4 days ago | 3 comments
▲US SEC preparing to scrap quarterly reporting requirement(reuters.com)
565 points by djoldman 8 hours ago | 43 comments
▲Sci-Fi Short Film “There Is No Antimemetics Division” [video](youtube.com)
73 points by Anon84 3 days ago | 7 comments
▲Pyodide: a Python distribution based on WebAssembly(github.com)
66 points by tosh 3 days ago | 12 comments
▲Kagi Translate now supports LinkedIn Speak as an output language(translate.kagi.com)
430 points by smitec 4 hours ago | 69 comments
▲Monkey Island for Commodore 64 Ground Up(pixeldust.se)
111 points by aresant 4 hours ago | 10 comments
▲My Journey to a reliable and enjoyable locally hosted voice assistant (2025)(community.home-assistant.io)
368 points by Vaslo 19 hours ago | 22 comments
▲Beyond has dropped “meat” from its name and expanded its high-protein drink line(plantbasednews.org)
120 points by rmason 11 hours ago | 31 comments
▲Claude Tips for 3D Work(davesnider.com)
72 points by snide 3 days ago | 12 comments
▲Why I love FreeBSD(it-notes.dragas.net)
422 points by enz 21 hours ago | 32 comments
▲Show HN: Droeftoeter, a Terminal Coding Toy(github.com)
7 points by whtspc64 4 days ago | 3 comments
▲Show HN: Oxyde – Pydantic-native async ORM with a Rust core(github.com)
103 points by mr_Fatalyst 3 days ago | 18 comments
▲In space, no one can hear you kernel panic (2020)(increment.com)
59 points by p0u4a 4 days ago | 6 comments
▲Starlink Mini as a failover(jackpearce.co.uk)
254 points by jkpe 1 day ago | 24 comments
▲Show HN: Thermal Receipt Printers – Markdown and Web UI(github.com)
80 points by howlett 3 days ago | 13 comments
▲AirPods Max 2(apple.com)
276 points by ssijak 19 hours ago | 82 comments
▲Jepsen: MariaDB Galera Cluster 12.1.2(jepsen.io)
67 points by aphyr 4 hours ago | 5 comments
▲Polymarket gamblers threaten to kill me over Iran missile story(timesofisrael.com)
1475 points by defly 20 hours ago | 88 comments
▲Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025)(arxiv.org)
108 points by wek 15 hours ago | 20 comments
▲Show HN: Claude Code skills that build complete Godot games(github.com)
243 points by htdt 16 hours ago | 36 comments
▲Lies I was told about collaborative editing, Part 2: Why we don't use Yjs(moment.dev)
244 points by antics 4 days ago | 35 comments
▲AnswerThis (YC F25) Is Hiring(ycombinator.com)
1 point by ayush4921 11 hours ago | 0 comments
▲The bureaucracy blocking the chance at a cure(writingruxandrabio.com)
129 points by item 1 day ago | 21 comments
▲Language model teams as distributed systems(arxiv.org)
91 points by jryio 15 hours ago | 19 comments