corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a08c5c-4a7c-722a-8bc5-806cfd50ead2

Implementing a New Memory Safety Approach, Part 1

verdagon.dev · published 23 November 2022

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
22
Words captured
1,788

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
Harry Potter and the Methods of Rationality Read at the source ↗
hpmor.com
Zero-Cost Memory Safety with Vale Regions (Preview) Read at the source ↗
verdagon.dev
https://verdagon.itch.io/incendian-falls
verdagon.itch.io
https://7drl.com/
7drl.com
https://github.com/Verdagon/IncendianFalls/tree/master/Atharia/Atharia/Core
github.com
https://en.wikipedia.org/wiki/Stored_procedure
en.wikipedia.org
https://en.wikipedia.org/wiki/Domain-specific_language
en.wikipedia.org
https://github.com/Verdagon/IncendianFalls/tree/master/ChronobaseCS/resources
github.com
https://github.com/Verdagon/IncendianFalls/tree/master/ChronobaseCS
github.com
https://en.wikipedia.org/wiki/Journaling_file_system
en.wikipedia.org
https://en.wikipedia.org/wiki/Persistent_data_structure
en.wikipedia.org
Perfect Replayability Read at the source ↗
verdagon.dev
https://verdagon.dev/blog/zero-cost-borrowing-regions-part-1-immutable-borrowing
verdagon.dev
The Next Steps for Single Ownership and RAII Read at the source ↗
verdagon.dev
Zero-Cost References with Regions in Vale Read at the source ↗
verdagon.dev
http://forty2.is/
forty2.is
https://www.cs.cornell.edu/andru/papers/gallifrey-types/gallifrey-types.pdf
cs.cornell.edu
https://tutorial.ponylang.io/reference-capabilities/reference-capabilities.html
tutorial.ponylang.io
https://verdagon.dev/blog/zero-cost-borrowing-regions-part-3-one-way-isolation
verdagon.dev
A Tale of Yak Shaving: Accidentally Making a Language, for an Engine, for a Game Read at the source ↗
verdagon.dev
Vale's Fearless FFI, for Safer Dependencies and Supply-Chain Attack Mitigation Read at the source ↗
verdagon.dev
https://twitter.com/vale_pl
twitter.com