Hacker News

1.		Bus stops here: Shanghai lets riders design their own routes (sixthtone.com)
		147 points by anigbrowl 2 hours ago \| hide \| 82 comments
2.		RPG in a Box (rpginabox.com)
		91 points by skibz 3 hours ago \| hide \| 7 comments
3.		Type-constrained code generation with language models (arxiv.org)
		178 points by tough 8 hours ago \| hide \| 64 comments
4.		Flattening Rust’s learning curve (corrode.dev)
		195 points by birdculture 8 hours ago \| hide \| 137 comments
5.		Branch Privilege Injection: Exploiting branch predictor race conditions (ethz.ch)
		360 points by alberto-m 14 hours ago \| hide \| 139 comments
6.		Writing that changed how I think about programming languages (bernsteinbear.com)
		21 points by r4um 2 hours ago \| hide \| 3 comments
7.		Replicube: A puzzle game about writing code to create shapes (steampowered.com)
		41 points by poetril 5 hours ago \| hide \| 10 comments
8.		Google is building its own DeX: First look at Android's Desktop Mode (androidauthority.com)
		285 points by logic_node 16 hours ago \| hide \| 225 comments
9.		Show HN: HelixDB – Open-source vector-graph database for AI applications (Rust) (github.com/helixdb)
		156 points by GeorgeCurtis 13 hours ago \| hide \| 64 comments
10.		Mipmap selection in too much detail (pema.dev)
		37 points by luu 4 hours ago \| hide \| 8 comments
11.		Failed Soviet Venus lander Kosmos 482 crashes to Earth after 53 years in orbit (space.com)
		135 points by taubek 13 hours ago \| hide \| 95 comments
12.		Show HN: Mycelium (github.com/mycweb)
		17 points by brendoncarroll 3 hours ago \| hide \| 3 comments
13.		Launch HN: Miyagi (YC W25) turns YouTube videos into online, interactive courses
		173 points by bestwillcui 18 hours ago \| hide \| 98 comments
14.		Build real-time knowledge graph for documents with LLM (cocoindex.io)
		120 points by badmonster 11 hours ago \| hide \| 18 comments
15.		Multiple security issues in GNU Screen (openwall.com)
		367 points by st_goliath 19 hours ago \| hide \| 219 comments
16.		PDF to Text, a challenging problem (marginalia.nu)
		270 points by ingve 15 hours ago \| hide \| 153 comments
17.		EM-LLM: Human-Inspired Episodic Memory for Infinite Context LLMs (github.com/em-llm)
		42 points by jbotz 7 hours ago \| hide \| 5 comments
18.		Airbnb is in midlife crisis mode (wired.com)
		130 points by thomasjudge 8 hours ago \| hide \| 218 comments
19.		You can no longer browse open source code on GitHub without logging in first (github.com/orgs)
		26 points by confusing3478 52 minutes ago \| hide \| 9 comments
20.		It Awaits Your Experiments (rifters.com)
		158 points by pavel_lishin 14 hours ago \| hide \| 57 comments
21.		Garbage collection of object storage at scale (warpstream.com)
		71 points by ko_pivot 10 hours ago \| hide \| 9 comments
22.		The world could run on older hardware if software optimization was a priority (twitter.com/id_aa_carmack)
		654 points by turrini 20 hours ago \| hide \| 601 comments
23.		A visual history of the safety pin (museumofeverydaylife.org)
		22 points by andsoitis 6 hours ago \| hide \| 2 comments
24.		Using obscure graph theory to solve programming languages problems (reasonablypolymorphic.com)
		51 points by matt_d 10 hours ago \| hide \| 8 comments
25.		I learned Snobol and then wrote a toy Forth (ratfactor.com)
		128 points by ingve 19 hours ago \| hide \| 33 comments
26.		OpenTelemetry protocol with Apache Arrow (opentelemetry.io)
		85 points by tanelpoder 13 hours ago \| hide \| 15 comments
27.		A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com)
		38 points by jjgreen 8 hours ago \| hide \| discuss
28.		Fingers wrinkle the same way every time they’re in the water too long (binghamton.edu)
		114 points by gnabgib 7 hours ago \| hide \| 42 comments
29.		Cardiac: A CARDboard Illustrative Aid to Computation [pdf] (drexel.edu)
		28 points by throwaway71271 9 hours ago \| hide \| 14 comments
30.		The great displacement is already well underway? (shawnfromportland.substack.com)
		319 points by JSLegendDev 1 day ago \| hide \| 326 comments
		More