Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
Ralf's Ramblings
ralfj.de
A
paper
about
Miri
, and other
Miri
news
ralfj.de
·
7w
·
Discuss:
Lobsters
,
Hacker News
,
r/rust
There is no memory safety without
thread
safety
ralfj.de
·
29w
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
,
r/programming
The Tree
Borrows
paper is finally
published
ralfj.de
·
31w
·
Discuss:
Lobsters
,
Hacker News
MiniRust
: A core language for
specifying
Rust
ralfj.de
·
32w
Program
Logics
à
la Carte
ralfj.de
·
56w
Rustlantis
:
Randomized
Differential Testing of the Rust Compiler
ralfj.de
·
63w
·
Discuss:
Lobsters
,
Hacker News
What is a place
expression
?
ralfj.de
·
78w
Sandboxing
All The Things with Flatpak and
BubbleBox
ralfj.de
·
96w
Google Open Source
Peer
Bonus
ralfj.de
·
111w
Talk about
Undefined
Behavior, unsafe Rust, and
Miri
ralfj.de
·
139w
From
Stacks
to Trees: A new
aliasing
model for Rust
ralfj.de
·
141w
cargo
careful
: run your Rust code with extra
careful
debug
checking
ralfj.de
·
176w
A New
Beginning
ralfj.de
·
182w
Announcing
:
MiniRust
ralfj.de
·
183w
The last two years in
Miri
ralfj.de
·
189w
Pointers
Are Complicated III, or:
Pointer-integer
casts exposed
ralfj.de
·
200w
Do we really need
Undefined
Behavior
?
ralfj.de
·
220w
Undefined
Behavior deserves a better
reputation
ralfj.de
·
221w
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help