Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
dahaka27
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
2 ms
·
1.
▲
by
dahaka27
4y ago
There’s something to this school of thought but the logical counter-factual stuff just seems like such a dead end I don’t understand why the better approach isn’t some kind of type-theoretic style answer - just say that a first-order decisi