corpus.blog
41,554 blogs · 5,225,211 posts Claim your blog
Record · corpus.blog/posts/01a08c5c-4a7b-703e-b1e4-0b7a66712996

Chasing the Myth of Zero-Overhead Memory Safety (plus pictures of mythical birds!)

verdagon.dev · published 20 June 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
External links
21
Words captured
2,912

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://verdagon.itch.io/shattered-forest
verdagon.itch.io
https://shnatsel.medium.com/how-to-avoid-bounds-checks-in-rust-without-unsafe-f65e618b4c1e
shnatsel.medium.com
https://en.wiktionary.org/wiki/steelman
en.wiktionary.org
https://users.rust-lang.org/t/how-to-avoid-bounds-checking/4433/3
users.rust-lang.org
https://en.wikipedia.org/wiki/Loop_unrolling
en.wikipedia.org
https://lwn.net/Articles/907876/
lwn.net
https://news.ycombinator.com/item?id=33821755
news.ycombinator.com
https://en.wikipedia.org/wiki/Substructural_type_system
en.wikipedia.org
https://ceronman.com/2021/07/22/my-experience-crafting-an-interpreter-with-rust/
ceronman.com
https://www.ponylang.io/index.html
ponylang.io
https://tutorial.ponylang.io/appendices/garbage-collection.html
tutorial.ponylang.io
https://github.com/microsoft/verona
github.com
https://github.com/microsoft/verona/blob/master/docs/explore.md
github.com
https://cone.jondgoodwin.com/
cone.jondgoodwin.com
https://vale.dev/linear-aliasing-model
vale.dev
https://austral-lang.org/
austral-lang.org
https://val-lang.dev/
val-lang.dev
https://handmade.network/podcast/ep/afc72ed0-f05f-4bee-a658-9ad02c0453da
handmade.network
https://twitter.com/vale_pl
twitter.com
https://patreon.com/verdagon
patreon.com
https://github.com/sponsors/ValeLang
github.com
Elsewhere on verdagon.dev (4)