Type-constrained code generation with language models (arxiv.org)
43 points by tough 2 hours ago | 5 comments
1Flattening Rust's Learning Curve (corrode.dev)
31 points by birdculture 2 hours ago | 9 comments
2Branch Privilege Injection: Exploiting branch predictor race conditions (comsec.ethz.ch)
310 points by alberto-m 7 hours ago | 118 comments
3Starcloud (ycombinator.com)
112 points by wiley1454 4 hours ago | 210 comments
4Build real-time knowledge graph for documents with LLM (cocoindex.io)
59 points by badmonster 4 hours ago | 8 comments
5Failed Soviet Venus lander Kosmos 482 crashes to Earth after 53 years in orbit (space.com)
90 points by taubek 3 days ago | 57 comments
6Show HN: HelixDB – Open-source vector-graph database for AI applications (Rust) (github.com)
109 points by GeorgeCurtis 7 hours ago | 50 comments
7Google is building its own DeX: First look at Android's Desktop Mode (androidauthority.com)
176 points by logic_node 9 hours ago | 154 comments
8A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com)
9 points by jjgreen 4 days ago | 0 comments
9PDF to Text, a challenging problem (marginalia.nu)
213 points by ingve 9 hours ago | 116 comments
10Multiple security issues in GNU Screen (openwall.com)
328 points by st_goliath 13 hours ago | 194 comments
11Cardiac: A CARDboard Illustrative Aid to Computation [pdf] (cs.drexel.edu)
14 points by throwaway71271 2 hours ago | 4 comments
12Garbage collection of object storage at scale (warpstream.com)
25 points by ko_pivot 3 days ago | 6 comments
13Launch HN: Miyagi (YC W25) turns YouTube videos into online, interactive courses
153 points by bestwillcui 11 hours ago | 86 comments
14It Awaits Your Experiments (rifters.com)
120 points by pavel_lishin 9 hours ago | 34 comments
15Ask HN: How are you acquiring your first hundred users?
456 points by amanchanda 15 hours ago | 282 comments
16How (memory) safe is Zig? (2021) (scattered-thoughts.net)
13 points by vortex_ape 2 hours ago | 6 comments
17OpenTelemetry protocol with Apache Arrow (opentelemetry.io)
52 points by tanelpoder 6 hours ago | 13 comments
18Using obscure graph theory to solve programming languages problems (reasonablypolymorphic.com)
22 points by matt_d 4 hours ago | 3 comments
19The world could run on older hardware if software optimization was a priority (twitter.com)
551 points by turrini 13 hours ago | 533 comments
20Membrane: Media Framework for Elixir (membrane.stream)
108 points by lawik 3 days ago | 35 comments
21I learned Snobol and then wrote a toy Forth (ratfactor.com)
113 points by ingve 3 days ago | 30 comments
22Turritopsis dohrnii: Immortal jellyfish (nhm.ac.uk)
26 points by vinnyglennon 4 days ago | 6 comments
23Y Combinator says Google is a monopolist, no comment about its OpenAI ties (techcrunch.com)
86 points by mastazi 2 hours ago | 23 comments
24Insurers launch cover for losses caused by AI chatbot errors (ft.com)
103 points by jmacd 3 days ago | 38 comments
25In a high-stress work environment, prioritize relationships (wqtz.bearblog.dev)
276 points by wqtz 11 hours ago | 176 comments
26A Taxonomy of Bugs (ruby0x1.github.io)
41 points by lissine 9 hours ago | 14 comments
27TheForger's Win32 API Tutorial (winprog.org)
55 points by xeonmc 10 hours ago | 4 comments
28Why are banks still getting authentication so wrong? (jamal.haba.sh)
218 points by kamikazee 5 hours ago | 284 comments
29Android and Wear OS are getting a redesign (blog.google)
38 points by whatever3 5 hours ago | 86 comments
30