Record · corpus.blog/posts/01a07df5-04ea-73dc-9bbf-a1ff349f0af9

Borrow-checking without type-checking

Jamie Brandon · published 22 April 2026

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 scattered-thoughts.net Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 31
Words captured: 8,205

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://tooslowexception.com/managed-pointers-in-net/

tooslowexception.com

https://doc.rust-lang.org/book/ch04-01-what-is-ownership.html

doc.rust-lang.org

rust Read at the source ↗

rust-lang.org

https://borretti.me/article/second-class-references

borretti.me

https://langdev.stackexchange.com/questions/2670/what-are-interior-iteration-and-exterior-iteration

langdev.stackexchange.com

https://github.com/jamii/jams/blob/main/0007-borrowing-without-types/lib.zig

github.com

https://julialang.org/

julialang.org

https://ziglang.org/

ziglang.org

https://github.com/jamii/zest

github.com

https://malleable.systems/

malleable.systems

https://www.youtube.com/watch?v=QthAU-t3PQ4

youtube.com

https://www.infoq.com/presentations/Null-References-The-Billion-Dollar-Mistake-Tony-Hoare/

infoq.com

https://lobste.rs/c/wrnbih

lobste.rs

Notes on structured concurrency, or: Go statement considered harmful Read at the source ↗

vorpus.org

https://fil-c.org/invisicaps

fil-c.org

https://doc.rust-lang.org/std/ops/trait.Deref.html

doc.rust-lang.org

Borrow-checking surprises Read at the source ↗

scattered-thoughts.net

https://hylo-lang.org/

hylo-lang.org

https://docs.modular.com/mojo/manual/values/ownership/

docs.modular.com

https://github.com/swiftlang/swift/blob/main/docs/OwnershipManifesto.md

github.com

https://forums.swift.org/t/efficient-yielding-accessor-abi/82891/5

forums.swift.org

https://dl.acm.org/doi/pdf/10.1145/3735592

dl.acm.org

https://github.com/rust-lang/miri

github.com

A comparison of Rust's borrow checker to the one in C# Read at the source ↗

em-tg.github.io

https://oxcaml.org/

oxcaml.org

https://cheriot.org/

cheriot.org

http://adv-r.had.co.nz/memory.html

adv-r.had.co.nz

https://docs.swift.org/swift-book/documentation/the-swift-programming-language/automaticreferencecounting/

docs.swift.org

https://iacoma.cs.uiuc.edu/iacoma-papers/pact18.pdf

iacoma.cs.uiuc.edu

https://inko-lang.org/papers/ownership.pdf

inko-lang.org

https://github.com/sponsors/jamii/

github.com