✅ Property Testing - hello · Scour

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🔍eBPF Verifier

Automated Tool Support for Category-Partition Testing: Design Decisions, UI and Examples of Use

arxiv.org·1d

📊Criterion.rs

Stop Writing Boilerplate: Test Data Generation for TypeORM That Actually Works

dev.to·19h·

Discuss: DEV

One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...

lmika.org·3h

🦀Rust Macros

Getting from tested to battle-tested

blog.janestreet.com·1d

🧪Jepsen Testing

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·20h

🔬Static Analysis

Using Haskell in Production

agentultra.com·1d

understanding LSM trees via read, write, and space amplification

bitsxpages.com·9h

CodeSOD: Validation Trimmed Away

thedailywtf.com·1d

Gauss is Not Mocked

notstatschat.rbind.io·8h

Use of Assertions

blog.regehr.org·17h

Complexity of Model Checking Second-Order Hyperproperties on Finite Structures

arxiv.org·1d

Python Mock Frameworks

brunningonline.net·1d

🧬Mutation Testing

istmarc/tenseur: C++23 Tensor, neural networks and mathematical library

github.com·13h·

Discuss: r/cpp

All-in-one CLI for mocking and testing APIs

quadrastack.com·1d·

Discuss: Hacker News

🧬Mutation Testing

Randomization in Typst

idraluna-archives.bearblog.dev·12h

🎲Deterministic Simulation

datahaven-xyz/datahaven: An EVM compatible Substrate chain, powered by StorageHub and secured by EigenLayer

github.com·6h

🎚️Tiered Storage

Type-safe eval in Grace

haskellforall.com·1d·

Discuss: Lobsters, Hacker News

🎯Escape Analysis

Google Releases FunctionGemma Model

i-programmer.info·15h

#1 - Spot Problems Before Reading Any Code

dev.to·12h·

Discuss: DEV

🔓Binary Exploitation

Loading more...