Matthew Garrett on Nostr: It's definitely possible to envisage a situation where even comprehensive testing may ...
It's definitely possible to envisage a situation where even comprehensive testing may fail to identify uninitialised memory if every test run starts with the same state and behaves sufficiently deterministically
Published at
2024-07-21 17:14:57Event JSON
{
"id": "820eab8644d6018322485c41cc2aa3c77b402103bf66d77084cf27f46852f5f8",
"pubkey": "ef5e80e6c74387ef14f5c6b89079f22b6847dc14365001c0ed662a20bd891677",
"created_at": 1721582097,
"kind": 1,
"tags": [
[
"e",
"d12a555ba6accfdc8914411e15bf989a36c1cdea86e9bba10ddfae80ca87f109",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://nondeterministic.computer/users/mjg59/statuses/112825604348020583",
"activitypub"
]
],
"content": "It's definitely possible to envisage a situation where even comprehensive testing may fail to identify uninitialised memory if every test run starts with the same state and behaves sufficiently deterministically",
"sig": "f6d4bcd5955e886a265902d824835e8dd545b381e762f6c71176048ada8e4019e6b70b20d6cac1116b43a1bc2be46c8f1c44e59e8dbdadb1ba2c3c2bf61e12ad"
}