Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔍 Concolic Testing
Symbolic Execution, SAGE, Path Exploration, Dynamic Analysis
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
19477
posts in
543.2
ms
Synthesizing
File-Level Data for Unit Test Generation with Chain-of-Thoughts via
Self-Debugging
arxiv.org
·
20h
🧪
Property-Based Testing
Everybody
Tests
focused.io
·
1d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Logic
for
Programmers
New Release and Next Steps
buttondown.com
·
11h
⚙️
Proof Engineering
TruConfirm
: Ending Vulnerability Guesswork with Proof inside
ETM
blog.qualys.com
·
8h
✅
Archive Fixity
Streamlining
Test Account Management in Legacy Go
Codebases
dev.to
·
1d
·
Discuss:
DEV
🧪
Property-Based Testing
I Am Not a
Functional
Programmer
blog.daniel-beskin.com
·
12h
·
Discuss:
Hacker News
,
r/programming
⚔️
Lean Tactics
Stop
Torturing
Your Data: How to Automate
Rigor
With AI
hackernoon.com
·
1d
⚡
Proof Automation
Engineering
Ethereum
's Speed: How we made
Ethrex
20x faster
blog.lambdaclass.com
·
10h
🎯
Emulation Accuracy
Symbolic Model Checking using
Intervals
of
Vectors
arxiv.org
·
20h
📐
Interval Arithmetic
Verifying
coding
AIs
for LLM powered software
aunhumano.com
·
1d
·
Discuss:
Hacker News
⚡
Proof Automation
Active
Directory
Penetration
Testing
infosecwriteups.com
·
10h
🔒
LDAP Security
Detecting
backdoored
language models at scale
microsoft.com
·
8h
🧪
Protocol Fuzzing
Everybody
Tests
dev.to
·
1d
·
Discuss:
DEV
🧪
Property-Based Testing
Using
Nsight
Compute with large
codebases
- Part 2 : Profiling large code bases
blog.ncompass.tech
·
1d
·
Discuss:
Hacker News
📊
Performance Profiling
From Automation to Infection (Part II): Reverse Shells, Semantic Worms, and Cognitive
Rootkits
in
OpenClaw
Skills
blog.virustotal.com
·
2h
·
Discuss:
blog.virustotal.com
🔓
Hacking
The Engineer's Guide to
Elastic
Detections
as Code
elastic.co
·
1d
✅
Archive Validation
Show HN: 32KB
deductive
engine that catches LLM
hallucinations
news.ycombinator.com
·
16h
·
Discuss:
Hacker News
👑
Isabelle
nouveau: a
tale
of two
bugs
airlied.blogspot.com
·
4h
·
Discuss:
airlied.blogspot.com
🎯
Emulator Accuracy
A New AI Math Startup Just
Cracked
4 Previously
Unsolved
Problems
wired.com
·
6h
📐
Mathematical Art
Show HN: C discrete event SIM w
stackful
coroutines runs 45x faster than
SimPy
github.com
·
1d
·
Discuss:
Hacker News
🖥️
Game Emulation
Loading...
Loading more...
Page 2 »
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
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