🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.com·55m
🛡️eBPF Security
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·2d·
Discuss: Hacker News
🧠Separation Logic
Flag this post
Nim 2.2.6
nim-lang.org·1h·
Discuss: Hacker News
🌳Incremental Parsing
Flag this post
Vectorizing for Fun and Performance
ibm.com·1d·
Discuss: Hacker News
⚡SIMD Vectorization
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·2d·
Discuss: Substack
💻Programming languages
Flag this post
GSoC '25: Parallel Macro Expansion
lorrens.me·5d·
Discuss: r/rust
🦀Rust Macros
Flag this post
Rust 1.91.0 released
lwn.net·18h
🦀Embedded Rust
Flag this post
Olsrt – OverLab Streams Runtime
news.ycombinator.com·1h·
Discuss: Hacker News
🔒Linear Types
Flag this post
Technology Short Take 189
blog.scottlowe.org·2h
🏠Homelab Archaeology
Flag this post
GHC: From Bug to Merge
neilmitchell.blogspot.com·1d·
Discuss: Hacker News
🔤Type Theory
Flag this post
Rdza – Rust Programming, in Polish
github.com·5h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
A Vision for Future Low-Level Languages
antelang.org·6d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Borrowing
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·2d·
Discuss: Lobsters, Hacker News, r/programming
🧠Separation Logic
Flag this post
Supercharge Your APIs: Building Blazing-Fast Backends with Rust
dev.to·1d·
Discuss: DEV
🦀Embedded Rust
Flag this post
Ghosts in the Compilation
predr.ag·15h·
Discuss: Lobsters, Hacker News, r/rust
⚙️Build Archaeology
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·2d·
Discuss: Hacker News
🧠Separation Logic
Flag this post
Esp-hal 1.0.0 release announcement
developer.espressif.com·1d·
Discuss: Hacker News, Hacker News, r/embedded, r/rust
🦀Embedded Rust
Flag this post
Dependency Management in Database Design
dolthub.com·2d
🔗Topological Sorting
Flag this post
Show HN: sjl – Simple JSON Logger for Rust
github.com·13h·
Discuss: Hacker News
🔐CBOR
Flag this post
🚀 Go Faster: Cutting the Slack in GC with Smart Memory Allocation
dev.to·2d·
Discuss: DEV
🧠Memory Allocators
Flag this post