41554 blogs · 4,756,248 posts Claim your blog

Record · corpus.blog/posts/01a08c5c-4a7b-703e-b1e4-0b7a64f5633a

Vale's First Prototype for Immutable Region Borrowing

verdagon.dev · published 16 July 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 verdagon.dev Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 15
Words captured: 1,675

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://github.com/sponsors/ValeLang

github.com

https://www.patreon.com/user/about?u=5018675

patreon.com

Zero-Cost Memory Safety with Vale Regions (Preview) Read at the source ↗

https://verdagon.dev/blog/zero-cost-borrowing-regions-part-1-immutable-borrowing

verdagon.dev

What Vale Taught Me About Linear Types, Borrowing, and Memory Safety Read at the source ↗

Zero-Cost References with Regions in Vale Read at the source ↗

https://github.com/Verdagon/RegionsBenchmarks/blob/main/cellular-automata/CellularAutomata.vale

github.com

https://gamedevelopment.tutsplus.com/tutorials/generate-random-cave-levels-using-cellular-automata--gamedev-9664

gamedevelopment.tutsplus.com

https://verdagon.dev/blog/zero-cost-borrowing-regions-part-2-isolates

verdagon.dev

https://github.com/Verdagon/Vale/tree/regions

github.com

https://github.com/Verdagon/RegionsBenchmarks

github.com

Linklog | sharkdp/hyperfine

github.com

https://manpages.ubuntu.com/manpages/trusty/man1/cset-shield.1.html

manpages.ubuntu.com

https://blog.rust-lang.org/2016/04/19/MIR.html

blog.rust-lang.org

https://news.ycombinator.com/item?id=36690907

news.ycombinator.com