🦀 Rust Borrowing

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

Announcing Rust 1.90.0
blog.rust-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🦀Rust Macros
The pirate-based logic of Rust shared references
ais523.me.uk·4d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·3d·
Discuss: DEV
🦀Rust Macros
[$] Comparing Rust to Carbon
lwn.net·2d
🦀Rust Verification
Issue 490
haskellweekly.news·13h
🔗Functional Compilers
Revisiting "Rust is a hard way to make a web API"
macwright.com·1d
🔒Linear Types
Advent of Code: Libraries
elly.town·2d
🔒Type Safety
C++ Committee Prefers Bjarne's Profiles to Baxter's Rustification
news.ycombinator.com·17h·
Discuss: Hacker News
🔒Type Safety
Carbon Copy No.8: Classes Part II
github.com·17h·
Discuss: Hacker News
🎯Gradual Typing
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
⚔️Lean Tactics
Use mutation testing to find the bugs your tests don't catch
blog.trailofbits.com·14h
🧪Property-Based Testing
How we built a flywheel to steadily improve security for Amazon RDS
aws.amazon.com·1d
👁️Observatory Systems
Cross-platform applications with Rust 1: Durable and flexible
heise.de·2d
🔩Systems Programming
Postgres 18 OAuth2 Authentication – Building a Custom OAuth2 Validator in Rust
enterprisedb.com·5h·
Discuss: Hacker News
🦀Rust Verification
Yesterday’s talk video posted: Reflection — C++’s decade-defining rocket engine
herbsutter.com·6h·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🔩Systems Programming
Managing dependency graph in a large codebase
tweag.io·1d
📊Dependency Graphs
Compiling with Continuations
swatson555.github.io·1d·
Discuss: Hacker News
💻Programming languages
I wrote a guide on Go slices (len/cap, append growth, slicing pitfalls, and copy for leak-free code)
reddit.com·9h·
Discuss: r/golang
🦀Rust Macros
What I learned building a programming language with LLM agents
eddmann.com·8h·
Discuss: Hacker News
🗣️Domain-Specific Languages
Unusual Memory Bit Patterns | Software Verify
softwareverify.com·18h
🧠Separation Logic