🔒 Type Safety - matmat · Scour

Linear types proposal for Hare 🔒Linear Types

yerinalexey.srht.site·1d·Lobsters, Hacker News·

Programming Languages and Type Safety in the Era of LLMs 🦀Rust Macros

thecodedmessage.com·19h·

Full Disclosure: CVE-2026-33150, CVE-2026-33179: libfuse io_uring memory safety vulnerabilities (use-after-free, NULL deref) 🛡️CBOR Security

seclists.org·4d·

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM 🦀Rust Borrowing

arxiv.org·2d·

Shared mutable state in Rust (2022) 🦀Rust Borrowing

draft.ryhl.io·16h·Hacker News·

Free Stuff from Dissolving and Restitching Bounds 🦀Rust Macros

valand.dev·2h·Hacker News·

Fixing our own problems in the Rust compiler 🦀Rust Macros

trifectatech.org·3d·Lobsters, Hacker News, r/programming, r/rust·

Rust's next-generation trait solver 🦀Rust Verification

lwn.net·2d·Lobsters, Hacker News, r/programming·

DSTs Are Just Polymorphically Compiled Generics 🦀Rust Borrowing

faultlore.com·1d·Lobsters, Hacker News·

Uutils/tar: Rust reimplementation of the tar utility 🦀Rust Borrowing

github.com·3d·Hacker News·

Runtime type checking is great (2023) 🎯Gradual Typing

blog.jez.io·1d·Lobsters·

eBeeMetrics: An eBPF-based Library Framework for Feedback-free Observability of QoS Metrics 🔍eBPF

arxiv.org·6d·

Pondering Effects ✨Effect Handlers

wiki.alopex.li·5d·Lobsters, Hacker News·

Claw-Code Rust Implementation 🦀Rust Borrowing

github.com·1d·Hacker News·

Towards verifying unsafe Rust programs against Rust's pointer-aliasing restrictions 🦀Rust Borrowing

arxiv.org·2d·

Azer0s/tin: A freshly canned systems language 🥫 💧Liquid Types

github.com·1d·Hacker News·

Rust's next-generation trait solver 🦀Rust Borrowing

lwn.net

·3d·

Capability Safety as Datalog: A Foundational Equivalence 🔐Capability Systems

arxiv.org·2d·

C++ standard libray with automated memory management 🧠Memory Allocators

github.com·5d·Hacker News·

skillman1337/modern-loki: C++20 header-only port of Alexandrescu's Loki library — policy-based design patterns with concepts, std::variant, and standard threading 🦀Rust Borrowing

github.com·5d·Hacker News, r/cpp·

Loading more...