- 29Type-constrained code generation with language models (arxiv.org)
- 307Branch Privilege Injection: Exploiting branch predictor race conditions (comsec.ethz.ch)
- 22Flattening Rust's Learning Curve (corrode.dev)
- 106Starcloud (ycombinator.com)
- 51Build real-time knowledge graph for documents with LLM (cocoindex.io)
- 89Failed Soviet Venus lander Kosmos 482 crashes to Earth after 53 years in orbit (space.com)
- 105Show HN: HelixDB – Open-source vector-graph database for AI applications (Rust) (github.com)
- 14Cardiac: A CARDboard Illustrative Aid to Computation [pdf] (cs.drexel.edu)
- 168Google is building its own DeX: First look at Android's Desktop Mode (androidauthority.com)
- 209PDF to Text, a challenging problem (marginalia.nu)
- 326Multiple security issues in GNU Screen (openwall.com)
- 22Garbage collection of object storage at scale (warpstream.com)
- 150Launch HN: Miyagi (YC W25) turns YouTube videos into online, interactive courses
- 118It Awaits Your Experiments (rifters.com)
- 7A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com)
- 451Ask HN: How are you acquiring your first hundred users?
ask - 52OpenTelemetry protocol with Apache Arrow (opentelemetry.io)
- 11How (memory) safe is Zig? (2021) (scattered-thoughts.net)
- 108Membrane: Media Framework for Elixir (membrane.stream)
- 544The world could run on older hardware if software optimization was a priority (twitter.com)
- 113I learned Snobol and then wrote a toy Forth (ratfactor.com)
- 25Turritopsis dohrnii: Immortal jellyfish (nhm.ac.uk)
- 20Using obscure graph theory to solve programming languages problems (reasonablypolymorphic.com)
- 78Y Combinator says Google is a monopolist, no comment about its OpenAI ties (techcrunch.com)
- 100Insurers launch cover for losses caused by AI chatbot errors (ft.com)
- 272In a high-stress work environment, prioritize relationships (wqtz.bearblog.dev)
- 213Why are banks still getting authentication so wrong? (jamal.haba.sh)
- 55TheForger's Win32 API Tutorial (winprog.org)
- 39A Taxonomy of Bugs (ruby0x1.github.io)
- 38Android and Wear OS are getting a redesign (blog.google)