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
Concolic Testing
🧪 Concolic Testing
Specific
Symbolic Execution, Concrete Execution, Path Exploration, Fuzzing
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23
posts in
14.7
ms
Parallel
SMT
Solving via
Dynamic
Partitioning, Core-Guided Pruning, and Online Backbone Detection
🧮
Z3
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection
Bumper crop / Table stakes
≤
Order Theory
flaminghydra.com
·
5d
5 days ago
Actions for Bumper crop / Table stakes
Less-relevant results
Introducing Soteria: A New Generation of Static Analysis for Rust
🔬
Static Analysis
Content type:
Blog
soteria-tools.com
·
8h
8 hours ago
·
Hacker News
Actions for Introducing Soteria: A New Generation of Static Analysis for Rust
Property-based
testing
| Liam DeVoe
🧪
Property-Based Testing
tybug.dev
·
2d
2 days ago
·
Hacker News
Actions for Property-based testing | Liam DeVoe
A Paul
Klee
Angel
Finally Lands in New York
📄
ICFP
Content type:
Blog
3quarksdaily.com
·
3d
3 days ago
Actions for A Paul Klee Angel Finally Lands in New York
Klee
Benally - No Spiritual Surrender
⬜
Minimalism
Content type:
Reference
theanarchistlibrary.org
·
5d
5 days ago
Actions for Klee Benally - No Spiritual Surrender
Proof System Timelines
🔗
Curry-Howard
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
Ex-NHL
player Pascal Rheaume named coach of PWHL's Sceptres
🔤
Kleene Algebra
Content type:
News
espn.com
·
9h
9 hours ago
Actions for Ex-NHL player Pascal Rheaume named coach of PWHL's Sceptres
Toronto Sceptres hire Pascal Rhéaume as head coach to replace Troy Ryan
📐
Linear Algebra
Content type:
News
theglobeandmail.com
·
8h
8 hours ago
Actions for Toronto Sceptres hire Pascal Rhéaume as head coach to replace Troy Ryan
book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets
🧠
Automated Reasoning
Content type:
Code
github.com
·
5d
5 days ago
Actions for book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets
RECON: An LLM-Enhanced Backward Constraint Analysis Framework
🔬
Static Analysis
Content type:
Academic
arxiv.org
·
19h
19 hours ago
Actions for RECON: An LLM-Enhanced Backward Constraint Analysis Framework
Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation
⚙️
Compiler Design
Content type:
Blog
blog.quarkslab.com
·
2d
2 days ago
Actions for Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation
Rare JMW Turner watercolour of Swiss landscape heads to auction
🔀
OCaml Multicore
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
🧠
Automated Reasoning
newrepublic.com
·
5d
5 days ago
Actions for Why The New York Times Is Wholly Responsible for Bari Weiss’s Rise
No Ego: an Interview with Artist and Educator Sara Magenheimer
📵
Digital Minimalism
Are.na Editorial via are.na
·
2d
2 days ago
Actions for No Ego: an Interview with Artist and Educator Sara Magenheimer
Claude Mythos Glasswing: Why AI Vuln Discovery Terrifies Me
🔐
Cybersecurity
Content type:
Blog
Content type:
Discussion
tildalice.io
·
6d
6 days ago
Actions for Claude Mythos Glasswing: Why AI Vuln Discovery Terrifies Me
Oracle WebLogic Exploited 💥, HTTP/2 Bomb Discovered 💣, CoreUtils in MS Windows 🐧
🔐
Cybersecurity
tldr.tech
·
6d
6 days ago
Actions for Oracle WebLogic Exploited 💥, HTTP/2 Bomb Discovered 💣, CoreUtils in MS Windows 🐧
Doodles, boredom, and an intervention on Palestine: Nehru’s notes from the 1955 Bandung Conference
📄
ICFP
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
‘It’s Not a Joke’: A ‘Simpsons’ Writer Holds His First Presidential Campaign Rally
🔤
Kleene Algebra
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
(Re)Building my Homelab - Reloaded
🏠
HomeLab
Content type:
Blog
blog.zsec.uk
·
3d
3 days ago
Actions for (Re)Building my Homelab - Reloaded
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