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

Colin Breck's Blog78w78 weeks ago

Making Unsafe Rust a Little Safer: Tools for Verifying Unsafe Code, Including Libraries in C and C++ (opens in new tab)

Discussed on Hacker News and Lobsters

|

|

Feeds

Colin Breck's Blog blog.colinbreck.com

Essays on software, engineering, people, and teams.

Adapting to AI: Adapting Organizations1w1 week ago

Adapting to AI: Write Things Down2w2 weeks ago

Adapting to AI: What Is Software Engineering?7w7 weeks ago

Lobsters: rust - Rust programming lobste.rs

Safe SIMD in Rust, even on the inside1d1 day ago

Shutting Down Fornjot2d2 days ago

offset_of! slices3d3 days ago

+13 more in the past week

Hacker News - Newest: "rust" hnrss.org

A tiny (18KB for rpi zero)easy to read file listing tool. rust no_std and Libc4h4 hours ago

The unreasonable effectiveness of LLMs for auditing Rust code4h4 hours ago

Rust Prevents Data Races, Not Race Conditions11h11 hours ago

+2 more in the past day

Lobsters lobste.rs

Robust Jobserver26m26 minutes ago

Is AI ruining our skills? Early results are in — and they’re not good4h4 hours ago

Apple Internals: Swift in the Kernel6h6 hours ago

+14 more in the past day

Lobsters: Newest Stories lobste.rs

Is AI ruining our skills? Early results are in — and they’re not good4h4 hours ago

Forward to Hell? On Misusing Transparent DNS Forwarders For Amplification Attacks6h6 hours ago

CL-BBS: the schemeBBS-like textboard rewritten in Common Lisp7h7 hours ago

+12 more in the past day

Hacker News: Front Page hnrss.org

Who Actually Owns Your ATProto Identity? Hint: It's Probably Not You47m47 minutes ago

David Ahl's Basic Computer Games Ported to C2h2 hours ago

The 100 Greatest Bird Names of All Time3h3 hours ago

+34 more in the past day

Hacker News: Newest hnrss.org

Show HN: Remote Exec Server using only Python stdlib12m12 minutes ago

Show HN: Remote Exec Server using only Python stdlib12m12 minutes ago

Former Olympian denies vandalising Washington Reflecting Pool after arrest13m13 minutes ago

+367 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)