corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a07df2-0ed6-70d4-8d73-854a56e8bb1e

Linearity and Control

Yoshua Wuyts · published 23 March 2023

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at blog.yoshuawuyts.com Wayback capture
2blogs citing
First cited
20 Jun 2023
Most recent
26 May 2026
Rank this month
not ranked
Links from this post
31
Words captured
9,014

Cited by

Blog
In the post
Date
ergeysay.me
Safe Made Easy Pt.1: Single Ownership is (Not) Optional Read at the source ↗
26 May 2026
verdagon.dev
Single Ownership and Memory Safety without Borrow Checking, Reference Counting, or Garbage Collection Read at the source ↗
20 Jun 2023

Links from this post

Link
Host
Linear Types One-Pager Read at the source ↗
blog.yoshuawuyts.com
Must move types Read at the source ↗
smallcultfollowing.com
https://faultlore.com/blah/linear-rust/
faultlore.com
https://learn.microsoft.com/en-us/cpp/sanitizers/error-double-free?view=msvc-170
learn.microsoft.com
https://doc.rust-lang.org/std/thread/fn.scope.html
doc.rust-lang.org
A formulation for scoped tasks in Rust Read at the source ↗
tmandry.gitlab.io
https://dl.acm.org/doi/abs/10.1145/2808098.2808100
dl.acm.org
https://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf
homepages.inf.ed.ac.uk
https://www.youtube.com/watch?v=IOiZatlZtGU
youtube.com
https://github.com/spacejam/rio
github.com
https://faultlore.com/blah/everyone-poops/
faultlore.com
https://doc.rust-lang.org/reference/patterns.html
doc.rust-lang.org
https://fy.blackhats.net.au/blog/html/2021/11/14/transactional_operations_in_rust.html
fy.blackhats.net.au
https://en.wikipedia.org/wiki/Resource_acquisition_is_initialization
en.wikipedia.org
https://doc.rust-lang.org/std/process/fn.exit.html
doc.rust-lang.org
https://doc.rust-lang.org/reference/expressions/await-expr.html
doc.rust-lang.org
https://blog.rust-lang.org/2023/03/09/Rust-1.68.0.html
blog.rust-lang.org
Async destructors, async genericity and completion futures Read at the source ↗
sabrinajewson.org
https://doc.rust-lang.org/std/cell/struct.UnsafeCell.html
doc.rust-lang.org
https://twitter.com/Gankra_/status/1636532417950253057
twitter.com
https://blog.rust-lang.org/inside-rust/2023/02/23/keyword-generics-progress-report-feb-2023.html
blog.rust-lang.org
https://docs.rs/async-std/latest/async_std/
docs.rs
https://doc.rust-lang.org/std/pin/struct.Pin.html
doc.rust-lang.org
https://doc.rust-lang.org/std/marker/trait.Unpin.html
doc.rust-lang.org
https://docs.rs/pin-project/latest/pin_project/
docs.rs
https://en.wikipedia.org/wiki/Substructural_type_system
en.wikipedia.org
https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=24c850390fba27fc6f3241cb34ce7bc6f3765627
citeseerx.ist.psu.edu
Must move types Read at the source ↗
smallcultfollowing.com
https://www.youtube.com/watch?v=UrDhMWISR3w
youtube.com
Safe Pin Projections Through View Types Read at the source ↗
blog.yoshuawuyts.com
Async Cancellation I Read at the source ↗
blog.yoshuawuyts.com