🦀 Rust Borrowing

Memory Safety, Ownership Models, Systems Programming, Compile-time Verification

A safer C++ pointer class
techblog.rosemanlabs.com·1d·
Discuss: Hacker News
🔒Type Safety
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1h
🎯Performance Proofs
40x Faster! We rewrote our project with Rust!
betterprogramming.pub·4d
🦀Rust Macros
PgDog adds support for Rust plugins
pgdog.dev·30m·
Discuss: Hacker News
🦀Rust Macros
C++ or Rust: Differences Explained
harshal.is-cool.dev·2d·
Discuss: Hacker News
🔩Systems Programming
Mojo Roadmap Document
docs.modular.com·6h·
Discuss: Hacker News
💻Programming languages
Why I Ditched Malloc for AI Inference
gilli.dev·20h·
Discuss: Hacker News
🧠Memory Allocators
Chicken Scheme internals: the garbage collector
more-magic.net·1h·
Discuss: Hacker News
🧠Separation Logic
Using panic metadata to recover source code information from Rust binaries | cxiao.net
cxiao.net·3d
🦀Rust Macros
Zig, Rust, Go?! I tried 3 low-level languages and here’s what I’m sticking with
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Building a Plugin System for Rust: Native Libraries vs Scripting Language vs WASM vs Rules Engine
kerkour.com·2d·
Discuss: Hacker News
🦀Rust Macros
Writing a Hypervisor in 1,000 Lines
seiya.me·16h
🦀Embedded Rust
Elephants for breakfast
bitfieldconsulting.com·5h
🦀Rust Macros
Thoughts on creating a tracking pointer class, part 15: A custom shared pointer
devblogs.microsoft.com·2h
🧠Separation Logic
Well-Typed.Com: Welcoming a new Haskell Ecosystem Supporter: Standard Chartered
well-typed.com·16h
🧠Lisp Dialects
GHC 9.14.1-Alpha1
blog.haskell.org·2h·
Discuss: Hacker News
🔗Functional Compilers
It’s a Cold Day in Developer Hell, So I Must Roll My Own Crypto
soatok.blog·2d
🌳Archive Merkle Trees
GUARD: Guideline Upholding Test through Adaptive Role-play and Jailbreak Diagnostics for LLMs
arxiv.org·12h
🧪CBOR Fuzzing
Adventures of a YAML engineer
blog.legoktm.com·13h
🤖Network Automation
Explaining the Need for Strongly Happens Before in C++
nekrozqliphort.github.io·1d·
Discuss: Hacker News, r/cpp
✨Effect Handlers