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
9019
posts in
122.0
ms
A
Weakest
Precondition
Calculus for Programs and Linear Temporal Specifications
arxiv.org
·
22h
✅
Model Checking
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
3d
🌐
Network Protocols
Following
Dragons
: Code Review-Guided
Fuzzing
arxiv.org
·
22h
🧪
Property-Based Testing
Building
Reliable
AI Applications: A
Validation
Strategy
dev.to
·
4d
·
Discuss:
DEV
🔀
Brzozowski Derivatives
Stress-Testing Alignment
Audits
With Prompt-Level Strategic
Deception
lesswrong.com
·
2d
🎮
Verification Games
Monitor
Jailbreaking
:
Evading
Chain-of-Thought Monitoring Without
lesswrong.com
·
1d
🛡️
macOS Security
Your LLM-as-a-Judge is
Asking
the Wrong Question
veris.ai
·
2d
·
Discuss:
Hacker News
🧪
Property-Based Testing
The
Autonomous
Experimentation
Engine
remoroo.com
·
4d
·
Discuss:
Hacker News
👁️
System Observability
Benchmarking
Claude C
Compiler
dineshgdk.substack.com
·
2d
·
Discuss:
Substack
,
r/programming
🏃
Escape Analysis
Show HN: Local and Cloud LLM
Comparison
Using Nvidia
DGX
Spark
devashish.me
·
3d
·
Discuss:
Hacker News
👁️
System Observability
an early-stage
experimental
programming
language
solnix-lang.org
·
4d
·
Discuss:
DEV
,
Hacker News
📝
Nix Language
Full-circle Test-driven
Firmware
Development with
OpenClaw
blog.adafruit.com
·
5d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Obey
the Testing
Goat
!
obeythetestinggoat.com
·
5d
·
Discuss:
Hacker News
📝
Nix Language
DFlash
: Block Diffusion for Flash
Speculative
Decoding
z-lab.ai
·
3d
·
Discuss:
Hacker News
🔀
OCaml Multicore
six
thoughts
on
generating
c
wingolog.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
Embedded OCaml
Recursive
Deductive
Verification: A framework for reducing AI
hallucinations
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
📐
Hoare Logic
My setup for integration tests in Go with
embedded-Postgres
atlas9.dev
·
3d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Testing can be
fun
, actually
giacomocavalieri.me
·
6d
·
Discuss:
Lobsters
,
Hacker News
🧪
Property-Based Testing
Regime-Declared
Mathematics
as Survivor Sets
zboralski.github.io
·
3d
·
Discuss:
Hacker News
🧠
Automated Reasoning
AI Agents are shipping code
faster
than we can test
christopherhwood.com
·
4d
·
Discuss:
Hacker News
📊
Runtime Verification
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