Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
pgodman100
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
pgodman100
16y ago
Yes, this is a lot like AI approaches used for playing games. We examine many and nested what-if scenarios involving reordering of memory communications to identify problematic sequences. Note that we operate at the memory level and so we
2.
▲
by
pgodman100
16y ago
Hi. Disclaimer: I work for Corensic. We avoid exponential search space problems by using sampling, and curtailing of exploration. We choose what to explore based on research about where bugs are likely to lie. Exhaustive examination of