Skip to main content

ScourDiscover Docs

Discover About Docs Changelog

You are offline. Trying to reconnect...

Copied to clipboard

Unable to share or copy to clipboard

Back to article

Nadri’s musings4d4 days ago

A Vision for a Rust Formal Specification (opens in new tab)

Discussed on Hacker News

|

|

Feeds

Nadri’s musings nadrieril.github.io

A Vision for a Rust Formal Specification4d4 days ago

Capabilities using Plain Traits1w1 week ago

When can Traits Depend on Themselves?5w5 weeks ago

Hacker News - Newest: "rust" hnrss.org

Rust Prevents Data Races, Not Race Conditions3h3 hours ago

HSIP - Multi-tenant cryptographic consent API in Rust11h11 hours ago

Letheo – a Cognitive Runtime for agent memory in Rust (forgetting by physics)14h14 hours ago

+6 more in the past day

Keyboard Shortcuts

Navigation

Next / previous post: 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
Discover: gb
Search: /

Pagination

Next page: n
Previous page: p

General

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

Press ? anytime to show this help

Docs Blog (opens in new tab)Changelog Roadmap (opens in new tab)