🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

A safer C++ pointer class
techblog.rosemanlabs.com·1d·
Discuss: Hacker News
🦀Rust Borrowing
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·4h
🎯Performance Proofs
dynify now has a macro for heapless async traits
reddit.com·6h·
Discuss: r/rust
🦀Rust Macros
Challenging LR Parsing (2020)
rust-analyzer.github.io·1h·
Discuss: Lobsters
🦀Rust Macros
Mojo Roadmap Document
docs.modular.com·9h·
Discuss: Hacker News
💻Programming languages
Chicken Scheme internals: the garbage collector
more-magic.net·4h·
Discuss: Hacker News
🧠Separation Logic
40x Faster! We rewrote our project with Rust!
betterprogramming.pub·4d
🦀Rust Borrowing
C++ or Rust: Differences Explained
harshal.is-cool.dev·2d·
Discuss: Hacker News
🔩Systems Programming
PgDog adds support for Rust plugins
pgdog.dev·3h·
Discuss: Hacker News, r/programming, r/rust
🦀Rust Borrowing
Why I Ditched Malloc for AI Inference
gilli.dev·23h·
Discuss: Hacker News
🧠Memory Allocators
GHC 9.14.1-Alpha1
blog.haskell.org·6h·
Discuss: Hacker News
🔗Functional Compilers
A Review of Nim 2: The Good and Bad with Example Code
miguel-martin.com·21h·
Discuss: Hacker News
🦀Rust Macros
Stable, Mutable References for Ante
antelang.org·4d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Borrowing
Sets & Heaps in Haskell and Rust
mmhaskell.com·4d
👑Dependent Haskell
Condor’s Cuzco RISC-V Core at Hot Chips 2025
chipsandcheese.com·1h
⚙️Modern Assembly
Stop Guessing and Start GOing: Cleaner Golang Decompilation in IDA 9.2
hex-rays.com·1d
🔧Binary Parsers
Using panic metadata to recover source code information from Rust binaries | cxiao.net
cxiao.net·3d
🦀Rust Macros
Trying to get error backtraces in rust libraries right
iroh.computer·3d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔒Linear Types
StrongBox: Simple, Safe Data Encryption for Rust
hezmatt.org·2d
🦀Embedded Rust
Writing a Hypervisor in 1,000 Lines
seiya.me·19h
🦀Embedded Rust