🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

The Sliding Window in Haskell & Rust
mmhaskell.com·2d
λLambda Encodings
If Your Kernel Development is a Little Rusty
hackaday.com·4d
🦀Embedded Rust
Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·12h·
Discuss: Hacker News, r/programming
🔗Lisp
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·16h
📋Protocol Buffers
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·14h·
Discuss: Hacker News
🌀Brotli Internals
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·22h·
Discuss: Hacker News
🦀Rust Macros
So you want to serialize some DER?
alexgaynor.net·5d·
Discuss: Lobsters, Hacker News
🦀Rust Verification
Why does the Rust compiler use TokenTree instead of flat token streams?
reddit.com·1d·
Discuss: r/rust
🔒Linear Types
Floating-Point Data Transformation for Lossless Compression
arxiv.org·1d
🌊Streaming Compression
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Schemars v1 is now released
reddit.com·5h·
Discuss: r/rust
🦀Rust Macros
Critical Security Importance Digital Age Web Techniques（1750818928214500）
dev.to·20h·
Discuss: DEV
🔒WASM Capabilities
`safe-math` is now on crates.io – Write regular math in Rust, with overflow checks and no panics
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros
Hong Mong 5 Development Treasure Case Sharing Cross-Thread Performance Optimization Guide
dev.to·1h·
Discuss: DEV
👁️System Observability
How to Structure a Rust Project Idiomatically
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Critical Security Importance Digital Age Web Techniques（1750777701670000）
dev.to·1d·
Discuss: DEV
🔒WASM Capabilities