Dmitry Popov

Наконец-то нормальный язык подвезли. Там в описании прекрасно все:
https://github.com/Storyyeller/IntercalScript

Phantom values порадовали особенно.

Подкинули тут мне почитать диссер одного китайца, который интерпретатор языка R разгонял. И хотя дело было в University of Illinois, проверяющие там тоже сплошь китайцы да индусы, так что в тексте куча грамматических ошибок, всем пофиг. Но это еще ничего. Зато вот стандартный термин peephole optimization у китайца превратился в нечто замечательное. Интересно, как именно он такое отверстие представляет. И это не случайная опечатка, два раза именно так написано.



Вечером по дороге домой слушал аудиоверсию The Pleasure of Finding Things Out, там зачитывали интервью Фейнмана одному журналу. И у чтеца "group theory" превратилась в "group therapy". В журнальном интервью сейчас написано правильно (не знаю, как было на бумаге), т.е. то ли в книге была опечатка, то ли скорее всего чтец оговорился. Такой вид опечаток мне в диковинку.

Когда приезжаешь в большой город, столицу богатой западной страны, где человеку с деньгами открываются все мыслимые и немыслимые развлечения и удовольствия, очень сложно удержаться от соблазна и не погрузиться в самую пучину порока. Например, ( Read more... )

На этой неделе были опять в Бангкоке, глядя на наружную рекламу, пополнили словарь двумя хорошими словами - названиями брендов TSUBAKI и ZOJIRUSHI.

Купил когда-то сыну телефон на андроиде, год он им пользовался нормально, а потом вдруг поставил на вход цифровой пароль и забыл его. Пытались подобрать, несколько сотен вариантов перебрали, не угадали. Штатный способ решения такой проблемы - залогиниться c другого устройства в его гугловский аккаунт, и как-то там можно удаленно повлиять, снять пароль. Но вот беда: аккаунт тот создавался полтора года назад, куда-то наверное был записан, но найти не получилось, и я не то, что пароля, я и логина-то не помню. И номер телефона тоже год назад менялся (симка протухла в какой-то момент), старый не сохранился, так что вспомнить хоть что-то про гугловскую учетку не получилось.
Сделали тогда hard reset, который должен привести телефон в исходное девственное состояние. Но и тут беда: про гуглоаккаунт он при этом не забывает, и при включении требует залогиниться тем аккаунтом, что там был раньше. Это, типа, защита такая от воров. А мы логин не помним.
Хорошо, что есть в интернете сорок миллионов вьетнамцев и триста миллионов китайцев, которые уже успели нажать на каждый пиксель экрана и каждую кнопку во всех возможных комбинациях и нащупали таки решения, для разных моделей разные. В нашем случае оказалось, что в поле ввода логина можно вызвать переключение языков, там выбрать скачивание дополнительных, будет показано лицензионное соглашение, в нем можно выделить слово, для выделения автоматически доступен поиск в гугле, так можно со все еще заблокированного телефона выйти в гугл и в браузер, там скачать google account manager, который ставится, но не запускается, и другую утилиту для делания шорткатов, которая умеет видеть отдельные потроха программ, т.е. ссылаться на активити внутри программ, и она позволяет вызвать некое гугловое окошко логина, которое штатным образом было недоступно, а оттуда можно уже создать новый аккаунт, после чего достаточно перезагрузиться и вуаля, телефон разблокирован, новый аккаунт задействован.
Т.е. все делается без каких-то радикальных мер, без подключения к компьютеру, без какого-то рутования, все как бы легальными методами, просто такая вот комбинация, которая в итоге обходит защиту. И подобные рецепты есть для самых разных моделей. В итоге, если телефон сопрут, то ворам гугловая защита особых проблем не создаст, а вот обычным забывчивым пользователям наказание. Не забывайте ваши логины, берегите их! :)

Several invocations may be required to fully excise all bugs from your code.
На реддите напомнили про замечательный язык, где процесс избавления от багов в коде наконец-то автоматизирован.

As you surely know, Bashkortostan is the world leader in technology,
computer science and algebraic topology. With this submission, we expect to
cement the positions of our motherland in the exciting new field of
computational geometry. Don't worry: resistance is very obviously futile.

From young age, our children are trained in the art of convex decomposition
of polyhedra, computing barycenters of weighted point sets, and triangulated
surface mesh skeletonization; hoping, that one day they'd be tasked with a
crucially important problem of...
https://github.com/cakeplus/icfp-2016-wild-bashkort-mages
Самый суперский отчет (точнее, readme к исходникам) с нынешнего ICFPC. Почитайте целиком, не пожалеете.

В этом году контест был очень классным, и очень суровым.

железные сапоги от граблей! (грабель?)

( one more )

Блин, похоже как получилось!



( https://www.youtube.com/watch?v=eBRYsAfchkY )