🦀 Rust - shanesveller · Scour

roogle-rs/roogle: A Rust API search engine 🔌LSP

github.com·3d·Lobsters, Hacker News

Borrow-checking surprises 📋Lightweight Formal Methods

scattered-thoughts.net·2d·Lobsters

Understanding Pin (for C and C++ Developers) (2019) 🎮Bevy

dpzmick.com·3h·Lobsters

VulGD: A LLM-Powered Dynamic Open-Access Vulnerability Graph Database #️⃣BLAKE3

arxiv.org·3h

Untangling Tokio and Rayon in production: From 2s latency spikes to 94ms flat ⚡Tokio

posthog.com·1d·Lobsters

Rust syntax, Go runtime 🔌LSP

lisette.run·5d·Lobsters, Hacker News, Hacker News, r/golang, r/rust

Verification Facade: Masquerading Insecure Cryptographic Implementations as Verified Code 🔐Post-Quantum Crypto

eprint.iacr.org·2d

A tail-call interpreter in (nightly) Rust 🔌LSP

mattkeeter.com·3d·Lobsters, Hacker News, r/rust

SQL-first code generator for PostgreSQL (Haskell, Rust, Java) 🎮Bevy

pgenie.io·6d·Lobsters

ExplainFuzz: Explainable and Constraint-Conditioned Test Generation with Probabilistic Circuits 📋Lightweight Formal Methods

arxiv.org·3h

SALLIE: Safeguarding Against Latent Language & Image Exploits #️⃣BLAKE3

arxiv.org·3h

QED-Lite: Lightweight Detection of Quantum-Vulnerable ELF Binaries via Cryptographic Library Version Fingerprinting 🔐Post-Quantum Crypto

eprint.iacr.org·4d

ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation 🔌LSP

arxiv.org·2d

MARS: Enabling Autoregressive Models Multi-Token Generation 🔌LSP

arxiv.org·3h

Robot: Robust Threshold BBS+ in Two Rounds 📋Lightweight Formal Methods

eprint.iacr.org·5d

An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor 🔌LSP

arxiv.org·1d

Foundry: Template-Based CUDA Graph Context Materialization for Fast LLM Serving Cold Start ⏱️Timely Dataflow

arxiv.org·3h

Fast and Efficient Perfectly Secure Network-Agnostic Secure Computation 🔐Zero-knowledge

eprint.iacr.org·5d

Trace-Guided Synthesis of Effectful Test Generators 📋Lightweight Formal Methods

arxiv.org·2d

PoC-Adapt: Semantic-Aware Automated Vulnerability Reproduction with LLM Multi-Agents and Reinforcement Learning-Driven Adaptive Policy 🔌LSP

arxiv.org·3h

Loading more...