Khaki

4 ms·

1.
by Khaki 8y ago
Most research looks more incremental than people think. AlexNet is based on much work by Fukushima, Yann LeCun and others. Likewise, ELMO and BERT are based on 2015 work on pretrained language models: https://papers.nips.cc/
2.
by Khaki 12y ago
The Entscheidungsproblem says that proving theorems is at least as hard as the halting problem. This seems irrelevant to the issue of whether human input is essential for finding or proving interesting theorems.
3.
by Khaki 15y ago
As of mid 2011, for £1K you can buy a PC with 24 GB of memory and for £21K you can buy a server with 512 GB of memory. I'm not sure where he gets his computers from but those prices seem to be at least a few years away.
4.
by Khaki 15y ago
Nope, only if you're watching live (as it's being broadcast) TV.
5.
by Khaki 16y ago
I can see the viral ad now: Boy sees a cute girl but can't work up the guts to talk to her. Boy notices she's taking pictures with Color and writes: 'will you go out with me' on a paper napkin. Boy takes picture of the napkin with Color. Gi
6.
by Khaki 16y ago
The year calendar even showed the year as just '8', which is a dead giveaway.
7.
by Khaki 16y ago
Ah, that brings back nice memories of IE and Windows.
8.
by Khaki 16y ago
The difference is a big deal to applications that use XML as a markup language (marking up documents and text), as it was designed to do originally.
9.
by Khaki 16y ago
The results seem pretty much the same to me.
10.
by Khaki 16y ago
Not anymore. If you receive a targeted attack or a 0-day attack vector through a firefox, pdf or even libpng vulnerability, the only real way you can be safe is to unplug your computer from the internet.
11.
by Khaki 16y ago
I agree, I think SciAm has much better Pop Sci articles, at least the original authors of the paper write their articles.
12.
by Khaki 16y ago
Seems to be an article filled with nothing but hype. It doesn't even define what a random matrix is. I had to first check on Wikipedia to work out that this theory 'probably' has something to do with Wigner's law and symmetric matrices.
13.
by Khaki 17y ago
Surely one long function is very much harder to test than several shorter ones? So in the context of unit-testing at least, testability is in harmony with Fowler's definition of simplicity. Seems like a nice goal to me.