Feeds to Scour
SubscribedAll
Scoured 122651 posts in 428.1 ms
Task 17: Implement property-based invariant tests · Issue #30
github.com·4h
🎯deterministic simulation testing
test: add property-based invariant tests (PROP-001 through PROP-006) by meleantonio · Pull Request #45
github.com·3h
🎯deterministic simulation testing
Property-based testing is about to rule the (software) world
tybug.dev·22h·
Discuss: Hacker News
📐Formal Methods
A note on parameterized testing
blog.gnoack.org·16h
🎯deterministic simulation testing
Property-based testing as executable specs for agentic coding
kiro.dev·2d·
Discuss: Hacker News
🎯deterministic simulation testing
Microgpt.py
gist.github.com·18h·
Discuss: Hacker News, Hacker News
🏗️Compiler Design
Proving What's Possible
buttondown.com·21h
📐Formal Methods
Implementation of Polynomial NP-Complete Algorithms Based on the NP Verifier Simulation Framework
arxiv.org·11h
📐Formal Methods
Bitdefender AI Skills Checker for OpenClaw
bitdefender.com·2h
🐛AFL
Verified developer portfolios using Code Complexity and AI
dev-proof-portfolio.vercel.app·18h·
Discuss: Hacker News
📐Formal Methods
Analysis of systems with dependent components through a variance-based index and regression importance signature
sciencedirect.com·10m
🎯deterministic simulation testing
A Beginner’s Guide to Testing in Go
dev.to·20h·
Discuss: DEV
🎯deterministic simulation testing
A New Look at Bayesian Testing
arxiv.org·11h
🎯deterministic simulation testing
Custom RSpec Matchers Give Tests Superpowers
blog.ty-porter.dev·21h
🎯deterministic simulation testing
Versioning and Testing Data Solutions: Applying CI and Unit Tests on Interview-style Queries
kdnuggets.com·1d
📐Formal Methods
Dear Agent: Prove it.
rijnard.com·11h·
Discuss: Hacker News
📐Formal Methods
Camera based true random number generator Beta
news.ycombinator.com·3h·
Discuss: Hacker News
🎯deterministic simulation testing
Formal Verification Fundamentals Remain Non-Negotiable In The New Verification Revolution
semiengineering.com·8h
📐Formal Methods
What Agentic AI "Vibe Coding" In The Hands Of Actual Programmers / Engineers
stochasticlifestyle.com·3h
📐Formal Methods
Proof-oriented Programming in F*
fstar-lang.org·11h·
Discuss: Lobsters
📐Formal Methods

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
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