Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
jusuhi
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
5 ms
·
1.
▲
by
jusuhi
3y ago
Feel free to generalize my argument to i31 and i15. Also, look around you and realize that non-64-bit microprocessors outnumber 64-bit machines by orders of magnitude. There is more to the world than your laptop and smartphone. (Just within
2.
▲
by
jusuhi
3y ago
Because i63 won't help with 32 bit variables.
3.
▲
by
jusuhi
3y ago
The keywords here are operational transform (OT) and conflict-free replicated data types (CRDT). Fun to implement, there are lots of libs.
4.
▲
by
jusuhi
3y ago
At current rates, whatever is done on a supercomputer today is done by a cheap pocket-size device just decades later. So, I'm not too worried about this case. One of the first famous examples of this is the four-coloring theorem. I don
5.
▲
by
jusuhi
3y ago
The task proving some statement and the task of finding the shortest, or a "reasonably short" proof, are very different endeavours. The first is about certainty that a statement is valid ("true"). The other is about simp
6.
▲
by
jusuhi
3y ago
The "best answer" perhaps from the POV of your own intuition. But the question is about a historical fact, and those don't work that way.
7.
▲
by
jusuhi
3y ago
If you'd actually read wherever the link is going then you could get an idea instead of just speculating wildly.
8.
▲
by
jusuhi
3y ago
Phenomenon. That's the singular form.
9.
▲
by
jusuhi
3y ago
> through the DOS computer language Oh yes, that DOS computer language. Bill Gates was fluent in that language. Totally makes me trust everything else in that article even more.
10.
▲
by
jusuhi
3y ago
Misleading title. It wasn't just "outside". It was a controlled experiment with Mars-like conditions, unlike space directly outside the ISS.