Hacker News

1.		Your fingers wrinkle the same way every time you're in the water too long (binghamton.edu)
		75 points by gnabgib 2 hours ago \| hide \| 22 comments
2.		Type-constrained code generation with language models (arxiv.org)
		84 points by tough 3 hours ago \| hide \| 41 comments
3.		DeepSeek’s ‘tech madman’ founder is threatening US dominance in AI race (bloomberg.com)
		11 points by blumpy22 52 minutes ago \| hide \| 4 comments
4.		Branch Privilege Injection: Exploiting branch predictor race conditions (ethz.ch)
		327 points by alberto-m 9 hours ago \| hide \| 131 comments
5.		Flattening Rust's learning curve (corrode.dev)
		74 points by birdculture 3 hours ago \| hide \| 48 comments
6.		Map of Palaeohispanic Coins and Inscriptions (ucm.es)
		14 points by brendanashworth 1 hour ago \| hide \| discuss
7.		Airbnb Is in Midlife Crisis Mode (wired.com)
		29 points by thomasjudge 3 hours ago \| hide \| 25 comments
8.		Build real-time knowledge graph for documents with LLM (cocoindex.io)
		76 points by badmonster 6 hours ago \| hide \| 14 comments
9.		Google is building its own DeX: First look at Android's Desktop Mode (androidauthority.com)
		219 points by logic_node 11 hours ago \| hide \| 171 comments
10.		Failed Soviet Venus lander Kosmos 482 crashes to Earth after 53 years in orbit (space.com)
		107 points by taubek 8 hours ago \| hide \| 69 comments
11.		When graphic design saves lives (news.harvard.edu)
		22 points by gnabgib 2 hours ago \| hide \| 1 comment
12.		Show HN: HelixDB – Open-source vector-graph database for AI applications (Rust) (github.com/helixdb)
		124 points by GeorgeCurtis 8 hours ago \| hide \| 51 comments
13.		Launch HN: Miyagi (YC W25) turns YouTube videos into online, interactive courses
		161 points by bestwillcui 13 hours ago \| hide \| 89 comments
14.		PDF to Text, a challenging problem (marginalia.nu)
		234 points by ingve 10 hours ago \| hide \| 126 comments
15.		Multiple security issues in GNU Screen (openwall.com)
		340 points by st_goliath 14 hours ago \| hide \| 203 comments
16.		A visual history of the safety pin (museumofeverydaylife.org)
		9 points by andsoitis 1 hour ago \| hide \| discuss
17.		It Awaits Your Experiments (rifters.com)
		133 points by pavel_lishin 9 hours ago \| hide \| 44 comments
18.		Coffee for people who don't like coffee (ostwilkens.se)
		33 points by ostwilkens 4 hours ago \| hide \| 89 comments
19.		Garbage collection of object storage at scale (warpstream.com)
		41 points by ko_pivot 5 hours ago \| hide \| 6 comments
20.		A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com)
		19 points by jjgreen 3 hours ago \| hide \| discuss
21.		How (memory) safe is Zig? (2021) (scattered-thoughts.net)
		24 points by vortex_ape 3 hours ago \| hide \| 20 comments
22.		The world could run on older hardware if software optimization was a priority (twitter.com/id_aa_carmack)
		586 points by turrini 15 hours ago \| hide \| 554 comments
23.		Cardiac: A CARDboard Illustrative Aid to Computation [pdf] (drexel.edu)
		18 points by throwaway71271 4 hours ago \| hide \| 7 comments
24.		OpenTelemetry protocol with Apache Arrow (opentelemetry.io)
		58 points by tanelpoder 8 hours ago \| hide \| 14 comments
25.		I learned Snobol and then wrote a toy Forth (ratfactor.com)
		118 points by ingve 14 hours ago \| hide \| 31 comments
26.		Using obscure graph theory to solve programming languages problems (reasonablypolymorphic.com)
		31 points by matt_d 5 hours ago \| hide \| 3 comments
27.		Membrane: Media Framework for Elixir (membrane.stream)
		118 points by lawik 11 hours ago \| hide \| 36 comments
28.		Insurers launch cover for losses caused by AI chatbot errors (ft.com)
		116 points by jmacd 13 hours ago \| hide \| 42 comments
29.		Turritopsis dohrnii: Immortal jellyfish (nhm.ac.uk)
		37 points by vinnyglennon 7 hours ago \| hide \| 9 comments
30.		Starcloud (ycombinator.com)
		136 points by wiley1454 5 hours ago \| hide \| 264 comments
		More