Hacker News

1.		Computer Scientists Figure Out How to Prove Lies (quantamagazine.org)
		61 points by nsoonhui 2 hours ago \| hide \| 25 comments
2.		Optimizing a Math Expression Parser in Rust (rpallas.xyz)
		48 points by serial_dev 2 hours ago \| hide \| 22 comments
3.		Show HN: Typeform was too expensive so I built my own forms (ikiform.com)
		37 points by preetsuthar17 2 hours ago \| hide \| 31 comments
4.		Thunderbird 140 “Eclipse” (thunderbird.net)
		118 points by TangerineDream 6 hours ago \| hide \| 56 comments
5.		Kite – News App by Kagi (kagi.com)
		47 points by tigroferoce 4 hours ago \| hide \| 10 comments
6.		MCP-B: A Protocol for AI Browser Automation (mcp-b.ai)
		248 points by bustodisgusto 13 hours ago \| hide \| 126 comments
7.		Tree Borrows (ethz.ch)
		513 points by zdw 21 hours ago \| hide \| 132 comments
8.		A Typology of Canadianisms (ubc.ca)
		172 points by gnabgib 14 hours ago \| hide \| 174 comments
9.		At last, a use case for AI agents with sky-high ROI: Stealing crypto (theregister.com)
		15 points by rntn 48 minutes ago \| hide \| 2 comments
10.		Show HN: MCP server for searching and downloading documents from Anna's Archive (github.com/iosifache)
		168 points by iosifache 14 hours ago \| hide \| 53 comments
11.		Show HN: FlopperZiro – A DIY open-source Flipper Zero clone (github.com/lraton)
		292 points by iraton 18 hours ago \| hide \| 61 comments
12.		The Origin of the Research University (asteriskmag.com)
		88 points by Petiver 11 hours ago \| hide \| 4 comments
13.		Biomni: A General-Purpose Biomedical AI Agent (github.com/snap-stanford)
		192 points by GavCo 16 hours ago \| hide \| 29 comments
14.		The jank programming language (jank-lang.org)
		334 points by akkad33 19 hours ago \| hide \| 92 comments
15.		Radiocarbon dating reveals Rapa Nui not as isolated as previously thought (phys.org)
		11 points by wglb 4 hours ago \| hide \| discuss
16.		Solar power has begun to transform the world’s energy system (newyorker.com)
		182 points by dmazin 23 hours ago \| hide \| 289 comments
17.		A fast 3D collision detection algorithm (cairno.substack.com)
		234 points by OlympicMarmoto 21 hours ago \| hide \| 27 comments
18.		Show HN: BreakerMachines – Modern Circuit Breaker for Rails with Async Support (github.com/seuros)
		30 points by seuros 7 hours ago \| hide \| 12 comments
19.		Show HN: Petrichor – a free, open-source, offline music player for macOS (github.com/kushalpandya)
		129 points by kushalpandya 13 hours ago \| hide \| 57 comments
20.		Bootstrapping a side project into a profitable seven-figure business (projectionlab.com)
		857 points by jonkuipers 1 day ago \| hide \| 230 comments
21.		Author of William the Conqueror's 'Medieval Big Data' Project Revealed (ox.ac.uk)
		5 points by zeristor 4 hours ago \| hide \| discuss
22.		Grok 4 Launch [video] (twitter.com/xai)
		231 points by meetpateltech 7 hours ago \| hide \| 179 comments
23.		Code and Trust: Vibrators to Pacemakers (punkx.org)
		56 points by jackdoe 10 hours ago \| hide \| 39 comments
24.		Archaeologists unveil 3,500-year-old city in Peru (bbc.co.uk)
		160 points by neversaydie 23 hours ago \| hide \| 60 comments
25.		Configuring Split Horizon DNS with Pi-Hole and Tailscale (bentasker.co.uk)
		104 points by gm678 18 hours ago \| hide \| 28 comments
26.		Evaluating the Effectiveness of Memory Safety Sanitizers (computer.org)
		28 points by signa11 9 hours ago \| hide \| 9 comments
27.		Xenharmlib: A music theory library that supports non-western harmonic systems (xenharmlib.readthedocs.io)
		178 points by retooth 1 day ago \| hide \| 18 comments
28.		Linda Yaccarino is leaving X (nytimes.com)
		467 points by donohoe 21 hours ago \| hide \| 809 comments
29.		Ruby 3.4 frozen string literals: What Rails developers need to know (prateekcodes.dev)
		232 points by thomas_witt 1 day ago \| hide \| 113 comments
30.		The most otherworldly, mysterious forms of lightning on Earth (nationalgeographic.com)
		106 points by Anon84 18 hours ago \| hide \| 37 comments
		More