Hacker News

1.		Bus stops here: Shanghai lets riders design their own routes (sixthtone.com)
		85 points by anigbrowl 1 hour ago \| hide \| 36 comments
2.		RPG in a Box (rpginabox.com)
		58 points by skibz 2 hours ago \| hide \| 5 comments
3.		Type-constrained code generation with language models (arxiv.org)
		161 points by tough 7 hours ago \| hide \| 55 comments
4.		Flattening Rust’s learning curve (corrode.dev)
		160 points by birdculture 7 hours ago \| hide \| 121 comments
5.		Branch Privilege Injection: Exploiting branch predictor race conditions (ethz.ch)
		354 points by alberto-m 13 hours ago \| hide \| 133 comments
6.		Replicube: A puzzle game about writing code to create shapes (steampowered.com)
		31 points by poetril 4 hours ago \| hide \| 4 comments
7.		Google is building its own DeX: First look at Android's Desktop Mode (androidauthority.com)
		267 points by logic_node 15 hours ago \| hide \| 215 comments
8.		How “The Great Gatsby” took over high school (newyorker.com)
		28 points by pseudolus 3 hours ago \| hide \| 27 comments
9.		Show HN: HelixDB – Open-source vector-graph database for AI applications (Rust) (github.com/helixdb)
		147 points by GeorgeCurtis 12 hours ago \| hide \| 64 comments
10.		Failed Soviet Venus lander Kosmos 482 crashes to Earth after 53 years in orbit (space.com)
		129 points by taubek 12 hours ago \| hide \| 88 comments
11.		Launch HN: Miyagi (YC W25) turns YouTube videos into online, interactive courses
		171 points by bestwillcui 17 hours ago \| hide \| 95 comments
12.		Build real-time knowledge graph for documents with LLM (cocoindex.io)
		114 points by badmonster 10 hours ago \| hide \| 18 comments
13.		Mipmap selection in too much detail (pema.dev)
		29 points by luu 3 hours ago \| hide \| 7 comments
14.		Multiple security issues in GNU Screen (openwall.com)
		363 points by st_goliath 18 hours ago \| hide \| 218 comments
15.		Airbnb is in midlife crisis mode (wired.com)
		115 points by thomasjudge 7 hours ago \| hide \| 190 comments
16.		Show HN: I’ve built an IoT device to let my family know when I’m in a meeting (nullonerror.org)
		64 points by delduca 4 hours ago \| hide \| 40 comments
17.		PDF to Text, a challenging problem (marginalia.nu)
		255 points by ingve 14 hours ago \| hide \| 151 comments
18.		Show HN: Mycelium (github.com/mycweb)
		8 points by brendoncarroll 2 hours ago \| hide \| 1 comment
19.		It Awaits Your Experiments (rifters.com)
		151 points by pavel_lishin 13 hours ago \| hide \| 56 comments
20.		Garbage collection of object storage at scale (warpstream.com)
		62 points by ko_pivot 9 hours ago \| hide \| 8 comments
21.		Coffee for people who don't like coffee (ostwilkens.se)
		60 points by ostwilkens 8 hours ago \| hide \| 156 comments
22.		The world could run on older hardware if software optimization was a priority (twitter.com/id_aa_carmack)
		640 points by turrini 19 hours ago \| hide \| 592 comments
23.		A visual history of the safety pin (museumofeverydaylife.org)
		20 points by andsoitis 5 hours ago \| hide \| discuss
24.		Fingers wrinkle the same way every time they’re in the water too long (binghamton.edu)
		103 points by gnabgib 6 hours ago \| hide \| 40 comments
25.		OpenTelemetry protocol with Apache Arrow (opentelemetry.io)
		82 points by tanelpoder 12 hours ago \| hide \| 15 comments
26.		I learned Snobol and then wrote a toy Forth (ratfactor.com)
		126 points by ingve 18 hours ago \| hide \| 32 comments
27.		Using obscure graph theory to solve programming languages problems (reasonablypolymorphic.com)
		46 points by matt_d 9 hours ago \| hide \| 7 comments
28.		A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com)
		35 points by jjgreen 7 hours ago \| hide \| discuss
29.		Cardiac: A CARDboard Illustrative Aid to Computation [pdf] (drexel.edu)
		27 points by throwaway71271 8 hours ago \| hide \| 13 comments
30.		Map of Palaeohispanic Coins and Inscriptions (ucm.es)
		17 points by brendanashworth 5 hours ago \| hide \| 1 comment
		More