🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

**Rust FFI: Integrating C Libraries with Memory Safety and Performance**
dev.to·13h·
Discuss: DEV
🦀Rust Borrowing
Rust Eats Python’s, Java’s Lunch in Data Engineering
thenewstack.io·11h
🔩Systems Programming
Linters, Formatters, and Type-Checkers
playfulprogramming.com·1d
🎯Gradual Typing
deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses
arxiv.org·1d
🦀Rust Verification
Dissecting Rust's Trait Objects: Beyond the Box
dev.to·8h·
Discuss: DEV
🦀Rust Borrowing
Type Inference for Decompiled Code: From Hidden Semantics to Structured Insights
binarly.io·2d
🔓Decompilation
Revisiting Knuth’s “Premature Optimization” Paper
probablydance.com·7h·
Discuss: Lobsters, Hacker News
🚀Compiler Optimizations
Advanced Rust Programming Techniques • Florian Gilcher • GOTO 2024
youtube.com·1d
🦀Rust Borrowing
Swift Sendable: Mastering Thread Safety in iOS Development
dev.to·7h·
Discuss: DEV
🔬Refinement Types
C++ in Jupyter — Interpreting C++ in the Web
blog.jupyter.org·15h·
Discuss: Hacker News
🔩Systems Programming
graven-image: Portability library for CL image in REPL
github.com·12h·
Discuss: Lobsters
🦀Rust Macros
Struggling with Rust's module system - is it just me?
reddit.com·11h·
Discuss: r/rust
🦀Rust Macros
The Power of Slice Patterns in Rust
dev.to·8h·
Discuss: DEV
🦀Rust Macros
A Simple Small-size Optimized Box
kmdreko.github.io·5d
🦀Rust Verification
GCC, glibc, stack unwinding and relocations – A war story
blog.sergiodj.net·2d·
Discuss: Lobsters
🦀Rust Macros
In-Memory C++ Leap in Blockchain Analysis
caudena.com·1d·
Discuss: Hacker News
🌊Stream Processing
The Unreasonable Effectiveness of Fuzzing for Porting Programs
rjp.io·2d·
Discuss: Lobsters, Hacker News, Hacker News
🦀Rust Borrowing
Rust SIMD Programming: Accelerate Performance with Vectorized Instructions and Parallel Processing
dev.to·14h·
Discuss: DEV
🚀SIMD Parsing
Show HN: Turbine – 16-bit CPU Architecture and Emulator built in C
errorcodezero.dev·3h·
Discuss: Hacker News
🔩Systems Programming
A Duet of Performance and Safety（1750212241117700）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing