🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

A safer C++ pointer class
techblog.rosemanlabs.com·1d·
Discuss: Hacker News
🦀Rust Borrowing
40x Faster! We rewrote our project with Rust!
betterprogramming.pub·3d
🦀Rust Borrowing
Mojo Roadmap Document
docs.modular.com·4h·
Discuss: Hacker News
💻Programming languages
C++ or Rust: Differences Explained
harshal.is-cool.dev·2d·
Discuss: Hacker News
🔩Systems Programming
Why I Ditched Malloc for AI Inference
gilli.dev·18h·
Discuss: Hacker News
🧠Memory Allocators
A Review of Nim 2: The Good and Bad with Example Code
miguel-martin.com·15h·
Discuss: Hacker News
🦀Rust Macros
GHC 9.14.1-Alpha1
blog.haskell.org·41m·
Discuss: Hacker News
🔗Functional Compilers
Sets & Heaps in Haskell and Rust
mmhaskell.com·4d
👑Dependent Haskell
Trying to get error backtraces in rust libraries right
iroh.computer·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔒Linear Types
Stable, Mutable References for Ante
antelang.org·4d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Borrowing
Stop Guessing and Start GOing: Cleaner Golang Decompilation in IDA 9.2
hex-rays.com·21h
🔧Binary Parsers
Notes on Programming in C by Rob Pike
lysator.liu.se·12h·
Discuss: Hacker News
🦀Rust Macros
Using panic metadata to recover source code information from Rust binaries | cxiao.net
cxiao.net·2d
🦀Rust Macros
StrongBox: Simple, Safe Data Encryption for Rust
hezmatt.org·2d
🦀Embedded Rust
Go’s unsafe: Unlocking Performance Hacks with a Risk
dev.to·3d·
Discuss: DEV
🧪Binary Fuzzing
It's a Trap - Reliable Exploitation of CVE-2024-30084
scrapco.de·1d
🎯NTLM Attacks
Building a Plugin System for Rust: Native Libraries vs Scripting Language vs WASM vs Rules Engine
kerkour.com·2d·
Discuss: Hacker News
🦀Rust Macros
Elephants for breakfast
bitfieldconsulting.com·3h
🦀Rust Macros
Explaining the Need for Strongly Happens Before in C++
nekrozqliphort.github.io·1d·
Discuss: Hacker News, r/cpp
✨Effect Handlers
Thoughts on creating a tracking pointer class, part 15: A custom shared pointer
devblogs.microsoft.com·8m
🧠Separation Logic