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