🛡️ Memory Safety - codenm.no2 · Scour

Towards verifying unsafe Rust programs against Rust's pointer-aliasing restrictions 🔒Runtime Security

arxiv.org·2d·

C++26 is done! — Trip report: March 2026 ISO C++ standards meeting (London Croydon, UK) 💾Bytecode

herbsutter.com·4d·Lobsters, Hacker News, r/cpp, r/programming·

New stable kernels for Thursday 🔒Runtime Security

lwn.net

·4h·

cordx56/rustowl: Visualize Ownership and Lifetimes in Rust 🔧Developer Tooling

github.com·3h·

Fixing our own problems in the Rust compiler - Blog ⚡Assembly Language

tweedegolf.nl·2d·

Bigoish: Test the empirical computational complexity of Rust algorithms 🤖LLM Inference

docs.rs·6d·Lobsters, Hacker News·

EmDash: A spiritual successor to WordPress and plugin security 🔒Runtime Security

blog.cloudflare.com·1d·Hacker News·

safebrowse 0.3.2 on PyPI - Libraries.io - security & maintenance data for open source software 🔒Runtime Security

libraries.io·3d·

Whistler: Live eBPF Programming from the Common Lisp REPL 🔬eBPF

news.ycombinator.com·6d·Hacker News·

Perceus: Garbage Free Reference Counting with Reuse (2020) 🌲Persistent Data Structures

microsoft.com·5d·Lobsters·

Automated Framework to Evaluate and Harden LLM System Instructions against Encoding Attacks 🔬Formal Methods

arxiv.org·13h·

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM ⚙️Compilers

arxiv.org·2d·

mini-gzip - gzip decompression in under 300 lines of Rust ⚡Assembly Language

github.com

·5d·

Detecting speculative leaks with compositional semantics 🔒Runtime Security

arxiv.org·1d·

esp-rs/no_std-training: Getting-started guide on using the Rust with Espressif SoCs using no_std. 🔒Runtime Security

github.com·3d·

Detecting Protracted Vulnerabilities in Open Source Projects 🦠Malware Analysis

arxiv.org·2d·

m0at/rvllm: rvLLM: High-performance LLM inference in Rust. Drop-in vLLM replacement. 🤖LLM Inference

github.com·4d·Hacker News·

A Unified Memory Perspective for Probabilistic Trustworthy AI 🛡️AI Safety

arxiv.org·6d·

Learning From Developers: Towards Reliable Patch Validation at Scale for Linux 🔒Runtime Security

arxiv.org·6d·

The System Prompt Is the Attack Surface: How LLM Agent Configuration Shapes Security and Creates Exploitable Vulnerabilities 🛡️AI Security

arxiv.org·6d·

Loading more...