🛡️ Memory Safety - hello · Scour

Copy Fail and DirtyFrag: Linux Page Cache Bugs in the Wild 🔓Binary Exploitation

CVE-2026-31431: Copy Fail 🔓Binary Exploitation

retr0.zip·4d·Lobsters

yantrikos/yantrikdb: Cognitive memory engine for AI agents — temporal decay, contradiction detection, autonomous consolidation, knowledge graph, ANN recall via HNSW. Embeddable Rust library with Python bindings; powers yantrikdb-server (HTTP gateway, MCP server, openraft cluster). AGPL. 🎴TAO

github.com·7h·Hacker News

oss-security - Dirty Frag: Universal Linux LPE 🔍eBPF

openwall.com·5d·Lobsters, Hacker News

Janus: Compiler-Based Defense Against Transient Execution Attacks Using ARM Hardware Primitives 🏷️Memory Tagging

A new era for memory-management maintainership 🧱Slab Allocation

·5d

Show HN: Mex – persistent memory for AI coding agents (~60% token reduction) 🧠Memory Models

news.ycombinator.com·5d·Hacker News

P1-S5: Add thread-local context and RAII guard to IRTypeContext 🛡️RAII

github.com·15h

Mitigating False Positives in Static Memory Safety Analysis of Rust Programs via Reinforcement Learning ⚠️Rust Unsafe

L1v1ng0ffTh3L4N/EdgeSavedPasswordsDumper: Security related proof of concepts 🏷️Memory Tagging

github.com·6d·Hacker News

LIPPEN: A Lightweight In-Place Pointer Encryption Architecture for Pointer Integrity 🏷️Memory Tagging

I built a baremetal RustOS (O(1)allocator NVMeDMA ZeroTrust sandbox for AIAgents 🐧Rust for Linux

github.com·3d·Hacker News

Dependency-Aware Privacy for Multi-turn Agents 🔒Differential Privacy

AFL-ICP: Enhancing Industrial Control Protocol Reliability via Specification-Guided Fuzzing 🐛Fuzzing

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code 🔀Crossbeam

Logics for Context-free Hyperproperties 🎯Hindley-Milner

Log in to enable infinite scrolling