Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Symbolic Execution
🔍 Symbolic Execution
Specific
KLEE, Path Exploration, Constraint Solving, Bug Finding
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
26
posts in
6.4
ms
Introducing Soteria: A New
Generation
of
Static
Analysis
for Rust
🔍
Static Analysis
Content type:
Blog
soteria-tools.com
·
4h
4 hours ago
·
Hacker News
Actions for Introducing Soteria: A New Generation of Static Analysis for Rust
Parallel
SMT
Solving
via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection
🔍
Refinement Types
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection
A Paul
Klee
Angel Finally Lands in New York
🤖
AI
Content type:
Blog
3quarksdaily.com
·
3d
3 days ago
Actions for A Paul Klee Angel Finally Lands in New York
Bumper crop / Table stakes
🦀
Rust
flaminghydra.com
·
5d
5 days ago
Actions for Bumper crop / Table stakes
Less-relevant results
Property-based
testing
| Liam DeVoe
🔄
Concurrency Models
tybug.dev
·
2d
2 days ago
·
Hacker News
Actions for Property-based testing | Liam DeVoe
Klee
Benally - No Spiritual Surrender
🔧
PLT
Content type:
Reference
theanarchistlibrary.org
·
5d
5 days ago
Actions for Klee Benally - No Spiritual Surrender
(PR) Rosewill Launches the FBM-Z Series Micro-ATX Cases
🔍
Refinement Types
techpowerup.com
·
10h
10 hours ago
Actions for (PR) Rosewill Launches the FBM-Z Series Micro-ATX Cases
Proof System Timelines
🔧
PLT
Content type:
Blog
klatz.co
·
1d
1 day ago
Actions for Proof System Timelines
Ex-NHL
player Pascal Rheaume named coach of PWHL's Sceptres
🔧
PLT
Content type:
News
espn.com
·
4h
4 hours ago
Actions for Ex-NHL player Pascal Rheaume named coach of PWHL's Sceptres
Extending LLVM's BOLT-based Binary
Analyser
to Validate Stack Variable Initialisation
🔍
Static Analysis
Content type:
Blog
blog.quarkslab.com
·
1d
1 day ago
Actions for Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation
Toronto Sceptres hire Pascal Rhéaume as head coach to replace Troy Ryan
🤖
AI
Content type:
News
theglobeandmail.com
·
4h
4 hours ago
Actions for Toronto Sceptres hire Pascal Rhéaume as head coach to replace Troy Ryan
RECON: An LLM-Enhanced Backward
Constraint
Analysis
Framework
🔍
Static Analysis
Content type:
Academic
arxiv.org
·
15h
15 hours ago
Actions for RECON: An LLM-Enhanced Backward Constraint Analysis Framework
book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets
🔍
Refinement Types
Content type:
Code
github.com
·
5d
5 days ago
Actions for book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets
Build Your Own Bond Car: Aston Martin DB5 Replica
🤖
AI
barnfinds.com
·
1d
1 day ago
Actions for Build Your Own Bond Car: Aston Martin DB5 Replica
Rare JMW Turner watercolour of Swiss landscape heads to auction
💰
Fidelity
Content type:
News
the-independent.com
·
5d
5 days ago
Actions for Rare JMW Turner watercolour of Swiss landscape heads to auction
Why The New York Times Is Wholly Responsible for Bari Weiss’s Rise
🔍
Static Analysis
newrepublic.com
·
5d
5 days ago
Actions for Why The New York Times Is Wholly Responsible for Bari Weiss’s Rise
BMW Has A Secret American Car Collection You Cannot Visit
🤖
AI
Content type:
Blog
autoblog.com
·
3d
3 days ago
Actions for BMW Has A Secret American Car Collection You Cannot Visit
No Ego: an Interview with Artist and Educator Sara Magenheimer
🔄
Concurrency Models
Are.na Editorial via are.na
·
2d
2 days ago
Actions for No Ego: an Interview with Artist and Educator Sara Magenheimer
‘It’s Not a Joke’: A ‘Simpsons’ Writer Holds His First Presidential Campaign Rally
🦀
Rust
Content type:
News
wired.com
·
4d
4 days ago
·
Hacker News
Actions for ‘It’s Not a Joke’: A ‘Simpsons’ Writer Holds His First Presidential Campaign Rally
Doodles, boredom, and an intervention on Palestine: Nehru’s notes from the 1955 Bandung Conference
🤖
AI
Content type:
News
scroll.in
·
1d
1 day ago
Actions for Doodles, boredom, and an intervention on Palestine: Nehru’s notes from the 1955 Bandung Conference
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help