Сурков в 2010м

"А у сырьевого государства, как и у сырьевой корпорации, нет драйва. Зачем? Обменял ведро нефти на бутылку водки – и отдыхай." 

is there an arithmetic where Goodstein fails?

https://mathoverflow.net/questions/37329/is-there-a-known-natural-model-of-peano-arithmetic-where-goodsteins-theorem-fai 

опись нужного

Мы программируем как-то очень по-старинке. Ну да, intellij+tc.

Но что-то недоделано.

Вот я думаю, надо сделать следующую вещь.

У меня пять фолдеров с копиями одного и того же проекта, разные ветки. И переключаюсь туда-сюда, руками чота пингаю, пулреквесты рисую.

Не так надо. Надо пять фоновых задач, которые бы смотрели, уж не пора ли погонять простые или интегрейшен тесты. Вроде локального тимсити. С вебовым окошечком, где краткий репортаж с места событий. И с кнопками "коммит", все такое. Ну т.е. типичный лайфсайкл заавтоматизировать.

Затем, для анализа эксепшенов нужен машинный лернинг. Да и для логов, но это как бы очевидно, но ни одна собака не делает.

Начать с логов. Все же понятно. В Гугле, кстати, уже давно, и логи и эксепшены, и тебе приходит мейл, мол, слышь, у тебя там то да се. Назывался когда-то ThirdEye.

А то чо мы сидим-то на жопе ровно? Вычислительные мощности классные. Продажи анализируются, Титаник анализируется, а наши же собственные логи - все руками. Что за херня-то.

Имея все это под рукой, а также всякие сводки с гитхаба, можно вполне научно и руководить процессом, и ускорить оный. И кейсы проинтегрировать. Ну насчет кейсов, это у нас в конторе особый случай, в принципе-то все в нашей же базе. Может, с этого и начать.

Короче, что мы мучаемся, если есть компьютеры? Фигня какая-то. 

Извините, тут я немножко под Левенчука сыграл. Нечаянно.

дыбр

Весь день пахал. Дождик льет время от времени, перемежаясь солнышком.

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

Кошка переходит с места на место. Когда солнышко, она на крыше веранды валяется, а когда дождик - у себя в домике.

А так - ну вот 11-ю главу долбил. А 12-я будет еще длиннее, там 550 строк. Устал ужасно.

Понял кое-что насчет языка - когда что употреблять. Каролин написал, она уже подревьюила мои комменты до 10-й главы тоже. Ну и вот. Обсуждаем, как что сказать. Я думаю, почти каждый ее недоуменный вопрос означает, что надо переформулировать. До хрена работы.

К семи закончил. Походил по дому, типа размялся; посуду мыть мне не разрешили, пошел французский делать. Ну вот сделал.

Сейчас сил хватает только кино смотреть. E voi bambini, più energia, più energia, dai, dai! - это подруга итальянский долбит. Мы что-то поменяли уже планы, никакой Хорватии. Nous allons en France, et puis, e più, andiamo in bella Italia. Во Франции я буду толмачом, а в Италии она (хотя чо там учить-то, итальяно веро).