🛡️ Memory Safety - jamii · Scour

Borrow-checking surprises ↔️Bidirectional Typing

scattered-thoughts.net·3d·Lobsters, Hacker News

A Gradual Probabilistic Lambda Calculus ↔️Bidirectional Typing

arxiv.org·2d

A flood of useful security reports 🗄️Databases

lwn.net

·17h

Wasmtime’s April 9, 2026 Security Advisories 🕸️WebAssembly

bytecodealliance.org·1d·Lobsters, Hacker News, r/rust

Wastrel milestone: full hoot support, with generational gc as a treat ⚙️Compilers

wingolog.org·17h·Lobsters, Hacker News

OSTEP Chapter 14: Interlude -- Memory API ⚙️Runtime Systems

muratbuffalo.blogspot.com·6d·Blogger

Sysbench vs MySQL on a small server: n 🔍Query Engines

smalldatum.blogspot.com·11h·smalldatum.blogspot.com

Learned Static Function Data Structures ♻️Incremental Computation

vldb.org·1d

VulGD: A LLM-Powered Dynamic Open-Access Vulnerability Graph Database 🔍Abstract Interpretation

arxiv.org·1d

1SubML: Plan vs Reality λPLT

blog.polybdenum.com·5d·Lobsters, Hacker News

Nix privilege escalation security advisory 👤End-User Programming

lwn.net

·1d

dcmake: a new CMake debugger UI 🐛Debuggers

nullprogram.com·3d·Hacker News

Can You Trust the Vectors in Your Vector Database? Black-Hole Attack from Embedding Space Defects 📊Columnar Storage

arxiv.org·2d

A Cryptography Engineer’s Perspective on Quantum Computing Timelines 🌀Effect Systems

words.filippo.io·3d·Lobsters, Hacker News, r/crypto

NSA and IETF, part 7 ↔️Bidirectional Typing

blog.cr.yp.to·4d·Hacker News

The Future of Everything is Lies, I Guess: Dynamics 🌀Effect Systems

aphyr.com·3d

the value of a performance oracle ⚙️Compilers

wingolog.org·2d·Lobsters, Hacker News

ArceKV: Towards Workload-driven LSM-compactions for Key-Value Store Under Dynamic Workloads 📊Columnar Storage

vldb.org·1d

Hackers breached the European Commission (The Next Web) 👤End-User Programming

lwn.net

·4d

The Insert Benchmark vs MariaDB 10.2 to 13.0 on a 24-core server 📊Columnar Storage

smalldatum.blogspot.com·2d·smalldatum.blogspot.com

Loading more...