Active
Recent
Comments
Search
Login
Login
ralfj.de: 15 stories from 12 submitters
13
The last two years in Miri
rust
ralfj.de
via
sanxiyn
3 days ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
16
Pointers Are Complicated III, or: Pointer-integer casts exposed
c
compsci
rust
ralfj.de
via
algesten
2 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
33
Do we really need Undefined Behavior?
c
plt
ralfj.de
via
raymii
7 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
10 comments
10
25
Pointers Are Complicated II, or: We need better language specs
compsci
ralfj.de
via
inactive-user
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
3 comments
3
16
Why even unused data needs to be valid
plt
rust
ralfj.de
via
skade
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
19
Stacked Borrows: An Aliasing Model for Rust (the paper)
pdf
formalmethods
rust
ralfj.de
via
inactive-user
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
20
"What The Hardware Does" is not What Your Program Does: Uninitialized Memory
c
plt
rust
ralfj.de
via
kornel
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
22 comments
22
15
Stacked Borrows Implemented
formalmethods
rust
ralfj.de
via
skade
3 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
7 comments
7
7
The Tale of a Bug in Arc: Synchronization and Data Races
rust
ralfj.de
via
nickpsecurity
3 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
3
Stacked Borrows: An Aliasing Model For Rust
rust
ralfj.de
via
sanxiyn
3 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
16
Pointers Are Complicated, or: What's in a Byte?
compilers
ralfj.de
via
GeoffWozniak
3 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
9 comments
9
12
How MutexGuard was Sync When It Should Not Have Been
rust
ralfj.de
via
klingtnet
5 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
4
Exploring MIR Semantics through miri
compilers
rust
ralfj.de
via
fitzgen
5 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
12
The Scope of Unsafe
rust
ralfj.de
via
antifuchs
6 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
18
Formalizing Rust
release
rust
ralfj.de
via
steveklabnik
6 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0