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
📐 formal specification
tla+, p-lang, property-based testing, simulations
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
123657
posts in
594.2
ms
Prototyping
for Agent-First Apps
dev.to
·
4h
·
Discuss:
DEV
🔍
Symbolic Execution
Human Review Is the
Bottleneck
satyaborg.com
·
1h
·
Discuss:
Hacker News
🔍
Static Analysis
Structure Beats
Prose
:
Specs
for Coding Agents That Actually Work
medium.com
·
1d
·
Discuss:
Hacker News
🔍
Static Analysis
Craig
Interpolation
in Program Verification
arxiv.org
·
1d
🔍
Refinement Types
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
1d
🔍
Symbolic Execution
maja0027/xi-lang
: A binary graph-based programming language designed for AI authorship, machine execution, and mathematical
completeness
.
github.com
·
1d
·
Discuss:
Hacker News
🔧
PLT
Versioning
and Testing Data Solutions:
Applying
CI and Unit Tests on Interview-style Queries
kdnuggets.com
·
5h
🔍
Static Analysis
Large Language Models for
Mortals
book released
crimede-coder.com
·
1d
·
Discuss:
Hacker News
🔧
PLT
Testing software in the era of coding agents
garymm.org
·
2d
·
Discuss:
Hacker News
🔍
Static Analysis
Vulnerabilities in 45 Open Source Projects (vLLM,
Langfuse
, Phase,
NocoDB
)
kolega.dev
·
3h
·
Discuss:
Hacker News
🔍
Static Analysis
A Coding Implementation to Establish Rigorous Prompt
Versioning
and Regression Testing Workflows for Large Language Models using
MLflow
marktechpost.com
·
2d
🔍
Symbolic Execution
Stryker
Mutator
: Test your tests with mutation testing
stryker-mutator.io
·
5h
·
Discuss:
Hacker News
🔧
PLT
Fully Countering
Trusting
Trust through Diverse Double-Compiling (
DDC
) - Countering Trojan Horse attacks on Compilers
dwheeler.com
·
5h
🔍
Refinement Types
eVer: Universal and Automated Verification of Side-Channel Security for
Additive
, Inner Product, Polynomial and General Code-Based
Masking
eprint.iacr.org
·
2d
🔍
Static Analysis
How I Used Claude Code to
Teach
Myself
Rust
mlolson.github.io
·
1h
·
Discuss:
Hacker News
,
r/programming
💻
Claude
Context-Driven
Development Meets Team Agents: What
Changed
and What Didn't
themobileagent.substack.com
·
1d
·
Discuss:
Substack
🔍
Symbolic Execution
How
StrongDM
’s AI team build
serious
software without even looking at the code
jmason.ie
·
2d
🔍
Symbolic Execution
TDD
Is Backwards: Why
Assertions
Should Come First in Disruptive Development
hackernoon.com
·
2d
🔍
Symbolic Execution
Automated Reasoning checks
rewriting
chatbot
reference
implementation
aws.amazon.com
·
1d
🔍
Symbolic Execution
Your
schema
already has the logic. Your inference provider just
ignores
it.
blog.dottxt.ai
·
18h
🔍
Symbolic Execution
Loading...
Loading more...
« Page 1
•
Page 3 »
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