corpus.blog
41,554 blogs · 4,830,141 posts Claim your blog
Record · corpus.blog/posts/01a08c5c-4a7b-703e-b1e4-0b7a64096ac0

Borrow checking, RC, GC, and the Eleven (!) Other Memory Safety Approaches

verdagon.dev · published 24 April 2024

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
3blogs citing
First cited
8 May 2024
Most recent
17 Feb 2026
Rank this month
not ranked
External links
103
Words captured
5,873

Cited by

Blog
In the post
Date
marcelgarus.dev
Stacky Heap Read at the source ↗
17 Feb 2026
carloscarrasco.com
NIMBY Rails devblog 2025-05 Read at the source ↗
1 Jun 2025
sophiajt.com
The search for easier safe systems programming Read at the source ↗
8 May 2024

Links from this post

Link
Host
https://www.youtube.com/watch?v=UavYVf0UEoc
youtube.com
https://hpmor.com/chapter/35
hpmor.com
https://www.reuters.com/world/americas/ancient-maya-city-discovered-mexican-jungle-2023-06-21/
reuters.com
https://www.fodors.com/world/mexico-and-central-america/mexico/yucatan-and-campeche-states/experiences/news/photos/10-fantastic-beasts-of-the-yucatan-and-where-to-find-them
fodors.com
https://www.theguardian.com/world/2016/nov/17/mexican-pyramid-has-two-more-inside-scientists-discover
theguardian.com
https://zeenews.india.com/india/bizzare-monkey-steals-bag-with-rs-4-lakh-throws-currency-notes-outside-registry-office-in-up-2332462.html
zeenews.india.com
https://globalnews.ca/news/9560059/calgary-poisonous-snake-bank-robbery-re-arrest/
globalnews.ca
https://github.com/docker/cli/issues/267
github.com
https://inah.gob.mx/boletines/descubren-antigua-ciudad-maya-campeche-la-nombran-ocomtun-columna-de-piedra
inah.gob.mx
https://en.wikipedia.org/wiki/Amate
en.wikipedia.org
https://thenewstack.io/which-programming-languages-use-the-least-electricity/
thenewstack.io
https://stackoverflow.com/a/764706/1424454
stackoverflow.com
https://en.wikipedia.org/wiki/Observer_pattern
en.wikipedia.org
https://lwn.net/Articles/907876/
lwn.net
https://www.livescience.com/maya-kingdom-discovered-in-mexico.html
livescience.com
https://borretti.me/article/introducing-austral
borretti.me
https://github.com/HigherOrderCO/HVM
github.com
https://degaz.io/blog/632020/post.html
degaz.io
http://forty2.is/
forty2.is
https://en.wikipedia.org/wiki/Substructural_type_system
en.wikipedia.org
https://doc.rust-lang.org/rust-by-example/scope/borrow.html
doc.rust-lang.org
https://austral-lang.org/linear-types
austral-lang.org
https://vale.dev/linear-aliasing-model
vale.dev
https://devguide.python.org/internals/garbage-collector/index.html
devguide.python.org
https://nim-lang.org/blog/2020/10/15/introduction-to-arc-orc-in-nim.html
nim-lang.org
https://courses.cs.washington.edu/courses/cse590p/05au/p50-bacon.pdf
courses.cs.washington.edu
https://github.com/Verdagon/RegionsRCCellularAutomataBenchmark/blob/main/README.md
github.com
https://nim-lang.org/
nim-lang.org
https://en.wikipedia.org/wiki/Safety_and_liveness_properties
en.wikipedia.org
https://www.rfleury.com/p/untangling-lifetimes-the-arena-allocator
rfleury.com
https://odin-lang.org/docs/overview/
odin-lang.org
https://en.wikipedia.org/wiki/Cyclone_(programming_language
en.wikipedia.org
https://en.wikipedia.org/wiki/SPARK_(programming_language
en.wikipedia.org
https://github.com/microsoft/verona
github.com
https://memedrop.io/meme/ZRy5yVV68X7m
memedrop.io
https://www.ponylang.io/
ponylang.io
https://tutorial.ponylang.io/reference-capabilities/guarantees.html
tutorial.ponylang.io
https://www.cs.drexel.edu/~csg63/papers/oopsla12.pdf
cs.drexel.edu
https://github.com/Verdagon/RegionsRCCellularAutomataBenchmark/tree/main
github.com
https://forty2.is/
forty2.is
https://github.com/Kile-Asmussen/genref
github.com
https://docs.rs/generational-box/latest/generational_box/
docs.rs
https://source.android.com/docs/security/test/memory-safety/arm-mte
source.android.com
https://github.com/tigerbeetledb/tigerbeetle/blob/main/docs/TIGER_STYLE.md
github.com
https://tutorial.ponylang.io/appendices/garbage-collection.html
tutorial.ponylang.io
https://github.com/HigherOrderCO/HVM/blob/master/guide/HOW.md
github.com
https://discord.com/channels/402956206529970177/402956206529970180/451828861861101569
discord.com
https://web.archive.org/web/20220111001720/https://researcher.watson.ibm.com/researcher/files/us-bacon/Dingle07Ownership.pdf
web.archive.org
https://github.com/matthieu-m/static-rc
github.com
https://www.reddit.com/r/rust/comments/1d06gjo/comment/l5x11po/
reddit.com
https://discord.com/channels/398263331808346123/734119020613075052/1135196844360736798
discord.com
https://discord.com/channels/398263331808346123/734119020613075052/1137411293310099546
discord.com
https://discord.com/channels/398263331808346123/734819934760075264/1141854334171222098
discord.com
https://lobste.rs/s/mutdyp/borrow_checking_rc_gc_eleven_other_memory
lobste.rs
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/
cl.cam.ac.uk
https://ieeexplore.ieee.org/document/9152640
ieeexplore.ieee.org
https://www.ietfng.org/nwf/publications-and-talks/2024-cornucopia-reloaded.html
ietfng.org
https://cheriot.org/papers/2023-micro-cheriot-uarch.pdf
cheriot.org
https://devblogs.microsoft.com/oldnewthing/20180228-00/?p=98125
devblogs.microsoft.com
https://engineering.backtrace.io/2021-08-04-slitter-a-slab-allocator-that-trusts-but-verifies/
engineering.backtrace.io
https://news.ycombinator.com/item?id=15294334
news.ycombinator.com
https://stackoverflow.com/a/34629665/1424454
stackoverflow.com
https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Object/freeze
developer.mozilla.org
https://stackoverflow.com/questions/57754901/what-is-a-fat-pointer
stackoverflow.com
https://www.linaro.org/blog/top-byte-ignore-for-fun-and-memory-savings/
linaro.org
https://discord.com/invite/SNB8yGH
discord.com
https://en.wikipedia.org/wiki/William_Windsor_%28goat%29
en.wikipedia.org
https://en.wikipedia.org/wiki/Cashmere_goat
en.wikipedia.org
https://en.wikipedia.org/wiki/Royal_Welsh
en.wikipedia.org
https://en.wikipedia.org/wiki/Fusilier
en.wikipedia.org
https://en.wikipedia.org/wiki/Queen%27s_Official_Birthday
en.wikipedia.org
https://youtu.be/-UBgNREvlIo
youtu.be
https://news.ycombinator.com/item?id=36691658
news.ycombinator.com
https://news.ycombinator.com/item?id=36692089
news.ycombinator.com
https://www.reddit.com/r/programming/comments/14wu830/comment/jrklcry/?utm_source=reddit&utm_medium=web2x&context=3
reddit.com
https://news.ycombinator.com/item?id=36691564
news.ycombinator.com
https://www.reddit.com/r/programming/comments/14wu830/comment/jrkmjiw/?utm_source=reddit&utm_medium=web2x&context=3
reddit.com
https://news.ycombinator.com/item?id=36691737
news.ycombinator.com
https://twitter.com/vale_pl
twitter.com
https://www.doc.govt.nz/kakapo-donate
doc.govt.nz
https://github.com/aweagel
github.com
https://github.com/KirilMihaylov
github.com
https://github.com/radekm
github.com
https://github.com/Geomitron
github.com
https://github.com/chiuzon
github.com
https://github.com/soupertonic
github.com
https://github.com/linkmonitor
github.com
https://github.com/lupuchard
github.com
https://github.com/tootoobeepbeep
github.com
https://github.com/albinkc
github.com
https://github.com/ezschemi
github.com
https://github.com/Svintooo
github.com
https://github.com/tstack
github.com
https://github.com/kripken
github.com
https://github.com/rovaughn
github.com
https://github.com/Shnatsel
github.com
https://github.com/linuxy
github.com
https://github.com/Ivo-Balbaert/
github.com
https://github.com/pierrec
github.com
https://github.com/loveJesus
github.com
https://github.com/jryans
github.com
https://github.com/cdinu
github.com
https://github.com/lasernoises
github.com
Elsewhere on verdagon.dev (12)
What Vale Taught Me About Linear Types, Borrowing, and Memory Safety Read at the source ↗
verdagon.dev
Vale's Higher RAII, the pattern that saved me a vital 5 hours in the 7DRL Challenge Read at the source ↗
verdagon.dev
Zero-Cost References with Regions in Vale Read at the source ↗
verdagon.dev
Vale's First Prototype for Immutable Region Borrowing Read at the source ↗
verdagon.dev
https://verdagon.dev/grimoire/verdagon_epsa@verdagon.dev
verdagon.dev
Zero-Cost Memory Safety with Vale Regions (Preview) Read at the source ↗
verdagon.dev
Perfect Replayability Read at the source ↗
verdagon.dev
Chasing the Myth of Zero-Overhead Memory Safety (plus pictures of mythical birds!) Read at the source ↗
verdagon.dev
When to Use Memory Safe Languages, Part 1: Safety in Non-Memory-Safe Languages Read at the source ↗
verdagon.dev
Making C++ Memory-Safe Without Borrow Checking, Reference Counting, or Tracing Garbage Collection Read at the source ↗
verdagon.dev
Seamless, Fearless, and Structured Concurrency Read at the source ↗
verdagon.dev
https://verdagon.dev/blog/easter-egg-notes
verdagon.dev