GM anh em, sáng nay mình dựng một “invariant‑fuzz lab” quanh ThruVM của @thru_xyz để kiểm chứng parity đa ngôn ngữ bằng chứng chứ không phải cảm tính. Mục tiêu: cùng một logic ops chạy Rust/Go/Python vẫn giữ các bất biến như conservation of balances, monotonic nonce, không double‑spend khi retry và cancel window giao nhau Cách mình làm để ae copy nhanh - Định nghĩa invariants trong test: balance ≥ 0, nonce tăng đúng, receipt dedup theo key - Rust dùng proptest, Python dùng Hypothesis, Go dùng quickcheck‑style - thru cli test --seed 777, stream case fail → trace.json - Shrink counterexample, thru replay --verify để đối chiếu state/latency - Đóng gói “invariant pack”: failing input, step hash, tx ids, state diff - Gom receipts thành Merkle root mỗi run, pin root kèm recap cho audit nội bộ Điều mình thấy rõ - Cross‑language counterexample khớp 1:1, determinism giữ vững - Bắt được edge ở module của mình: allowance dưới 0 khi cancel window overlap retry - Fix bằng floor allowance atomic route swap, idempotency per‑attempt; p95 shrink ~1.3s, rerun sạch, jitter ổn Nếu $THRU mở builder track cho “Invariant Pack Merkle receipts”, mình sẽ nộp ngay. Ai có template invariants thường dùng cho ops đa ngôn ngữ chia sẻ giúp tối ưu lab nhé #Fuzzing #PropertyTesting #Invariants #Devtools #Builders $THRU

Really enjoyed this talk by Harry Goldstein that demonstrates inventive uses of the #LeanLang InfoView enhanced by metaprogramming techniques to display real-time testing data. #LeanProver #Metaprogramming #VSCode #PropertyTesting

Free-#fermionic states, also known as fermionic #Gaussian states, represent an important class of quantum states ubiquitous in physics. They are uniquely and efficiently described by their correlation matrix. However, in practical experiments, the correlation matrix can only be estimated with finite accuracy. This raises the question: how does the error in estimating the correlation matrix affect the trace-distance error of the state? We show that if the correlation matrix is known with an error ε, the trace-distance error also scales as ε (and vice versa). Specifically, we provide distance bounds between (both pure and mixed) free-fermionic states in relation to their correlation matrix distance. Our analysis also extends to cases where one state may not be free-fermionic. Importantly, we leverage our preceding results to derive significant advancements in #propertytesting and #tomography of free-fermionic states. Property testing involves determining whether an unknown state is close to or far from being a free-fermionic state. We first demonstrate that any algorithm capable of testing arbitrary (possibly mixed) free-fermionic states would inevitably be inefficient. Then, we present an efficient algorithm for testing #lowrank free-fermionic states. For free-fermionic state tomography, we provide improved bounds on sample complexity in the pure-state scenario, substantially improving over previous literature, and we generalize the efficient algorithm to mixed states, discussing its noise-robustness.

Notions of nonstabilizerness, or “#magic,” quantify how nonclassical quantum states are in a precise sense: states exhibiting low nonstabilizerness preclude #quantumadvantage. We introduce “pseudomagic” ensembles of quantum states that, despite low nonstabilizerness, are computationally indistinguishable from those with high nonstabilizerness. Previously, such computational indistinguishability has been studied with respect to entanglement, introducing the concept of #pseudoentanglement. However, we demonstrate that pseudomagic neither follows from pseudoentanglement nor implies it. In terms of applications, the study of pseudomagic offers fresh insights into the theory of quantum scrambling: it uncovers states that, even though they originate from #nonscrambling unitaries, remain indistinguishable from scrambled states to any physical observer. Additional applications include new lower bounds on state synthesis problems, #propertytesting protocols, and implications for #quantumcryptography. Our Letter is driven by the observation that only quantities measurable by a computationally bounded observer—intrinsically limited by finite-time computational constraints—hold physical significance. Ultimately, our findings suggest that nonstabilizerness is a “hide-able” characteristic of quantum states: some states are much more magical than is apparent to a computationally bounded observer.

Hoy viernes, 7 plazas quedan para que @fede_fdz nos cuente por qué y cómo hacer property teting. Si haces #kotlin guay, pero si no sabes que es #propertyTesting ya tardas también en apuntarte #svqtech

Further applications include new lower bounds on #statesynthesis problems, #propertytesting protocols, as well as implications for #quantumcryptography.

Right, hence the need for things like #mutationtesting and #propertytesting. :-)

today we have our #java #vienna meetup.. register now if you join us! meetup.com/de-DE/java-vienna… #propertyTesting #log4shell

"Parsec : Our experience with Hypothesis testing (and why do we love it so much !)" parsec.cloud/blog/our_experi… Izvor: @ParsecScille #python #propertytesting #unittest #swdev

Want to learn how to implement proper #propertytesting in #Haskell ?👩‍💻 👉Then this talk is for you!👨‍🏫 #functionalprogramming signifytechnology.com/blog/2…

Issue #35: a special issue of Elm Bits about testing, part 2. elmbits.com/issue-35-special… #fp #elmlang #fuzzing #fuzztesting #propertytesting #hypothesis #minithesis

Using Expecto with C# #csharp #dotnet #unittesting #propertytesting

Expecto v9.0.1 released! Thanks to @mnie8 and @yreynhout and Theodore Tsirpanis for your contributions to this version! #fsharp #dotnet #opensource #testing #propertytesting #stresstesting #unittesting

Expecto v9 released! Big thanks to Theodore and @Mnie8 for your contributions! #dotnet #testing #propertytesting #randomtesting Release notes: github.com/haf/expecto/relea…

Which material is the object made from? Is it waterproof? Is it transparent? Opaque? #EverydayMaterials #PropertyTesting #GPSScience

At 2020 #LambdaDays @williamheslam will not only present his talk "Modelling Side Effects via Extensible Effects and #PropertyTesting", he'll also run a free workshop "Building and testing a Node.js app" ow.ly/uAdG50xX5KW Register at: lambdadays.org/lambdadays202…

Let’s talk #PropertyTesting at 2020 @LambdaDays! Register using my discount code and come see my talk: FriendsWithWH2024 lambdadays.org/lambdadays202… I'll see you there! :)

Curious to see how well #FuctionalProgramming, #PropertyTesting and #JavaScript go together? Catch @williamheslam at 2020 #LambdaDays! ow.ly/3Twu50xfW0M Register at: lambdadays.org/lambdadays202…

Introducing hypothesis-auto - Python Tests that Write Themselves. Project: timothycrosley.github.io/hyp… Background: timothycrosley.com/project-5…. #testing #python #typeannotations #mypy #hypothesis #propertytesting #programming #python3 #unittesting

The third talk of the semester was by C. Seshadhri, on finding forbidden graph minors using random walks #graphs #propertytesting #computerscience youtu.be/_iwwOU7-rRI