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, Constraint Solving, Path Exploration, Bug Finding
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
21
posts in
6.7
ms
A Paul
Klee
Angel
Finally Lands in New York
🔢
vector embedding
Content type:
Blog
3quarksdaily.com
·
6d
6 days ago
Actions for A Paul Klee Angel Finally Lands in New York
Less-relevant results
Introducing Soteria: A New Generation of Static Analysis for Rust
🦀
Rust Compilers
Content type:
Blog
soteria-tools.com
·
2d
2 days ago
·
Hacker News
Actions for Introducing Soteria: A New Generation of Static Analysis for Rust
Release 0.725 · luau-lang/luau
🦀
Rust Compilers
Content type:
Code
Content type:
Release
github.com
·
15h
15 hours ago
Actions for Release 0.725 · luau-lang/luau
RECON: An LLM-Enhanced Backward
Constraint
Analysis Framework
🦀
Rust Compilers
Content type:
Academic
arxiv.org
·
3d
3 days ago
Actions for RECON: An LLM-Enhanced Backward Constraint Analysis Framework
Ex-NHL
player Pascal Rheaume named coach of PWHL's Sceptres
🔓
binary exploitation
Content type:
News
espn.com
·
2d
2 days ago
Actions for Ex-NHL player Pascal Rheaume named coach of PWHL's Sceptres
World Cup camera coverage poses a moving math puzzle
🕸️
eBPF
Content type:
News
scientificamerican.com
·
2h
2 hours ago
Actions for World Cup camera coverage poses a moving math puzzle
Toronto Sceptres hire Pascal Rhéaume as head coach to replace Troy Ryan
🔓
binary exploitation
Content type:
News
theglobeandmail.com
·
2d
2 days ago
Actions for Toronto Sceptres hire Pascal Rhéaume as head coach to replace Troy Ryan
Property-based
testing
| Liam DeVoe
🐛
Fuzzing
tybug.dev
·
4d
4 days ago
·
Hacker News
Actions for Property-based testing | Liam DeVoe
Independent 20th Century Announces Details of 2026 Fair at the Breuer Building
🕸️
eBPF
Content type:
News
artforum.com
·
1d
1 day ago
Actions for Independent 20th Century Announces Details of 2026 Fair at the Breuer Building
Proof System Timelines
⚙
operating systems
Content type:
Blog
klatz.co
·
4d
4 days ago
Actions for Proof System Timelines
Writing static checks to an unsuspecting library with Liquid Haskell
🦀
Rust Compilers
Content type:
Blog
tweag.io
·
2d
2 days ago
Actions for Writing static checks to an unsuspecting library with Liquid Haskell
Parallel
SMT
Solving
via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection
⚡
JIT Compilation
Content type:
Academic
arxiv.org
·
4d
4 days ago
Actions for Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection
Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation
🦀
Rust Compilers
Content type:
Blog
blog.quarkslab.com
·
4d
4 days ago
Actions for Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation
The Not-So-Secret Impulse Behind Trump’s Vulgar, Garish Birthday Party
🤖
Transformers
newrepublic.com
·
1d
1 day ago
Actions for The Not-So-Secret Impulse Behind Trump’s Vulgar, Garish Birthday Party
How to Build Reliable AI Agents: 5 Engineering
Patterns
from a Production System
🌍
Distributed Systems
engineering.salesforce.com
·
3d
3 days ago
Actions for How to Build Reliable AI Agents: 5 Engineering Patterns from a Production System
Human Judgment as a Specification
🐛
Fuzzing
Content type:
Blog
blog.brownplt.org
·
4d
4 days ago
Actions for Human Judgment as a Specification
(Re)Building my Homelab - Reloaded
🖥️
Hypervisors
Content type:
Blog
blog.zsec.uk
·
6d
6 days ago
Actions for (Re)Building my Homelab - Reloaded
No Ego: an Interview with Artist and Educator Sara Magenheimer
🤖
Transformers
Are.na Editorial via are.na
·
4d
4 days ago
Actions for No Ego: an Interview with Artist and Educator Sara Magenheimer
Doodles, boredom, and an intervention on Palestine: Nehru’s notes from the 1955 Bandung Conference
🕸️
eBPF
Content type:
News
scroll.in
·
3d
3 days ago
Actions for Doodles, boredom, and an intervention on Palestine: Nehru’s notes from the 1955 Bandung Conference
The Windows IOCTL Census: A Corpus-Scale, Multi-Architecture Database of the Driver Control-Code Surface
⚙
operating systems
Content type:
Academic
arxiv.org
·
4d
4 days ago
Actions for The Windows IOCTL Census: A Corpus-Scale, Multi-Architecture Database of the Driver Control-Code Surface
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