An adventure with optimization, Rust and Z3
ochagavia.nl·362w
Rocket - A Rust game running on WASM
ochagavia.nl·441w
RFC 1857 stabilizing Rust's drop order has been accepted!
ochagavia.nl·462w
Thoughts on changing Rust's drop order
ochagavia.nl·492w
Exploring Rust's unspecified drop order
ochagavia.nl·492w
Enforcing drop order in Rust
ochagavia.nl·492w
Subscribe
ochagavia.nl·105679w

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help