🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

Rust Isn't the Future of Systems Programming – It's Just the Hype Cycle
freedium-mirror.cfd·2h·
Discuss: Hacker News
🦀Rust Borrowing
Flag this post
How to Use Unsafe in Go Without Killing Your Service
dev.to·23h·
Discuss: DEV
🦀Rust Borrowing
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
On Cloudfare and Unwrap
reddit.com·1d·
Discuss: r/rust
🦀Rust Borrowing
Flag this post
The Rust Community Knew This Was Coming
lucisqr.substack.com·1d·
Discuss: Substack, r/cpp, r/programming
🦀Rust Borrowing
Flag this post
Humanity is stained by C and no LLM can rewrite it in Rust
kirancodes.me·4d·
Discuss: Hacker News, r/rust
🦀Rust Macros
Flag this post
Trying Out C++26 Executors
mropert.github.io·11h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
An overview of memory management in Go (2021)
medium.com·13h·
Discuss: Hacker News
🧠Memory Allocators
Flag this post
Zig in 30 Minutes
gist.github.com·12h·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Project goals update — October 2025
blog.rust-lang.org·4d
🦀Rust Borrowing
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·21h·
Discuss: Substack
🔩Systems Programming
Flag this post
Writing Type-Safe Generics in C
hackaday.com·5d
💧Liquid Types
Flag this post
Challenges compiling old C++ code on modern Linux
smalldatum.blogspot.com·14h·
Discuss: smalldatum.blogspot.com
🔗Static Linking
Flag this post
Dingo: A Meta-Language for Go
github.com·5h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
What Now? Handling Errors in Large Systems
brooker.co.za·3d·
Discuss: Hacker News
🛡️Error Boundaries
Flag this post
Process Archetypes: The Roles in the Gnome Village
happihacking.com·2d
🐚Bash Monads
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
On Thread Synchronization : Part 1 - A deep dive into mutexes
sayujya-apte.github.io·21h·
Discuss: r/programming
⚡Cache Coherence
Flag this post
Rethinking C++: Architecture, Concepts, and Responsibility
blogs.embarcadero.com·3d·
Discuss: Hacker News
🛠Language Design
Flag this post
Memchr: Optimized string search routines for Rust
github.com·3d·
Discuss: Hacker News
🦀Rust Verification
Flag this post