-
106
Type-constrained code generation with language models
(arxiv.org)
-
94
Flattening Rust's learning curve
(corrode.dev)
-
15
I’ve built an IoT device to let my family know when I’m in a meeting
(nullonerror.org)
-
333
Branch Privilege Injection: Exploiting branch predictor race conditions
(comsec.ethz.ch)
-
39
DeepSeek’s founder is threatening US dominance in AI race
(bloomberg.com)
-
20
I failed a take-home assignment from Kagi Search
(bloggeroo.dev)
-
230
Google is building its own DeX: First look at Android's Desktop Mode
(androidauthority.com)
-
86
Build real-time knowledge graph for documents with LLM
(cocoindex.io)
-
130
Show HN: HelixDB – Open-source vector-graph database for AI applications (Rust)
(github.com)
-
116
Failed Soviet Venus lander Kosmos 482 crashes to Earth after 53 years in orbit
(space.com)
-
167
Launch HN: Miyagi (YC W25) turns YouTube videos into online, interactive courses
()
-
240
PDF to Text, a challenging problem
(marginalia.nu)
-
349
Multiple security issues in GNU Screen
(openwall.com)
-
15
Map of Palaeohispanic Coins and Inscriptions
(hesperia.ucm.es)
-
62
Airbnb is in midlife crisis mode
(wired.com)
-
89
Fingers wrinkle the same way every time they’re in the water too long
(binghamton.edu)
-
13
A visual history of the safety pin
(museumofeverydaylife.org)
-
3
How "The Great Gatsby" took over high school
(newyorker.com)
-
3
Replicube: A puzzle game about writing code to create shapes
(store.steampowered.com)
-
49
Garbage collection of object storage at scale
(warpstream.com)
-
138
It Awaits Your Experiments
(rifters.com)
-
40
Coffee for people who don't like coffee
(ostwilkens.se)
-
31
How (memory) safe is Zig? (2021)
(scattered-thoughts.net)
-
24
A tool to verify estimates, II: a flexible proof assistant
(terrytao.wordpress.com)
-
30
When graphic design saves lives
(news.harvard.edu)
-
598
The world could run on older hardware if software optimization was a priority
(twitter.com)
-
22
Cardiac: A CARDboard Illustrative Aid to Computation [pdf]
(cs.drexel.edu)
-
65
OpenTelemetry protocol with Apache Arrow
(opentelemetry.io)
-
120
I learned Snobol and then wrote a toy Forth
(ratfactor.com)
-
36
Using obscure graph theory to solve programming languages problems
(reasonablypolymorphic.com)