Skip to main content

ScourDiscover Docs

You are offline. Trying to reconnect...

Copied to clipboard

Unable to share or copy to clipboard

Back to article

galois.com4w4 weeks ago

Announcing Isabelle support for SAW (opens in new tab)

Discussed on Lobsters

|

|

Feeds

Lobsters lobste.rs

Legibility of Effort3h3 hours ago

How we found a bug in the hyper HTTP library5h5 hours ago

Lightweight Linux-compatible kernel written in Rust6h6 hours ago

+12 more in the past day

Lobsters: Newest Stories lobste.rs

Swift Package Index Joins Apple2h2 hours ago

RRB-Trees: Efficient Immutable Vectors3h3 hours ago

Legibility of Effort3h3 hours ago

+24 more in the past day

cpt's Top Finds on Scour scour.ing

Lifting E-Graphs: A Function Isn't a Constant6h6 hours ago

Yet another unsurprising article about how bigger SUVs...10h10 hours ago

Fighting AI with AI: Detecting Policy Vulnerabilities Using Attack Simulations12h12 hours ago

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

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