🔍 Proptest - hello · Scour

Use of Assertions

blog.regehr.org·14h

🔍eBPF Verifier

Randomization in Typst

idraluna-archives.bearblog.dev·10h

🎲Deterministic Simulation

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

dev.to·16h·

Discuss: DEV

✅Property Testing

Software Testing in the Quantum World

arxiv.org·1d

⚛️Quantum Computing

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·1h

🦀Rust Macros

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🔍eBPF Verifier

CodeSOD: Validation Trimmed Away

thedailywtf.com·23h

Getting from tested to battle-tested

blog.janestreet.com·1d

🧪Jepsen Testing

mozilla/uniffi-rs: a multi-language bindings generator for rust

github.com·6h·

Discuss: r/rust

Experiments on Reward Hacking Monitorability in Language Models

lesswrong.com·50m

🔓Binary Exploitation

Simulating Pots with LTSpice

hackaday.com·2h

🎲Deterministic Simulation

Type-Safe Routing Without the Build Step

werkbank.dev·11h·

Discuss: Hacker News

Python Mock Frameworks

brunningonline.net·1d

🧬Mutation Testing

BPF Verifier State Pruning: Timeline

pchaigno.github.io·1d

Making a quiz program for CircuitPython & Circuit Playground questions

blog.adafruit.com·13h

🔢Reference Counting

How to Perform Large Code Refactors in Cursor

towardsdatascience.com·1d

🔨Incremental Compilation

Inside Zoomex: What "Proof Over Promises" Means in Practice

prnewswire.com·1d

🔮Folly Futures

Prompt-Driven UI: Building Production-Ready Login Pages with AgnosticUI & AI

dev.to·6h·

Discuss: DEV

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·17h

🔬Static Analysis

Vulnerability-Lookup

db.gcve.eu·52m

🛡️Error Handling

Loading more...