Type-constrained code generation with language models
arxiv.org
Flattening Rust's learning curve
corrode.dev
The IoT device "I'm in a meeting."
nullonerror.org
Branch Privilege Injection: Exploiting branch predictor race conditions
comsec.ethz.ch
DeepSeek’s ‘tech madman’ founder is threatening US dominance in AI race
bloomberg.com
I failed a take-home assignment from Kagi Search
bloggeroo.dev
Google is building its own DeX: First look at Android's Desktop Mode
androidauthority.com
Build real-time knowledge graph for documents with LLM
cocoindex.io
Show HN: HelixDB – Open-source vector-graph database for AI applications (Rust)
github.com
Failed Soviet Venus lander Kosmos 482 crashes to Earth after 53 years in orbit
space.com
Launch HN: Miyagi (YC W25) turns YouTube videos into online, interactive courses
PDF to Text, a challenging problem
marginalia.nu
Airbnb Is in Midlife Crisis Mode
wired.com
Multiple security issues in GNU Screen
openwall.com
Map of Palaeohispanic Coins and Inscriptions
hesperia.ucm.es
Fingers wrinkle the same way every time they’re in the water too long
binghamton.edu
A visual history of the safety pin
museumofeverydaylife.org
How "The Great Gatsby" took over high school
newyorker.com
Replicube: A puzzle game about writing code to create shapes
store.steampowered.com
It Awaits Your Experiments
rifters.com
Garbage collection of object storage at scale
warpstream.com
Coffee for people who don't like coffee
ostwilkens.se
How (memory) safe is Zig? (2021)
scattered-thoughts.net
A tool to verify estimates, II: a flexible proof assistant
terrytao.wordpress.com
[dead]