A Rust Shaped Hole
mnvr.in·9h·
Discuss: Hacker News
🦀Rust Macros
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·6h
🔒Type Safety
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·6h·
Discuss: Hacker News, r/programming
🔒Type Safety
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·23h·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·1d
🧠Computational Logic
Functional Abstract Interpretation
simon.peytonjones.org·21h·
Discuss: Hacker News
🔗Functional Compilers
RustNext: The Next.js-Inspired Web Framework for Rust
dev.to·4h·
Discuss: DEV
🦀Rust Borrowing
FSM Library for Embedded C Projects
hackster.io·1d
🦀Embedded Rust
The Best C++ Library
mcyoung.xyz·1d·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust Borrowing
Call for Testing: Speeding up compilation with `hint-mostly-unused`
blog.rust-lang.org·21h·
Discuss: Hacker News
🦀Rust Borrowing
Parsing Safetensors File Format in C
leetarxiv.substack.com·5h·
Discuss: Substack, r/programming
✅Format Verification
Rust Language Cheat Sheet
cheats.rs·3d·
Discuss: Hacker News
🦀Rust Macros
Binary Search in a 2D Matrix
mmhaskell.com·1d
📐Error Bounds
A Rust shaped hole
ente.io·1d
🦀Rust Macros
oapi-codegen v2.5.0 is out
github.com·3h·
Discuss: r/golang
📜Proof Carrying Code
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·21h·
Discuss: Hacker News
🔍Type Inference
Working with Rust is super fun coming from C++
reddit.com·22h·
Discuss: r/rust
🦀Rust Macros
Coroutines in C
hackaday.com·1d
🔩Systems Programming
Cactus Language • Stylistics 4
inquiryintoinquiry.com·5h
🌳Context free grammars
Compiler Bootstrapping in Nixpkgs
blog.obsidian.systems·5h·
Discuss: Lobsters, Hacker News
❄️Nixpkgs