Hacker News

1.		Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
		505 points by Poudlardo 11 hours ago \| hide \| 99 comments
2.		The unlikely story of Teardown Multiplayer (voxagon.se)
		49 points by lairv 3 hours ago \| hide \| 7 comments
3.		Meta’s renewed commitment to jemalloc (fb.com)
		430 points by hahahacorn 14 hours ago \| hide \| 184 comments
4.		The “small web” is bigger than you might think (kevinboone.me)
		416 points by speckx 15 hours ago \| hide \| 173 comments
5.		Every layer of review makes you 10x slower (apenwarr.ca)
		208 points by greyface- 5 hours ago \| hide \| 101 comments
6.		The American Healthcare Conundrum (github.com/rexrodeo)
		335 points by rexroad 15 hours ago \| hide \| 290 comments
7.		Gitana 18: the new flying Ultim trimaran (boatnews.com)
		27 points by divbzero 3 hours ago \| hide \| 3 comments
8.		US SEC preparing to scrap quarterly reporting requirement (reuters.com)
		568 points by djoldman 8 hours ago \| hide \| 307 comments
9.		Sci-Fi Short Film “There Is No Antimemetics Division” [video] (youtube.com)
		76 points by Anon84 7 hours ago \| hide \| 15 comments
10.		Pyodide: a Python distribution based on WebAssembly (github.com/pyodide)
		67 points by tosh 7 hours ago \| hide \| 23 comments
11.		Monkey Island for Commodore 64 Ground Up (pixeldust.se)
		115 points by aresant 4 hours ago \| hide \| 34 comments
12.		My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (home-assistant.io)
		370 points by Vaslo 19 hours ago \| hide \| 104 comments
13.		Kagi Translate now supports LinkedIn Speak as an output language (kagi.com)
		436 points by smitec 4 hours ago \| hide \| 106 comments
14.		Beyond has dropped “meat” from its name and expanded its high-protein drink line (plantbasednews.org)
		123 points by rmason 11 hours ago \| hide \| 228 comments
15.		Why I love FreeBSD (dragas.net)
		426 points by enz 21 hours ago \| hide \| 206 comments
16.		Claude Tips for 3D Work (davesnider.com)
		73 points by snide 5 hours ago \| hide \| 14 comments
17.		Show HN: Oxyde – Pydantic-native async ORM with a Rust core (github.com/mr-fatalyst)
		104 points by mr_Fatalyst 12 hours ago \| hide \| 53 comments
18.		Starlink Mini as a failover (jackpearce.co.uk)
		255 points by jkpe 20 hours ago \| hide \| 185 comments
19.		In space, no one can hear you kernel panic (2020) (increment.com)
		59 points by p0u4a 10 hours ago \| hide \| 8 comments
20.		Show HN: Thermal Receipt Printers – Markdown and Web UI (github.com/sadreck)
		80 points by howlett 11 hours ago \| hide \| 30 comments
21.		Show HN: Droeftoeter, a Terminal Coding Toy (github.com/whtspc)
		8 points by whtspc64 2 hours ago \| hide \| 3 comments
22.		AirPods Max 2 (apple.com)
		276 points by ssijak 19 hours ago \| hide \| 455 comments
23.		Jepsen: MariaDB Galera Cluster 12.1.2 (jepsen.io)
		69 points by aphyr 5 hours ago \| hide \| 5 comments
24.		Polymarket gamblers threaten to kill me over Iran missile story (timesofisrael.com)
		1477 points by defly 20 hours ago \| hide \| 935 comments
25.		The bureaucracy blocking the chance at a cure (writingruxandrabio.com)
		130 points by item 18 hours ago \| hide \| 151 comments
26.		Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025) (arxiv.org)
		109 points by wek 15 hours ago \| hide \| 61 comments
27.		Lies I was told about collaborative editing, Part 2: Why we don't use Yjs (moment.dev)
		245 points by antics 1 day ago \| hide \| 113 comments
28.		AnswerThis (YC F25) Is Hiring (ycombinator.com)
		11 hours ago \| hide
29.		Language model teams as distributed systems (arxiv.org)
		91 points by jryio 15 hours ago \| hide \| 39 comments
30.		Lazycut: A simple terminal video trimmer using FFmpeg (github.com/emin-ozata)
		197 points by masterpos 20 hours ago \| hide \| 58 comments
		More