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