Hacker News

1.		Type-constrained code generation with language models (arxiv.org)
		104 points by tough 4 hours ago \| hide \| 45 comments
2.		Flattening Rust's learning curve (corrode.dev)
		94 points by birdculture 4 hours ago \| hide \| 69 comments
3.		Branch Privilege Injection: Exploiting branch predictor race conditions (ethz.ch)
		332 points by alberto-m 10 hours ago \| hide \| 131 comments
4.		I’ve built an IoT device to let my family know when I’m in a meeting (nullonerror.org)
		14 points by delduca 1 hour ago \| hide \| 9 comments
5.		DeepSeek’s founder is threatening US dominance in AI race (bloomberg.com)
		37 points by blumpy22 1 hour ago \| hide \| 21 comments
6.		Build real-time knowledge graph for documents with LLM (cocoindex.io)
		85 points by badmonster 7 hours ago \| hide \| 16 comments
7.		Google is building its own DeX: First look at Android's Desktop Mode (androidauthority.com)
		229 points by logic_node 12 hours ago \| hide \| 183 comments
8.		Failed Soviet Venus lander Kosmos 482 crashes to Earth after 53 years in orbit (space.com)
		116 points by taubek 9 hours ago \| hide \| 72 comments
9.		I failed a take-home assignment from Kagi Search (bloggeroo.dev)
		15 points by josecodea 40 minutes ago \| hide \| 3 comments
10.		When graphic design saves lives (news.harvard.edu)
		30 points by gnabgib 3 hours ago \| hide \| 2 comments
11.		Launch HN: Miyagi (YC W25) turns YouTube videos into online, interactive courses
		167 points by bestwillcui 14 hours ago \| hide \| 91 comments
12.		Show HN: HelixDB – Open-source vector-graph database for AI applications (Rust) (github.com/helixdb)
		130 points by GeorgeCurtis 9 hours ago \| hide \| 54 comments
13.		PDF to Text, a challenging problem (marginalia.nu)
		240 points by ingve 11 hours ago \| hide \| 131 comments
14.		Map of Palaeohispanic Coins and Inscriptions (ucm.es)
		15 points by brendanashworth 2 hours ago \| hide \| discuss
15.		Airbnb is in midlife crisis mode (wired.com)
		62 points by thomasjudge 4 hours ago \| hide \| 89 comments
16.		Multiple security issues in GNU Screen (openwall.com)
		349 points by st_goliath 15 hours ago \| hide \| 211 comments
17.		Fingers wrinkle the same way every time they’re in the water too long (binghamton.edu)
		89 points by gnabgib 3 hours ago \| hide \| 34 comments
18.		A visual history of the safety pin (museumofeverydaylife.org)
		13 points by andsoitis 2 hours ago \| hide \| discuss
19.		Garbage collection of object storage at scale (warpstream.com)
		49 points by ko_pivot 6 hours ago \| hide \| 8 comments
20.		It Awaits Your Experiments (rifters.com)
		137 points by pavel_lishin 10 hours ago \| hide \| 45 comments
21.		Coffee for people who don't like coffee (ostwilkens.se)
		40 points by ostwilkens 5 hours ago \| hide \| 111 comments
22.		How (memory) safe is Zig? (2021) (scattered-thoughts.net)
		31 points by vortex_ape 4 hours ago \| hide \| 25 comments
23.		A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com)
		23 points by jjgreen 4 hours ago \| hide \| discuss
24.		The world could run on older hardware if software optimization was a priority (twitter.com/id_aa_carmack)
		598 points by turrini 16 hours ago \| hide \| 566 comments
25.		Cardiac: A CARDboard Illustrative Aid to Computation [pdf] (drexel.edu)
		22 points by throwaway71271 5 hours ago \| hide \| 11 comments
26.		OpenTelemetry protocol with Apache Arrow (opentelemetry.io)
		64 points by tanelpoder 9 hours ago \| hide \| 14 comments
27.		I learned Snobol and then wrote a toy Forth (ratfactor.com)
		120 points by ingve 15 hours ago \| hide \| 31 comments
28.		Using obscure graph theory to solve programming languages problems (reasonablypolymorphic.com)
		35 points by matt_d 6 hours ago \| hide \| 4 comments
29.		Membrane: Media Framework for Elixir (membrane.stream)
		122 points by lawik 12 hours ago \| hide \| 36 comments
30.		Turritopsis dohrnii: Immortal jellyfish (nhm.ac.uk)
		38 points by vinnyglennon 8 hours ago \| hide \| 10 comments
		More