Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
chiefjosh
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
6 ms
·
1.
▲
by
chiefjosh
2y ago
Probably a tree set, with O(log(n)) lookups
2.
▲
by
chiefjosh
2y ago
It's hardly "computer science" either. Good software engineering, sure, but there's obviously no mathematical foundation here.
3.
▲
by
chiefjosh
2y ago
I think he literally just demonstrated the problem you were trying to illustrate about software provers
4.
▲
by
chiefjosh
2y ago
Agreed, but if you're relying on Papa John's as a signal, you're probably going to find out about missile launches a lot later than you'd like.
5.
▲
by
chiefjosh
2y ago
It's a single player game, that requires check-ins to an online server. When Ubisoft shuts down their servers the single player will be unplayable.