Кодить ночью вредно :)
Пример вывода к 7-й программе в документе ошибочен.
From: Marc Brockschmidt <***@microsoft.com>
Date: 2017-02-27 12:56 GMT+03:00
Subject: RE: DeepCoder paper, Program 7, possible mistake (48 instead of 62)
To: Dmitry Razumikhin <***@gmail.com>
Hi Dmitry,
Thanks for the note – you are indeed correct, that output was indeed wrong. That’s what we get for making the examples up in the night before submission J
Смущает результат — в документе указано, что он равен 48, но по всем формулам выходит, что 62. Твой вариант — третий из эквивалентных, также даёт 62. Авторам написал, они пока не ответили. 4 * (2) = 8
7 * (2 + 1) = 21
2 * (2 + 1 + 3) = 12
3 * (2 + 1 + 3 + 1) = 21
Определение функций (https://openreview.net/pdf?id=ByldLrqlx):
SCANL1 :: (int -> int -> int) -> [int] -> [int]
Given a lambda function f mapping integer pairs to integers, and an array xs, returns an
array ys of the same length as xs and with its content defined by the recurrence ys[0] =
xs[0], ys[n] = f(ys[n-1], xs[n]) for n >= 1.
ZIPWITH :: (int -> int -> int) -> [int] -> [int] -> [int]
lambda f, xs, ys: [f(x, y) for (x, y) in zip(xs, ys)]
Given a lambda function f mapping integer pairs to integers, and two arrays xs and ys,
returns the array resulting from applying f to corresponding elements of xs and ys. The
length of the returned array is the minimum of the lengths of xs and ys.
SUM :: [int] -> int
lambda xs: sum(xs)
Given an array, returns the sum of its elements. (The sum of an empty array is 0.)
Считаем:
s = [4 7 2 3]
p = [2 1 3 1]
-------------------------------
c = SCANL1 (+) p
// из определения SCANL1 выходит, что индексы для него 0-based
c[0] = p[0] = 2
c[1] = c[0] + p[1] = 2 + 1 = 3
c[2] = c[1] + p[2] = 3 + 3 = 6
c[3] = c[2] + p[3] = 6 + 1 = 7
c = [2 3 6 7]
-------------------------------
d = ZIPWITH (*) s c
Вариант №3 можно заменить на более научный — существует относительно маргинальная теория, согласно которой феномен сознания лежит за пределами 4-х измерений пространство-время. Т.е. мозг, находящийся в черепной коробке, — это лишь верхушка айсберга и воспринимаемый нами его объём не так уж и важен.
«This suggests that the brain operates in a higher dimension than the 4 of traditional space-time. These extra dimensions suggest that quantum gravity may play a role in generating consciousness.»
http://www.neuroquantology.com/index.php/journal/article/view/279/
Главное чтобы не наоборот. Я вот по паспорту Дмитрий Разумихин (не Прокофьевич, благо). Время от времени разные Радионы Раскольниковы отправляют запросы в друзья. Забавно, надо сказать.
Сложно сказать. Есть вещи вычисляемые, типа количества платных аккаунтов которые находятся под ударом. А есть более общие понятия типа лояльности пользователей. Чувство собственной ответственности и «миссия» по обеспечению сервиса, в конце концов. Хочется верить, что такие слова ещё что-то стоят и не до конца являются маркетинговым BS. Но я думаю, что покупка одного нового IP и переконфигурирование системы не так дорого стоят и в любом случае движение навстречу своим пользователям — это всегда добрый знак.
Sorry for the trouble. We are aware of reports that GitHub is unavailable in Russia. We are investigating and will update with more information when we have it.
Блокировка вынесена на IP адрес — DNS провайдера просто не отдаёт заблоченный IP, возвращая альтернативные. Это наоборот, говорит о грамотном подходе. Они выполнили решение регулятора и при этом их клиенты не пострадали.
Изолируют рунет от остального мира и/или введут белые списки гораздо раньше, к сожалению.
ну очень временное решение.
Временное решение — это прописывание в hosts альтернативных адресов и использование VPN. Эти меры работают «для себя» и их можно обеспечить своими силами за короткое время. Однако нужно добиваться нормального функционирования сервисов. Это можно сделать двумя способами: донеся до регуляторов, что они не правы (вялый шанс на успех) и дать обратную связь сервису для создания обходного решения, но действующего для всех.
Гитхабовцы знают о проблеме и, я думаю, решат её быстрее органов.
Hi Dmitry,
Sorry for the trouble. We are aware of reports that GitHub is unavailable in Russia. We are investigating and will update with more information when we have it.
Написал в техподдержку github'а — возможно при достаточном числе обращений они перестанут использовать этот IP. По крайней мере это более вероятно, чем снятие блокировки с Российской стороны в ближайшее время.
IP address 151.101.36.133 got blocked in Russia since July 6, 2016. As a result, some resources is unavailable:
assets-cdn.github.com
avatars*.githubusercontent.com
camo.githubusercontent.com
gist.githubusercontent.com
help.github.com
pages.github.com
raw.githubusercontent.com
It is possible not to use this IP (for Russian regions at least)?
Написал в техподдержку github'а — возможно при достаточном числе обращений они перестанут использовать этот IP. По крайней мере это более вероятно, чем снятие блокировки с Российской стороны в ближайшее время.
IP address 151.101.36.133 got blocked in Russia since July 6, 2016. As a result, some resources is unavailable:
assets-cdn.github.com
avatars*.githubusercontent.com
camo.githubusercontent.com
gist.githubusercontent.com
help.github.com
pages.github.com
raw.githubusercontent.com
It is possible not to use this IP (for Russian regions at least)?
1) договориться о совместной разработке на взаимовыгодных условиях
2) подать в суд если не смогли договориться
3) орбитальные разборки
Казалось бы наличие законодательных норм полезно для реализации пункта 2. Однако не факт, что иски будут подаваться в суд одной страны.
Отсюда вытекает, что законодательства отдельных стран — устаревшее понятие в космическую эру.
P.S. Надо им подать мысль урегулировать правила доступа к параллельным вселенным через чёрные дыры.
Ужасно ещё то, что эту новость подхватила жёлтая пресса и обыватели получают информацию с эпитетами «Известно, что он был довольно активным участником антиполицейских движений.», «Активного ненавистника полицейских приехавший наряд забрал в отделение» и «Сначала он продолжил возлияния».
Пример вывода к 7-й программе в документе ошибочен.
From: Marc Brockschmidt <***@microsoft.com>
Date: 2017-02-27 12:56 GMT+03:00
Subject: RE: DeepCoder paper, Program 7, possible mistake (48 instead of 62)
To: Dmitry Razumikhin <***@gmail.com>
Hi Dmitry,
Thanks for the note – you are indeed correct, that output was indeed wrong. That’s what we get for making the examples up in the night before submission J
Marc
4 * (2) = 8
7 * (2 + 1) = 21
2 * (2 + 1 + 3) = 12
3 * (2 + 1 + 3 + 1) = 21
8 + 21 + 12 + 21 = 62
Вариант 1 (наивное, как сформулировано):
s = [4 7 2 3]
p = [2 1 3 1]
i | result { sum(i..n) * p[i] }
--+----------------------------
1 | (4 + 7 + 2 + 3) * 2 = 32
2 | (7 + 2 + 3) * 1 = 12
3 | (2 + 3) * 3 = 15
4 | (3) * 1 = 3
32 + 12 + 15 + 3 = 62
Вариянт 2(нейросетевой)
Определение функций (https://openreview.net/pdf?id=ByldLrqlx):
SCANL1 :: (int -> int -> int) -> [int] -> [int]
Given a lambda function f mapping integer pairs to integers, and an array xs, returns an
array ys of the same length as xs and with its content defined by the recurrence ys[0] =
xs[0], ys[n] = f(ys[n-1], xs[n]) for n >= 1.
ZIPWITH :: (int -> int -> int) -> [int] -> [int] -> [int]
lambda f, xs, ys: [f(x, y) for (x, y) in zip(xs, ys)]
Given a lambda function f mapping integer pairs to integers, and two arrays xs and ys,
returns the array resulting from applying f to corresponding elements of xs and ys. The
length of the returned array is the minimum of the lengths of xs and ys.
SUM :: [int] -> int
lambda xs: sum(xs)
Given an array, returns the sum of its elements. (The sum of an empty array is 0.)
Считаем:
s = [4 7 2 3]
p = [2 1 3 1]
-------------------------------
c = SCANL1 (+) p
// из определения SCANL1 выходит, что индексы для него 0-based
c[0] = p[0] = 2
c[1] = c[0] + p[1] = 2 + 1 = 3
c[2] = c[1] + p[2] = 3 + 3 = 6
c[3] = c[2] + p[3] = 6 + 1 = 7
c = [2 3 6 7]
-------------------------------
d = ZIPWITH (*) s c
[4 7 2 3]
*
[2 3 6 7]
d = [8 21 12 21 ]
-------------------------------
SUM(d) = 8 + 21 + 12 + 21 = 62
-------------------------------
Результат: оба варианта дают 62, а не 48.
Ошибка в работе или ЧЯДНТ?
https://habrahabr.ru/post/314084/
«This suggests that the brain operates in a higher dimension than the 4 of traditional space-time. These extra dimensions suggest that quantum gravity may play a role in generating consciousness.»
http://www.neuroquantology.com/index.php/journal/article/view/279/
Временное решение — это прописывание в hosts альтернативных адресов и использование VPN. Эти меры работают «для себя» и их можно обеспечить своими силами за короткое время. Однако нужно добиваться нормального функционирования сервисов. Это можно сделать двумя способами: донеся до регуляторов, что они не правы (вялый шанс на успех) и дать обратную связь сервису для создания обходного решения, но действующего для всех.
Гитхабовцы знают о проблеме и, я думаю, решат её быстрее органов.
2) подать в суд если не смогли договориться
3) орбитальные разборки
Казалось бы наличие законодательных норм полезно для реализации пункта 2. Однако не факт, что иски будут подаваться в суд одной страны.
Отсюда вытекает, что законодательства отдельных стран — устаревшее понятие в космическую эру.
P.S. Надо им подать мысль урегулировать правила доступа к параллельным вселенным через чёрные дыры.
Пруф:
www.mk.ru/social/2016/01/02/samoubiystvo-znamenitogo-aytishnika-myordoka-v-socsetyakh-vydayut-za-proizvol-policii.html