Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
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
28239
posts in
15.6
ms
Software Testing With Test Case Design
Techniques
qable.io
·
1d
🧪
Property-Based Testing
Verified
Spec-Driven
Development (
VSDD
)
gist.github.com
·
6h
·
Discuss:
Lobsters
,
Hacker News
🔄
Reproducible Builds
Enhancing LLM-Based Test Generation by
Eliminating
Covered
Code
arxiv.org
·
2d
🧪
Property-Based Testing
Simulation
for Agentic
Evaluation
yortuc.com
·
21h
·
Discuss:
Hacker News
⚡
Proof Automation
Three Alternatives to
Measure
the
Elapsed
Time of Code Execution
hackernoon.com
·
1d
📏
Code Metrics
An
Introduction
to
Lean
4
uv.es
·
12h
⚔️
Lean Tactics
Theos
Dual-Engine
Dialectical
Reasoning Framework (open source, patent pending)
github.com
·
1d
·
Discuss:
Hacker News
🧮
Theorem Proving
SPARTA
: Scalable and
Principled
Benchmark of Tree-Structured Multi-hop QA over Text and Tables
arxiv.org
·
1d
⚡
Performance Mythology
Differential
Logic
• 13
inquiryintoinquiry.com
·
1d
⚔️
Lean Theorem
Inside AWS Security Agent: A multi-agent architecture for
automated
penetration
testing
aws.amazon.com
·
2d
🕵️
Penetration Testing
Show HN: Testing
SQL
logic
without a real database
news.ycombinator.com
·
20h
·
Discuss:
Hacker News
🧪
Binary Fuzzing
oxidecomputer/hubris
: A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
github.com
·
4h
·
Discuss:
r/homelab
🦀
Embedded Rust
Perplexity Computer
wows
,
Karpathy
kills vibe coding, and OpenAI replaces Anthropic at the Pentagon
thenewstack.io
·
8h
🖥️
Modern Terminals
Accuracy
vs. Speed in Local LLMs: Finding Your
Sweet
Spot
grigio.org
·
13h
·
Discuss:
Hacker News
💻
Local LLMs
The 'Million AI
Monkeys
'
Hypothesis
& Real-World Projects
ayende.com
·
1d
📏
Code Metrics
Go 1.22: A Change in
Loop
Scoping
hackernoon.com
·
7h
📜
Proof Carrying Code
Computer
Forensic
Tools
Comparison
2026
cybertriage.com
·
19h
🚨
Incident Response
Code Review
Bench
:
Towards
Billion Dollar Benchmarks
withmartian.com
·
1d
·
Discuss:
Hacker News
📏
Code Metrics
How Claude Code
Automates
Software Development: A Deep-Dive Into AI-Powered Engineering
Workflows
buymeacoffee.com
·
13h
·
Discuss:
DEV
⚡
Proof Automation
Aikido
Infinite: Continuous AI
Pentesting
for Every Release
aikido.dev
·
2d
·
Discuss:
Hacker News
,
r/programming
🧪
Protocol Fuzzing
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