eutectic

28 ms·

271.
by eutectic 9y ago
Any string is a valid format string.
272.
by eutectic 9y ago
How convenient for him that only his exact products will produce the desired effect.
273.
by eutectic 9y ago
I stopped thinking the AHA were credible after they stuck dogmatically to their 'salt is evil' message despite the complete lack of any evidence to this effect, (and some evidence that low salt consumption is problematic).
274.
by eutectic 9y ago
It is an equality assertion: https://downloads.haskell.org/~ghc/7.6.1/docs/html/users_gui...
275.
by eutectic 9y ago
That article absolutely does not substantiate this claim.
276.
by eutectic 9y ago
There is a big difference between 'practical motivation' and 'theoretical motivation'.
277.
by eutectic 9y ago
How often do you really care about the sin of large floating-point numbers?
278.
by eutectic 9y ago
https://arxiv.org/abs/1402.3392
279.
by eutectic 9y ago
What do you mean?
280.
by eutectic 9y ago
Don't you find it's so much easier to argue against yourself? None of those pesky unpredictable arguments to worry about.
281.
by eutectic 9y ago
https://en.wikipedia.org/wiki/Kleiber%27s_law
282.
by eutectic 9y ago
Perhaps the article meant it was impressive for their body size.
283.
by eutectic 10y ago
He could have used gloves or held the bin with a cloth. And besides, anyone can leave a mess and prostitutes should be fully capable of not leaving a mess.
284.
by eutectic 10y ago
I wonder how long it will be before state-of-the-art SAT solvers start incorporating similar networks.
285.
by eutectic 10y ago
Luboš is known for being extremely hostile in all his opinions. :)
286.
by eutectic 10y ago
If he really didn't care, wouldn't it have been easier and more effective to only publish on the arxiv, and perhaps to tell people working on the problem about his solution?
287.
by eutectic 10y ago
https://youtu.be/l-GsfyVCBu0?t=2866
288.
by eutectic 10y ago
I believe the AlphaGo team estimated it to be about 2 stones stronger than top pros.
289.
by eutectic 10y ago
Kolmogorov complexity is not computable in general , but it is decidable for a substantial subset of programs.
290.
by eutectic 10y ago
Just fyi, you were presumably thinking of incur rather than infer.
291.
by eutectic 10y ago
Presumably you meant those the other way round? Usually doing 'a' while 'b' means you are primarily doing 'b', and 'a' is a bonus.
292.
by eutectic 10y ago
This is not necessarily true in garbage-collected languages.
293.
by eutectic 10y ago
Presumably you could track e.g. the average gradient of the error with respect to each weight.
294.
by eutectic 10y ago
Making an analogy is not the same as implying equivalence.
295.
by eutectic 10y ago
And relativity is just the idea that the laws of physics are the same in every inertial reference frame.
296.
by eutectic 10y ago
You can only 'do the math' if you assume uncorrelated errors and no unanticipated or emergent failure modes.
297.
by eutectic 10y ago
I just tried a version of this as a test for myself. I was able to create a very serviceable minesweeper clone in pygame, finishing up at almost exactly the 1 hour mark. I didn't have time to include a game-over animation, an in-game t
298.
by eutectic 10y ago
Any optimization that the Rust compiler might do can very likely be reproduced in C given sufficient time and effort.
299.
by eutectic 10y ago
That's not how you use languish.
300.
by eutectic 10y ago
The fact that different algorithms are best for different tasks has more to do with computational complexity. If we didn't care about resource usage then we could just pick a sufficiently expressive model class (e.g. all algorithms) to

More ›