🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

Rust Concurrency for Go Developers: Achieving Full Compile-Time Safety
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
Flag this post
Typechecking is undecideable when 'type' is a type
dspace.mit.edu·31m·
Discuss: Lobsters
🔗Dependently Typed
Flag this post
Teaching Rust the SQL Language
news.ycombinator.com·12h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
WebAssembly Limitations
qouteall.fun·1h·
Discuss: Hacker News
⚙️WASM Runtime
Flag this post
Rust in Android: More Memory Safety, Fewer Revisions, Fewer Rollbacks, Shorter Reviews
developers.slashdot.org·14h
🦀Embedded Rust
Flag this post
A Practical Guide to Transitioning to Memory-Safe Languages
queue.acm.org·4d·
Discuss: Lobsters, Hacker News
🦀Rust Borrowing
Flag this post
First-class custom smart pointers
nadrieril.github.io·4d·
Discuss: Lobsters, Hacker News
🦀Rust Borrowing
Flag this post
Building a robust permissions system in TypeScript
xetera.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🎯Gradual Typing
Flag this post
Accelerating Controllable Generation via Hybrid-grained Cache
arxiv.org·10h
💨Cache Optimization
Flag this post
Show HN: KFR 7 – major update for C++ DSP library
github.com·12m·
Discuss: Hacker News
💿FLAC Archaeology
Flag this post
Should I program using more structs with methods or loose functions? When using more structs with methods, I notice that I need to deal less and less with lifet...
reddit.com·22h·
Discuss: r/rust
🗂Data structures
Flag this post
AWS Lambda adds support for Rust
aws.amazon.com·16h·
Discuss: Hacker News, r/programming
🔒Linear Types
Flag this post
Rust in Android: move fast and fix things
security.googleblog.com·3d·
Discuss: www.blogger.com
🦀Rust Borrowing
Flag this post
Monday Morning Haskell: Serializing an HTTP Response & Running the Server
mmhaskell.com·5h
🌐Network Protocols
Flag this post
Goto Considered Harmless
bramadityaw.github.io·3h·
Discuss: Hacker News
⚖️Hoare Logic
Flag this post
Balancer Exploit - Small Rounding Errors Lead to Big Losses
blog.verichains.io·6h
🎫Kerberos Attacks
Flag this post
Parsl
danmackinlay.name·13h
⚙️PL Implementation
Flag this post
GCC Patch Enables Support For The Rust-Based Wild Linker
phoronix.com·4h
🔗Static Linking
Flag this post
Driving Compilers - the core concepts associated with the creation of an executable
fabiensanglard.net·2d
🔩Systems Programming
Flag this post
The poisoned NUL byte, 2014 edition (2014)
googleprojectzero.blogspot.com·22h·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post