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
🧪 Test DSLs
Scenario Testing, BDD, Domain-Specific Testing, Test Automation
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
124080
posts in
2.58
s
Testing a Component System Like Infrastructure: Contract Tests, Visual
Regression
, and
Accessibility
Gates
hackernoon.com
·
15h
🧪
Testing Compilers
Structure Beats
Prose
:
Specs
for Coding Agents That Actually Work
dev.to
·
2h
·
Discuss:
DEV
🎮
Language Ergonomics
Testing software in the era of coding agents
garymm.org
·
2d
·
Discuss:
Hacker News
🧪
Compiler Testing
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
·
1d
·
Discuss:
Hacker News
🎯
Symbolic Execution
Show HN: Cyber+ – A
DSL
for scripting cybersecurity
workflows
news.ycombinator.com
·
8h
·
Discuss:
Hacker News
🎨
DSL Design
TamperBench
:
Systematically
Stress-Testing LLM Safety Under Fine-Tuning and Tampering
arxiv.org
·
2d
🧪
Testing Compilers
TODOseq
0.10.0 - User
requested
features and quality of life improvements
lemmy.world
·
21h
⚡
Incremental Parsing
GitHub
Copilot
Testing for .NET Brings AI-powered
Unit
Tests to Visual Studio 2026
devblogs.microsoft.com
·
3h
🎮
Language Ergonomics
MDST
Engine: run
GGUF
models in the browser with WebGPU/WASM
mdst.app
·
7h
·
Discuss:
Hacker News
🌐
WASM Runtimes
Formal
Methods
Practice and Theory
adacore.com
·
1d
·
Discuss:
Hacker News
🎯
Symbolic Execution
Versioning
and Testing Data Solutions:
Applying
CI and Unit Tests on Interview-style Queries
kdnuggets.com
·
8h
🌳
Tree Shaking
Quantitative
assessment of language and cultural diversity as human reliability
factors
in maritime safety
sciencedirect.com
·
5h
🎮
Language Ergonomics
Custom
RSpec
Matchers
Give Tests Superpowers
blog.ty-porter.dev
·
2h
🎲
Test Generators
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
1d
🧮
Theorem Provers
LLM Performance in
Astro
, React,
Tailwind
and Cloudflare
10xbench.ai
·
23h
·
Discuss:
Hacker News
⚡
Performance
How2Everything
: Mining the web to evaluate and improve LLMs on real-world
procedures
allenai.org
·
1d
·
Discuss:
Hacker News
🪜
Recursive Descent
AGI
v1.0 Will Be
Harness
and Skills
languageops.com
·
9h
·
Discuss:
Hacker News
🎮
Language Ergonomics
Making a 4
port
automated
PCB
test and programming tool
blog.adafruit.com
·
6h
🌐
Portable Assembly
xoxruns/deadend-cli
: Agentic pentest tooling. Currently achieving around 78% on XBOW's benchmark in full black-box. Completely Self-hosted. Every model available on LiteLLM (Ollama, anthropic, openai...)
github.com
·
4h
·
Discuss:
Hacker News
🌳
Tree Shaking
How
StrongDM
’s AI team build
serious
software without even looking at the code
jmason.ie
·
2d
🌳
Tree Shaking
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