Active
Recent
Comments
Search
Login
Login
verdagon.dev: 18 stories from 11 submitters
31
Vale's First Prototype for Immutable Region Borrowing
performance
plt
verdagon.dev
authored by
Verdagon
5 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
21 comments
21
13
Making C++ Memory-Safe Without Borrow Checking, Reference Counting, or Tracing Garbage Collection
c++
verdagon.dev
via
raymii
5 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
40
Single Ownership and Memory Safety without Borrow Checking, Reference Counting, or Garbage Collection
rust
verdagon.dev
via
mpweiher
5 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
17 comments
17
19
What Vale Taught Me About Linear Types, Borrowing, and Memory Safety
plt
verdagon.dev
authored by
Verdagon
6 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
6 comments
6
9
Implementing Vale's Region Borrowing, and its Unexpected Quest
plt
verdagon.dev
via
Miaourt
7 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
12
How To Survive Your Project's First 100,000 Lines
programming
verdagon.dev
via
stanbright
7 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
8 comments
8
20
How Memory Safety Approaches Speed Up and Slow Down Development Velocity
java
plt
rust
zig
verdagon.dev
authored by
Verdagon
10 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
14 comments
14
5
Implementing a New Memory Safety Approach, Part 1
plt
verdagon.dev
via
jmiven
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
4
Zero-Cost Memory Safety with Vale Regions (Preview)
plt
verdagon.dev
via
jado
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
11
Hash Codes, Non-Determinism, and Other Eldritch Horrors
plt
verdagon.dev
via
jado
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
4 comments
4
15
When to Use Memory Safe Languages
plt
verdagon.dev
via
sanxiyn
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
25 comments
25
3
Vale's Hybrid-Generational Memory
plt
verdagon.dev
via
lorddimwit
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
7
Vale's "Fearless FFI", for Memory Safety, Safer Dependencies, and Supply-Chain Attack Mitigation
plt
verdagon.dev
via
calvin
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
34
A Tale of Yak Shaving: Accidentally Making a Language, for an Engine, for a Game
compilers
games
plt
scala
verdagon.dev
authored by
Verdagon
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
9 comments
9
20
Surprising Weak-Ref Implementations: Swift, Obj-C, C++, Rust, and Vale
c++
objectivec
plt
rust
swift
verdagon.dev
authored by
Verdagon
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
7 comments
7
29
Vale's Higher RAII, the pattern that saved me a vital 5 hours in the 7DRL Challenge
c++
compsci
programming
verdagon.dev
via
technetium
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
8 comments
8
14
Data Races in Python, Despite the Global Interpreter Lock
performance
plt
python
verdagon.dev
authored by
Verdagon
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
6 comments
6
10
Seamless, Fearless, and Structured Concurrency
c
performance
plt
rust
verdagon.dev
authored by
Verdagon
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
24 comments
24