Hacker News

1.		Type-constrained code generation with language models (arxiv.org)
		120 points by tough 5 hours ago \| hide \| 47 comments
2.		I failed a take-home assignment from Kagi Search (bloggeroo.dev)
		113 points by josecodea 1 hour ago \| hide \| 58 comments
3.		I’ve built an IoT device to let my family know when I’m in a meeting (nullonerror.org)
		39 points by delduca 2 hours ago \| hide \| 21 comments
4.		Flattening Rust’s learning curve (corrode.dev)
		114 points by birdculture 5 hours ago \| hide \| 94 comments
5.		Branch Privilege Injection: Exploiting branch predictor race conditions (ethz.ch)
		336 points by alberto-m 11 hours ago \| hide \| 132 comments
6.		Google is building its own DeX: First look at Android's Desktop Mode (androidauthority.com)
		239 points by logic_node 13 hours ago \| hide \| 200 comments
7.		Build real-time knowledge graph for documents with LLM (cocoindex.io)
		96 points by badmonster 8 hours ago \| hide \| 16 comments
8.		Show HN: HelixDB – Open-source vector-graph database for AI applications (Rust) (github.com/helixdb)
		134 points by GeorgeCurtis 10 hours ago \| hide \| 59 comments
9.		Failed Soviet Venus lander Kosmos 482 crashes to Earth after 53 years in orbit (space.com)
		119 points by taubek 10 hours ago \| hide \| 74 comments
10.		Launch HN: Miyagi (YC W25) turns YouTube videos into online, interactive courses
		168 points by bestwillcui 15 hours ago \| hide \| 92 comments
11.		Mipmap selection in too much detail (pema.dev)
		11 points by luu 1 hour ago \| hide \| 3 comments
12.		Airbnb is in midlife crisis mode (wired.com)
		82 points by thomasjudge 5 hours ago \| hide \| 137 comments
13.		PDF to Text, a challenging problem (marginalia.nu)
		245 points by ingve 12 hours ago \| hide \| 138 comments
14.		How “The Great Gatsby” took over high school (newyorker.com)
		12 points by pseudolus 2 hours ago \| hide \| 2 comments
15.		Multiple security issues in GNU Screen (openwall.com)
		352 points by st_goliath 16 hours ago \| hide \| 215 comments
16.		Replicube: A puzzle game about writing code to create shapes (steampowered.com)
		11 points by poetril 2 hours ago \| hide \| discuss
17.		A visual history of the safety pin (museumofeverydaylife.org)
		15 points by andsoitis 3 hours ago \| hide \| discuss
18.		Fingers wrinkle the same way every time they’re in the water too long (binghamton.edu)
		95 points by gnabgib 4 hours ago \| hide \| 36 comments
19.		Map of Palaeohispanic Coins and Inscriptions (ucm.es)
		16 points by brendanashworth 3 hours ago \| hide \| discuss
20.		It Awaits Your Experiments (rifters.com)
		143 points by pavel_lishin 11 hours ago \| hide \| 48 comments
21.		DeepSeek’s founder is threatening US dominance in AI race (bloomberg.com)
		48 points by blumpy22 2 hours ago \| hide \| 34 comments
22.		Garbage collection of object storage at scale (warpstream.com)
		50 points by ko_pivot 7 hours ago \| hide \| 8 comments
23.		How (memory) safe is Zig? (2021) (scattered-thoughts.net)
		32 points by vortex_ape 5 hours ago \| hide \| 34 comments
24.		The world could run on older hardware if software optimization was a priority (twitter.com/id_aa_carmack)
		606 points by turrini 17 hours ago \| hide \| 572 comments
25.		A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com)
		24 points by jjgreen 5 hours ago \| hide \| discuss
26.		Cardiac: A CARDboard Illustrative Aid to Computation [pdf] (drexel.edu)
		24 points by throwaway71271 6 hours ago \| hide \| 13 comments
27.		I learned Snobol and then wrote a toy Forth (ratfactor.com)
		120 points by ingve 16 hours ago \| hide \| 31 comments
28.		OpenTelemetry protocol with Apache Arrow (opentelemetry.io)
		68 points by tanelpoder 10 hours ago \| hide \| 14 comments
29.		Coffee for people who don't like coffee (ostwilkens.se)
		44 points by ostwilkens 6 hours ago \| hide \| 129 comments
30.		Using obscure graph theory to solve programming languages problems (reasonablypolymorphic.com)
		38 points by matt_d 7 hours ago \| hide \| 5 comments
		More