at://
/
app.bsky.feed.post
/
3mnjmgbnh7s2b
sign in
All
4
Record
2
Post
1
PostEmbed
1
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
Thanks to the GhostCell paper for teaching me branded types in Rust via invariant lifetimes. This has been *awesome* for eliminating pretty much all bounds and length checks in my indexing-heavy code (and enforcing more subtle invariants).
9d
plv.mpi-sws.org
GhostCell: Separating Permissions from Data in Rust
Nurzhan Saken