Hacker News

1.		Your fingers wrinkle the same way every time you're in the water too long (binghamton.edu)
		30 points by gnabgib 1 hour ago \| hide \| 6 comments
2.		Type-constrained code generation with language models (arxiv.org)
		71 points by tough 2 hours ago \| hide \| 33 comments
3.		Flattening Rust's learning curve (corrode.dev)
		53 points by birdculture 2 hours ago \| hide \| 27 comments
4.		Branch Privilege Injection: Exploiting branch predictor race conditions (ethz.ch)
		320 points by alberto-m 8 hours ago \| hide \| 127 comments
5.		Build real-time knowledge graph for documents with LLM (cocoindex.io)
		67 points by badmonster 5 hours ago \| hide \| 11 comments
6.		Failed Soviet Venus lander Kosmos 482 crashes to Earth after 53 years in orbit (space.com)
		99 points by taubek 7 hours ago \| hide \| 63 comments
7.		Google is building its own DeX: First look at Android's Desktop Mode (androidauthority.com)
		201 points by logic_node 10 hours ago \| hide \| 162 comments
8.		Map of Palaeohispanic Coins and Inscriptions (ucm.es)
		8 points by brendanashworth 48 minutes ago \| hide \| discuss
9.		Show HN: HelixDB – Open-source vector-graph database for AI applications (Rust) (github.com/helixdb)
		116 points by GeorgeCurtis 7 hours ago \| hide \| 50 comments
10.		PDF to Text, a challenging problem (marginalia.nu)
		223 points by ingve 9 hours ago \| hide \| 124 comments
11.		Multiple security issues in GNU Screen (openwall.com)
		334 points by st_goliath 13 hours ago \| hide \| 203 comments
12.		When graphic design saves lives (news.harvard.edu)
		10 points by gnabgib 1 hour ago \| hide \| discuss
13.		Less meat is nearly always better than sustainable meat (ourworldindata.org)
		12 points by sohkamyung 1 hour ago \| hide \| 9 comments
14.		A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com)
		15 points by jjgreen 2 hours ago \| hide \| discuss
15.		Launch HN: Miyagi (YC W25) turns YouTube videos into online, interactive courses
		157 points by bestwillcui 12 hours ago \| hide \| 87 comments
16.		Garbage collection of object storage at scale (warpstream.com)
		35 points by ko_pivot 4 hours ago \| hide \| 6 comments
17.		How (memory) safe is Zig? (2021) (scattered-thoughts.net)
		19 points by vortex_ape 2 hours ago \| hide \| 16 comments
18.		It Awaits Your Experiments (rifters.com)
		126 points by pavel_lishin 8 hours ago \| hide \| 36 comments
19.		Coffee for people who don't like coffee (ostwilkens.se)
		24 points by ostwilkens 3 hours ago \| hide \| 59 comments
20.		Cardiac: A CARDboard Illustrative Aid to Computation [pdf] (drexel.edu)
		16 points by throwaway71271 3 hours ago \| hide \| 5 comments
21.		Y Combinator says Google is a monopolist, no comment about its OpenAI ties (techcrunch.com)
		111 points by mastazi 3 hours ago \| hide \| 31 comments
22.		The world could run on older hardware if software optimization was a priority (twitter.com/id_aa_carmack)
		569 points by turrini 14 hours ago \| hide \| 543 comments
23.		OpenTelemetry protocol with Apache Arrow (opentelemetry.io)
		57 points by tanelpoder 7 hours ago \| hide \| 14 comments
24.		I learned Snobol and then wrote a toy Forth (ratfactor.com)
		115 points by ingve 13 hours ago \| hide \| 30 comments
25.		Starcloud (ycombinator.com)
		131 points by wiley1454 4 hours ago \| hide \| 246 comments
26.		Turritopsis dohrnii: Immortal jellyfish (nhm.ac.uk)
		30 points by vinnyglennon 6 hours ago \| hide \| 8 comments
27.		Membrane: Media Framework for Elixir (membrane.stream)
		114 points by lawik 10 hours ago \| hide \| 36 comments
28.		Insurers launch cover for losses caused by AI chatbot errors (ft.com)
		109 points by jmacd 12 hours ago \| hide \| 41 comments
29.		Using obscure graph theory to solve programming languages problems (reasonablypolymorphic.com)
		28 points by matt_d 4 hours ago \| hide \| 3 comments
30.		In a high-stress work environment, prioritize relationships (wqtz.bearblog.dev)
		286 points by wqtz 11 hours ago \| hide \| 179 comments
		More