Relative Completeness of Incorrectness Separation Logic
arxiv.org·1h
🧠Separation Logic
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·18h
⚗️Algebraic Coding
Question - Cost Effective Storage Expansion - The right way?
preview.redd.it·13h·
Discuss: r/homelab
💰Archive Economics
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Evading Data Provenance in Deep Neural Networks
arxiv.org·1h
🔍Vector Forensics
Building a Real Estate Tokenization dApp with Flare's Zero-Fee Oracles
dev.to·15h·
Discuss: DEV
🚚Data Migration
Black Hat 2025: Why We Built a Museum Instead of a Booth
lab.wallarm.com·18h
🔐Cryptographic Archaeology
Cloud Repatriation: Why Enterprises Are Moving Workloads Off Hyperscalers
blog.min.io·6h
🖥️Self-hosted Infrastructure
From 245TB Density to Gen6 Throughput: Micron's New SSDs – Storagereview.com
storagereview.com·9h·
Discuss: Hacker News
💿ZFS Internals
SAT Requires Exhaustive Search
link.springer.com·8h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Part 1: A Deep Dive into Rust and C Memory Interoperability
notashes.me·14h·
Discuss: Hacker News
🔩Systems Programming
OWASP ASVS 5.0.0 is here!
scotthelme.ghost.io·19h
🛡️WASM Sandboxing
Josh Lockhart & Phil Sturgeon
deprogrammaticaipsum.com·1d
🦀Rusty Databases
318
skynettoday.com·1d
🌀Brotli Internals
Lessons from Amazon S3 Vector Store and the Nuances of Hybrid Vector Storage
caylent.com·14h·
Discuss: Hacker News
🗂️Vector Databases
How to Create Unbreakable Job Security: A Software Developer's Guide to Making Yourself Indispensable
getparthenon.com·21h·
Discuss: Hacker News, r/programming
💾Persistence Strategies
How we made JSON.stringify more than twice as fast
v8.dev·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🌊Streaming Compression
Simple Methods Defend RAG Systems Well Against Real-World Attacks
arxiv.org·1h
🔐Systems Hardening
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·15h
📝Concrete Syntax
The Generativity Pattern in Rust
arhan.sh·11h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros