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

arxiv.org4d4 days ago

Verifying the Rust Standard Library (opens in new tab)

|

|

Feeds

cs.PL updates on arXiv.org rss.arxiv.org

A cubical formalisation of conditional independence, Bayesian conditioning, and Pearl's d-separation soundness2d2 days ago

Multi-LCB: Extending LiveCodeBench to Multiple Programming Languages2d2 days ago

Effect Systems as Abstract Interpretations2d2 days ago

+33 more in the past week

cs.SE updates on arXiv.org rss.arxiv.org

Qiskit Code Migration with LLMs2d2 days ago

Probe-and-Refine Tuning of Repository Guidance for Coding Agents2d2 days ago

Phoenix: Safe GitHub Issue Resolution via Multi-Agent LLMs2d2 days ago

+165 more in the past week

cs updates on arXiv.org rss.arxiv.org

Game Theoretic Liquidity Provisioning in Concentrated Liquidity Market Makers3d3 days ago

Aerial-ground LiDAR place recognition with patch-level self-supervised learning and expanded reciprocal re-ranking3d3 days ago

Bridging Creative Intent and Visual Quality: Creator-Driven Recurrent Video Generation with Agentic Feedback Loops3d3 days ago

+3372 more in the past week

cpt's Top Finds on Scour scour.ing

SOCKMAP - TCP splicing of the future9h9 hours ago

Epoll vs. Io_uring in Linux11h11 hours ago

Google display wrong flags for world cup 202615h15 hours ago

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