Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
endoplasm
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
endoplasm
9y ago
Yes, you're right. The definition of an optimization being ``safe'' is tricky in the presence of non-determinism. The set of possible executions of a correctly optimized program should be a subset of---and specifically, need
2.
▲
by
endoplasm
9y ago
Neither of those optimizations looks safe to me. Couldn't they potentially introduce deadlocks?