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
123566
posts in
1.12
s
Craig
Interpolation
in Program Verification
arxiv.org
·
1d
🔍
Refinement Types
maja0027/xi-lang
: A binary graph-based programming language designed for AI authorship, machine execution, and mathematical
completeness
.
github.com
·
23h
·
Discuss:
Hacker News
🔧
PLT
Versioning
and Testing Data Solutions:
Applying
CI and Unit Tests on Interview-style Queries
kdnuggets.com
·
2h
🔍
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
A Coding Implementation to Establish Rigorous Prompt
Versioning
and Regression Testing Workflows for Large Language Models using
MLflow
marktechpost.com
·
2d
🔍
Symbolic Execution
Fully Countering
Trusting
Trust through Diverse Double-Compiling (
DDC
) - Countering Trojan Horse attacks on Compilers
dwheeler.com
·
2h
🔍
Refinement Types
Vulnerabilities in 45 Open Source Projects (vLLM,
Langfuse
, Phase,
NocoDB
)
kolega.dev
·
1h
·
Discuss:
Hacker News
🔍
Static Analysis
Stryker
Mutator
: Test your tests with mutation testing
stryker-mutator.io
·
2h
·
Discuss:
Hacker News
🔧
PLT
eVer: Universal and Automated Verification of Side-Channel Security for
Additive
, Inner Product, Polynomial and General Code-Based
Masking
eprint.iacr.org
·
1d
🔍
Static Analysis
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
🧠 Programming
Idioms
— Common Code Patterns Across
Languages
programming-idioms.org
·
2h
·
Discuss:
DEV
🔧
PLT
Context-Driven
Development Meets Team Agents: What
Changed
and What Didn't
themobileagent.substack.com
·
1d
·
Discuss:
Substack
🔍
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
·
15h
🔍
Symbolic Execution
Domain
Knowledge Is the New
Syntax
blog.melashri.net
·
2d
·
Discuss:
Hacker News
🔎
Semantic Analysis
AlgoVeri
: An
Aligned
Benchmark for Verified Code Generation on Classical Algorithms
arxiv.org
·
10h
🔍
Symbolic Execution
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
·
1d
·
Discuss:
Hacker News
🔧
PLT
Chimera-Protocol/csl-core
: Solidity for AI Policies. The Neuro-Symbolic safety layer for autonomous agents. Currently features formal verification via
Z3
, with a roadmap towards a Dual-Engine (
Z3
+ TLA+) runtime & Causal Inference audits.
github.com
·
22h
·
Discuss:
Hacker News
🔍
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