fyi1183

11 ms·

61.
by fyi1183 9y ago
Please point out where somebody genuinely puts an effort to found math on category theory? The standard way to do so is set theory, and the more recent hype is type theory. Category theory in itself is pretty useless. Categories are a bit l
62.
by fyi1183 9y ago
To be fair, AMD's Linux drivers have been pretty solid for a while now. I don't have an objective comparison, but the general perception definitely has some catching up to do. For those Ryzens you'll probably need a very rece
63.
by fyi1183 9y ago
It can be done with essentially a recompile as long as it's all digital, but the result won't be great. If you want to use area well, get high clock rates and power efficiency, you really need to spend a significant amount of effo
64.
by fyi1183 9y ago
Not to mention the lost opportunities for delta compression.
65.
by fyi1183 9y ago
We generally cannot prove things about physics in a mathematical sense, but assuming that our understanding of quantum mechanics is correct, every interaction of an entangled particle causes its entanglement to "spread" to the int
66.
by fyi1183 9y ago
Non-determinism comes from randomness in the hash function. I don't know the details of the Python implementation, but generally you want randomness at the very least when processing potentially hostile user input. Otherwise your code
67.
by fyi1183 9y ago
Presumably, computers can get better at driving cars while humans cannot, so eventually computers will win this particular competition like they've won on chess, go, and tons of other things.
68.
by fyi1183 9y ago
Honest question: does the Austrian in your example not understand the deadpan/sarcasm or is he/she merely annoyed by it? Sometime it may not be a question of understanding but just of preferred communication patterns. But yeah, th
69.
by fyi1183 9y ago
AlphaGo also uses a tree search algorithm. Every tree search algorithm needs a guiding heuristic, and that's what AlphaGo replaces with a neural network. So both DeepBlue and AlphaGo are fairly described as being based on tree search.
70.
by fyi1183 9y ago
I think it's a bit unfair to pretend that TLS replay would be the same as having a not entirely updated IPNS record. The threat models are very different. The corresponding attack against IPNS would be if the attacker could make your p
71.
by fyi1183 9y ago
With FileCoin (the IPFS-related ICO with no implementation), the idea is that you're offering your storage space to others in exchange for a fee. So somebody could use your system to store, say, child porn. With plain IPFS that cannot
72.
by fyi1183 9y ago
You don't really upload things to IPFS, since it works like Bittorrent: you make files available by adding them, but that doesn't copy those files anywhere. They're only transferred via the network to clients that specificall
73.
by fyi1183 9y ago
IPNS records have an optional and user-configurable expiry time, but more importantly, they contain a sequence counter. So unless an attacker can completely disconnect you from everybody else who's interested in a particular IPNS addre
74.
by fyi1183 9y ago
The HTTPS is served by the proxy, it has nothing to do with IPFS.
75.
by fyi1183 9y ago
I assure you that it's possible. To give you a hint without giving everything away: the guess of the first person must be derived from the colour of all other person's hats. You could think of it as a puzzle in coding theory, and
76.
by fyi1183 9y ago
The best literary treatment of the general idea of attempting to preserve knowledge by creating some sort of priesthood, though not specifically for the purpose of waste warnings, is A Canticle for Leibowitz in my opinion. I highly recomm
77.
by fyi1183 9y ago
Radeons compute units are in-order though, in the usual sense of the word, and I'd love to hear it if there really was an out-of-order GPU. It'd be rather surprising. One thing that they do have to deal with data dependencies is t
78.
by fyi1183 9y ago
Doubtful. You don't just develop a new processor over night, and if they truly had all these aces up their sleeves, they would have dropped them already in response to Zen last year. Intel's process advantage is shrinking. They&#x
79.
by fyi1183 9y ago
You don't actually have an argument though. Why is the CPU wrong? Because you say so? And btw, you're wrong about this not affecting ARM or AMD. It affects everyone with speculative execution (we're only talking about Spectre
80.
by fyi1183 9y ago
You could ask the same question about any class of security bug, so unsurprisingly I'd answer more or less in the same way. For example, if you're paranoid, make your compiler be conservative, in the same way that you might addres
81.
by fyi1183 9y ago
I'm not a CPU architect, and I'd agree with you that Spectre variant 2 should be fixed by CPU designs, simply because software is helpless against it. Luckily, fixing it shouldn't be too expensive, it just requires tagging th
82.
by fyi1183 9y ago
Not sure what "you" you're talking about. I'm telling you the truth about my Steam use, so your comment feels pretty weird. It's true though that the availability of games is much less on Linux.
83.
by fyi1183 9y ago
Funny, I do all three of these on Linux.
84.
by fyi1183 9y ago
That sounds wrong. First of all, backwards compatible changes in libraries don't need application updates, by definition. Second, if your library changes are backwards compatible, you can maintain separate release cycles - this is the
85.
by fyi1183 9y ago
If you really meant for the 10x to only be an example, you should have clearly stated that.
86.
by fyi1183 9y ago
The 10x thing is a common misconception generated by the fact that 10 is a nice round number that works well for this type of just-so story. The Wikipedia article on reserve requirements has a handy table by country, from which you can see
87.
by fyi1183 9y ago
It would be better for the salt to be private (and revealed at the same time as the name), otherwise a miner could still try to guess at the name being reserved. Having a public salt only eliminates the possibility of precomputing many hash
88.
by fyi1183 9y ago
What's also pretty clear is that nuclear weapons had nothing to do with ending WW2 in Europe.
89.
by fyi1183 9y ago
To put it mildly, that seems pretty unlikely given the ridiculous amount of know-how and capital investment required for chip manufacturing.
90.
by fyi1183 9y ago
Legal tender has a specific legal meaning. I can assure you that the USD is not legal tender almost everywhere in the world.

More ›