🛡️ Memory Safety - hello · Scour

CHERIoT-Ibex: Closing the door on memory safety vulnerabilities with hardware-enforced protection 🛡️Intel CET

techcommunity.microsoft.com·3d

Fighting Hyrum's Law in LLVM 🔨LLVM

maskray.me·2d·Lobsters, Hacker News

MemPrivacy: Privacy-Preserving Personalized Memory Management for Edge-Cloud Agents 🔗Intrusive Containers

Using dma-bufs for read and write operations 📋Zero-Copy

·5h

ASLR & PIE Bypass: Defeating Randomized Memory in 2025 q 🚧Memory Barriers

·8h

I built a faster Notion in Rust 📦Folly

news.ycombinator.com·1d·Hacker News

Despite these not being traditional memory corruption, a memory safe language with a better type system would definitely help. Containing low-level handling ... 📏Linear Types

grapheneos.social·4d

docs/plans/ir-type: new IR type system design 📐Type Theory

github.com·16h

The hidden cost of `mpsc` 🔗Intrusive Containers

blog.howardjohn.info·23h·Lobsters, r/rust

Behavior-Oriented Concurrency for Python: Lock-less, Deadlock-free, Ownership-based 🔄Concurrency Patterns

lobste.rs·4d·Lobsters

Lessons Learned Building High-Performance Rust Profiler 📊Profiling Tools

pawelurbanek.com·6h·r/rust

Macros in Fir 🦀Rust Macros

UC4Free! Existing Threshold Signatures are UC Secure 🔓Lock-Free Programming

eprint.iacr.org·3d

DeepSeek-v4-Pro and Hermes: Unauthorized Modification of Security Controls 🔺Delta Lake

eddieoz.com·5d·Hacker News

Sandboxing AIOps and Agentic AI Security 🛡️AI Security

blog.cosmonic.com·6d·Hacker News

Using Rust typestates for BCF writing 📦Serde

deterministic.space·5d

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

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·8h·Hacker News

Your refresh plan has a CVE blind spot 📝Write-Ahead Logging

csoonline.com·4d

WATSON: Leveraging Data Watchpoints for Shadow Stack Protection on Embedded Systems 🔍eBPF

Log in to enable infinite scrolling