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, Concrete Execution, Path Exploration, Fuzzing
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8068
posts in
90.8
ms
rut
: A Python Test Runner That Skips
Unaffected
Tests
dev.to
·
5d
·
Discuss:
DEV
👁️
System Observability
New Algorithms and Hardness Results for Robust
Satisfiability
of (Promise)
CSPs
arxiv.org
·
1d
🧩
SAT Solvers
Common
Manual
Testing
Techniques
and The Future Of
Manual
Testing in the age of AI
dev.to
·
6d
·
Discuss:
DEV
🧪
Property-Based Testing
Rust
Standard
Library Challenges
rustfinity.com
·
2d
·
Discuss:
r/rust
🏗️
Dune
Following
Dragons
: Code Review-Guided
Fuzzing
arxiv.org
·
1d
🧪
Property-Based Testing
Deferred
member
initialization
in C++
sandordargo.com
·
2d
·
Discuss:
Lobsters
📝
Nix Language
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
·
2d
🧩
Parser Combinators
Notes on using AI tools for debugging, learning, and shipping software (as a
cautious
adopter
)
linkedin.com
·
3d
·
Discuss:
r/programming
👁️
System Observability
Monitor
Jailbreaking
:
Evading
Chain-of-Thought Monitoring Without
lesswrong.com
·
2d
🛡️
macOS Security
an early-stage
experimental
programming
language
solnix-lang.org
·
5d
·
Discuss:
DEV
,
Hacker News
📝
Nix Language
Garnix
Blog:
Forwardly-evaluated
build systems
garnix.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
💾
Cachix
Obey
the Testing
Goat
!
obeythetestinggoat.com
·
6d
·
Discuss:
Hacker News
📝
Nix Language
Full-circle Test-driven
Firmware
Development with
OpenClaw
blog.adafruit.com
·
6d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Regime-Declared
Mathematics
as Survivor Sets
zboralski.github.io
·
3d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Recursive
self-improvement
from AI models
marginalrevolution.com
·
2d
·
Discuss:
Hacker News
🩹
Self-Healing Systems
LLMs
Refuse
High-Cost Attacks but Stay
Vulnerable
to Cheap, Real-World Harm
expectedharm.github.io
·
3d
·
Discuss:
Hacker News
🔍
Formal Verification
The Problem With LLMs
deobald.ca
·
2d
·
Discuss:
Lobsters
,
Hacker News
📦
Module Systems
Your AI has no memory. Your
Rails
codebase
does.
rubyonai.com
·
2d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Challenging
Assumptions
in Technology: From Being Right to Getting It Right
platformtoolsmith.com
·
2d
·
Discuss:
Hacker News
🧠
Automated Reasoning
What
Functional
Programmers
Get Wrong About Systems
iankduncan.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
💎
Refinement Types
Sign up or log in to see more results
Sign Up
Login
« 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