🎲 Property Testing - balayhashi · Scour

Reproducible Automated Program Repair Is Hard -- Experiences With the Defects4J Dataset 🔍Jepsen

"Parse, don't Validate" through the years with C++ 🎲Fuzzing

derekrodriguez.dev·4d·Hacker News, r/programming

Show HN-style: Blue Arrow – modular orchestration system with state-driven execution, local LLaMA integration and post-execution verification 🔓Lock-Free Structures

github.com·3h·r/node

Haskell: Debugging 🔍Jepsen

wiki.haskell.org·9h·Hacker News

From Convergence to Confidence: Push-Button Verification for RDTs ✅Correctness

kcsrk.info·2d·Hacker News, Hacker News

Content Verification Platform ✅Correctness

proofididit.com·17h

Introducing AMS: Activation-based model scanner for open-weight LLM safety verification ✅Correctness

opensource.googleblog.com·3d·Blogger

How we turned Storybook into a behavioral verification engine 📐TLA+

developers.redhat.com·2d

Spotify rolls out ‘Verified’ badge to distinguish human artists from AI 🔍Jepsen

theguardian.com·8h

Sign Git Commits with SSH Keys ｜ fernvenue's Blog 💳Transactions

blog.fernvenue.com·4h

The US Senate Judiciary Committee unanimously endorses a bipartisan child safety bill requiring AI companies like OpenAI and Meta to implement age verification ... 📄SOSP

techmeme.com·11h

Testing Your Code With Python's unittest 🧪Software Testing

realpython.com·2d

Break This: A Minimal, System-Independent Verification Primitive 📐TLA+

ethresear.ch·3d

Verify your identity ✅Correctness

forums.androidcentral.com·9h

Assuring Comprehensive Security Coverage In Hardware Design ⚙️Mechanical Sympathy

semiengineering.com·1d

Utah’s New Law Targeting VPNs Goes Into Effect Next Week 🗳️Paxos

eff.org·4h·Hacker News

Verified by Spotify badge lets you know this artist isn’t AI 🔍Jepsen

·15h·Hacker News

Antithesis BugBash Conference 2026 🤝Paxos Consensus

emptysqua.re·5d

Getting Up to Speed on Multi-Agent Systems, Part 6: Verification Patterns 📐TLA+

christophermeiklejohn.com·1d

Spotify Is Adding Artist Verification Badges on Profiles 🔍Jepsen

Log in to enable infinite scrolling