PBT

🧪 PBTSpecific

property-based testing, QuickCheck, hypothesis, generative testing

Feeds to Scour
SubscribedAll
Scoured 10 posts in 12.4 ms

Basic fuzzing

 🎮DST
ziggit.dev··Covers: Zig: The Honest Systems Language You Have Been Ignoring
Less-relevant results

Cranelift

 ✅Software Verification  6 articles covering this post
cranelift.dev··Hacker News·Cited by 6 articles·Covers: How do I get started?, GCC GNU website is down +2 more

https://www.anthropic.com/research/team/frontier-red-team

 🚀Startups
anthropic.com·

argotorg/hevm

 📐Formal Methods  Content type: Code
github.com··Covers: #ariel-os:matrix.org .

Automation Before Automation (ABA) — A Missing Phase in Modern Testing?

 ✅Software Verification
qaontime.com··DEV

Testing in Python with pytest: from the basics to advanced techniques

 🎮DST  Content type: Blog
en.andros.dev··Hacker News·Covers: Overriding pytest fixtures

Fuzz testing

 🎮DST
ziggit.dev·

AI is code – and can't be prompted into being smarter

 💻Tech Industry  Content type: News
theregister.com··Hacker News·Cited by 2 articles·Covers: Mini Shai-Hulud, Miasma, and Hades Worms Target Bioinformatics and MCP Developers via Malicious PyPI Wheels, Socket - Secure your dependencies. Ship with confidence. +3 more

DynamoRIO/dynamorio: Dynamic Instrumentation Tool Platform

 🎮DST  Content type: Code
github.com·

CPMpy/cpmpy: Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.

 📐Formal Methods  Content type: Code
github.com··Hacker News

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help