Hacker News

1.		Computer Scientists Figure Out How to Prove Lies (quantamagazine.org)
		105 points by nsoonhui 3 hours ago \| hide \| 53 comments
2.		Optimizing a Math Expression Parser in Rust (rpallas.xyz)
		59 points by serial_dev 3 hours ago \| hide \| 29 comments
3.		Is Gemini 2.5 good at bounding boxes? (simedw.com)
		11 points by simedw 24 minutes ago \| hide \| discuss
4.		Thunderbird 140 “Eclipse” (thunderbird.net)
		145 points by TangerineDream 7 hours ago \| hide \| 78 comments
5.		Magic .env files built for sharing: Human-first, AI-friendly (varlock.dev)
		32 points by mooreds 2 hours ago \| hide \| 16 comments
6.		Kite – News App by Kagi (kagi.com)
		117 points by tigroferoce 5 hours ago \| hide \| 50 comments
7.		MCP-B: A Protocol for AI Browser Automation (mcp-b.ai)
		260 points by bustodisgusto 14 hours ago \| hide \| 130 comments
8.		Tree Borrows (ethz.ch)
		519 points by zdw 22 hours ago \| hide \| 132 comments
9.		A Typology of Canadianisms (ubc.ca)
		177 points by gnabgib 15 hours ago \| hide \| 189 comments
10.		Radiocarbon dating reveals Rapa Nui not as isolated as previously thought (phys.org)
		20 points by wglb 5 hours ago \| hide \| discuss
11.		Show HN: FlopperZiro – A DIY open-source Flipper Zero clone (github.com/lraton)
		301 points by iraton 19 hours ago \| hide \| 62 comments
12.		Show HN: MCP server for searching and downloading documents from Anna's Archive (github.com/iosifache)
		181 points by iosifache 15 hours ago \| hide \| 55 comments
13.		Show HN: Typeform was too expensive so I built my own forms (ikiform.com)
		55 points by preetsuthar17 3 hours ago \| hide \| 44 comments
14.		Biomni: A General-Purpose Biomedical AI Agent (github.com/snap-stanford)
		198 points by GavCo 17 hours ago \| hide \| 29 comments
15.		The Origin of the Research University (asteriskmag.com)
		95 points by Petiver 12 hours ago \| hide \| 6 comments
16.		Mini robots detect and fix water pipe leaks without digging (foxnews.com)
		12 points by Bluestein 2 hours ago \| hide \| 2 comments
17.		The jank programming language (jank-lang.org)
		347 points by akkad33 20 hours ago \| hide \| 94 comments
18.		Solar power has begun to transform the world’s energy system (newyorker.com)
		202 points by dmazin 1 day ago \| hide \| 318 comments
19.		Show HN: Petrichor – a free, open-source, offline music player for macOS (github.com/kushalpandya)
		140 points by kushalpandya 14 hours ago \| hide \| 66 comments
20.		Author of William the Conqueror's 'Medieval Big Data' Project Revealed (ox.ac.uk)
		9 points by zeristor 5 hours ago \| hide \| discuss
21.		A fast 3D collision detection algorithm (cairno.substack.com)
		239 points by OlympicMarmoto 22 hours ago \| hide \| 27 comments
22.		At last, a use case for AI agents with sky-high ROI: Stealing crypto (theregister.com)
		49 points by rntn 1 hour ago \| hide \| 11 comments
23.		Bootstrapping a side project into a profitable seven-figure business (projectionlab.com)
		865 points by jonkuipers 1 day ago \| hide \| 234 comments
24.		Show HN: BreakerMachines – Modern Circuit Breaker for Rails with Async Support (github.com/seuros)
		32 points by seuros 8 hours ago \| hide \| 17 comments
25.		The Birth-Rate Crisis Isn't as Bad as You've Heard–It's Worse (theatlantic.com)
		3 points by cubefox 24 minutes ago \| hide \| 1 comment
26.		Evaluating the Effectiveness of Memory Safety Sanitizers (computer.org)
		32 points by signa11 10 hours ago \| hide \| 9 comments
27.		Archaeologists unveil 3,500-year-old city in Peru (bbc.co.uk)
		165 points by neversaydie 1 day ago \| hide \| 60 comments
28.		Grok 4 Launch [video] (twitter.com/xai)
		252 points by meetpateltech 8 hours ago \| hide \| 217 comments
29.		Xenharmlib: A music theory library that supports non-western harmonic systems (xenharmlib.readthedocs.io)
		179 points by retooth 1 day ago \| hide \| 18 comments
30.		Linda Yaccarino is leaving X (nytimes.com)
		481 points by donohoe 22 hours ago \| hide \| 834 comments
		More