tpaine on Nostr: Multi-thrading /-processing is really hard to test properly. If you don't have a ...
Multi-thrading /-processing is really hard to test properly. If you don't have a formal model of your software, you're left with fuzzing to find such bugs.
Published at
2023-03-14 19:40:01Event JSON
{
"id": "adc6271fe024fcbd29a335709fb8a13c42127b905fc5753ba60a36f40b34c8ad",
"pubkey": "587b29e526e20a8c3cc8d2a9a135d0f9d0dab0ffd922370cffac651255315c97",
"created_at": 1678822801,
"kind": 1,
"tags": [
[
"e",
"47f48f23878da42b03046e049636ab7770905e2f40096e46c88583ad218e1869"
],
[
"p",
"50d94fc2d8580c682b071a542f8b1e31a200b0508bab95a33bef0855df281d63"
]
],
"content": "Multi-thrading /-processing is really hard to test properly. If you don't have a formal model of your software, you're left with fuzzing to find such bugs.",
"sig": "cac55b42ed70e9427ff33f22afa2123faf36ded489ef59532da3a268ea098c65286340ac3b34c903f848a5ada3a37b7016d68ef1d24d347afb3861c672c47d4c"
}
