Dodo Engineering

Я где-то читал о концепции искусственного языка, в котором нельзя допустить логических ошибок. Просто потому что конструкции языка, подлежащие и сказуемые, препятствуют этому. Предложение не будет “компилироваться“. Например, такой язык не позволит построить фразу типа “черное - это белое“. Все логические парадоксы, типа парадокса лжеца в принципе не смогут быть выражены этим языком. На этой простой идее базируется Type Driven Development, когда не тесты, а сами оперируемые типы препятствуют ошибкам в коде. Этот подходи позволяет избежать логических ошибок, но он бессилен против фактологических ошибок.

Мы поболтали с несколькими хорошими людьми о том, каким им видится 2120 год: – Андрей Себрант из Яндекса и TechSparks. – Андрей Коняев из N+1, Образовача и KuJi. – Иван Ямщиков из ABBYY и института Макса Планка. – Александр Ложечкин из Amazon. – Константин Кичинский из Платформа НТИ и ex. Microsoft. – Валерия Курмак из AIC и ex. Сбербанк-Технологий. – Андрей Бреслав из JetBrains и создатель Kotlin. – Григорий Петров из Evrone. – Александр Андронов из Dodo Pizza. Получилась статья про будущее, которое мы заслужили.

Привет, %username%! Не смотри в глаза этой птице! Fuck... Миссия провалена, твоё сознание захвачено, цифровая Dodo-птица следит за тобой. Не сопротивляйся. Иди за ней на сайт! Dodo Information System Version 1.02d © Dodo Pizza, 2019

А вы знали, что некоторые разработчики Dodo Pizza Engineering ведут свои каналы? 1. Dodo Pizza Mobile @dodoMobile: о мобильной разработке в Додо Пицце, попутно про инсайты, например, про хаптики в конце загрузки странички. 2. Site Reliability Олег @sre_oleg: графоманство на рабочие темы, анонсы анонсов и интересные ссылки про надёжность, математику и программирование. 3. DDDevotion @dddevotion: книги, статьи, выступления по теме Domain Driven Design. 4. Of Code & Men @ofcodeandmen: мысли про IT, код и прочие жизненные волнения от философствующего программиста.

В новом выпуске дайджеста «Разработчик и фудтех» зашит бонусный тест на восприятие реальности.

Снова иностранцы пишут о Dodo Pizza! Так и зардеться недолго! Публикации в зарубежных медиа по-прежнему вызывают у нас волнительную дрожь в коленках, гордость за компанию и наш продукт. Плюс такие ачивки очень круто помогают понять/принять, что мы становимся заметными в международном масштабе, и этот процесс уже не остановить. Sifted, Bloomberg... Скрестили пальцы, чтобы в следующий раз о нас рассказали на TechCrunch.

Нас часто спрашивают, зачем Dodo Pizza более 100 программистов? Ядро нашего бизнеса - Dodo IS, собственная информационная система в виде веб-сайта. Мы создаем ее с самого первого дня работы первой пиццерии в Сыктывкаре. За 8 лет Dodo IS превратилась в большую ERP систему, которая обеспечивает работу 553 пиццерий в 13 странах. Dodo IS далеко не идеальна, но она работает и каждую неделю становится лучше. И мы будем продолжать инвестировать в нашу систему, ведь на ее основе мы строим международную сеть и цифровую франчайзинговую платформу в розничном бизнесе. Каждый год проводим опрос пользователей о системе - так круто, что результаты становится все лучше и лучше. https://docs.google.com/presentation/d/1JogOgg0O4x9BsaPzXjTe06jPMpRolD-ALKAANAzh2vg/edit?usp=sharing

У кого есть лишний декабрь? 1 декабря стартанёт предрождественский челендж по решению алгоритмических задачек Advent of Code. Мы вписались в эту авантюру и призываем поучаствовать всех, у кого решения полным перебором вызывают физическую боль. Что за челендж? Ограниченный набор задачек в едином сеттинге ожидания Рождества (все задачки с забавным сюжетом, обычно нужно помочь Санта Клаусу, чтобы праздник таки состоялся) с нарастающей сложностью. Как это работает? Каждый день открывается по 1 задаче, состоящей из двух частей (вторая часть – допограничение на условие первой части). Всё заканчивается 25 декабря, т.е. всего задач 50 (25 дней * 2 части). Зачем всё это нужно? Для фана! Плюс есть мысль сделать публичный разбор самых интересных задачек. В прошлом году мы уже игрались в это дело. Причём никто из наших не решал задачи на C#, все развлекались на других языках, а особо упоротые, делали это даже на F#, который нонче на волне хайпа. Короче говоря, если вам тоже интересно – пишите в комментариях и присоединяйтесь.

Робот-курьер vs зима. Автономные роботы-курьеры научились доставлять там, где тёпло и сухо (во всяких Калифорниях). Система лидаров и спецколеса помогают им справиться с бордюрами, ямами, пешеходами и собаками. Но что будет, если вдруг выпадет снег? Представьте: зима, метель, видимость стремится к нулю, вакханалия льда, воды и снега под ногами, не каждый человек справится с таким испытанием, что уж говорить про робота. Но! Компания Refraction AI занялась этим вопросом и создала трехколёсного робота REV-1, который чисто теоретически справится. Создатели отказались от лидарных систем, заменив их на более дешевые камеры, а также ультразвуковые и радиолокационные датчики. С их помощью робот сможет ориентироваться по силуэтам машин и зданий, если дорогу совсем занесёт. При этом основная фича, за счёт которой REV-1 справляется с плохой погодой, – это просто толстые велосипедные шины, которые обеспечивают хорошую проходимость по снегу. На видео полевые испытания. Думаете, робот сможет заехать в горку?

5 кругов ада кода по наследству. Каждый разработчик хоть раз в жизни получал в наследство чужой код. Открываешь его обычно с шальной надеждой: «Сейчас запущу, а он бриллиантовый, править ничего не надо, и всё работает!». Но в жизни чаще получается вот так: продираешься три дня и три ночи сквозь чей-то код, плохо и наспех написанный за день, решаешь всё новые и новые проблемы, материшься, закипаешь, правишь, правишь, правишь. Если бы у кругов ада кода по наследству была типология, она бы выглядела так: Круг 0. «Очевидный»: код не компилируется. Круг 1. «Блокирующий»: код не запускается. Круг 2. «Ужасающий»: код ломает существующий функционал. Круг 3. «Разочаровывающий»: код (внезапно) не выполняет ту работу, ради которой был написан. Круг 4. «Раздражающий»: код не проходит/ломает тесты. А сколько и каких кругов проходили вы?

Любите ли вы данные так же сильно, как мы в Dodo Pizza Engineering? Как настоящие Плюшкины, мы копим всевозможную инфу о работе наших пиццерий: – помним все заказы пользователей; – знаем, сколько времени ушло на изготовление самой первой пиццы в Сыктывкаре; – видим, сколько времени пицца остывает на тепловой полке в Воронеже прямо сейчас; – храним данные по списанию продуктов; – и многое-многое другое. Наша новая статья о том, как накопить все данные мира Dodo Pizza и дать любому сотруднику компании удобный доступ к этому массиву данных. Задача под звёздочкой: сохранить нервы команды Data Engineering.

Недавно наш аналитик Катя Глуховская подумала, что «хочет смеяться пять минут» и стала вспоминать рабочие приколы. Чем больше она смеялась, тем больше понимала, что сущность мемов сложнее, чем кажется. В итоге Катя написала целую статью, ставшую околонаучным изысканием. В ней прекрасно всё: теория и практика в виде самых закостенелых мемов Dodo Pizza Engineering. Наслаждайтесь!

Два месяца подготовки, концепт мобильной игры IT-алхимия, брейнштормы и споры до скрипа зубов за трушные пицца-айтишные элементы, кофе, кофе, море кофе, немного седативных, реджект публикации в AppStore из-за кота, и вот мы на DotNext. На фотке мы вручаем призы победителям игры, всё-таки всё получилось!

Осень – унылая пора, очей очарованье, так и тянет завернуться в огромный мягкий плед с чашечкой чая и шоколадкой, а потом ударить хлеб током! Штааа? Обо всём по порядку в новом выпуске дайджеста Лёши Берёзки. https://youtu.be/oyz10wiL4y4

Вот уже больше 20 лет мы смотрим веб-странички по протоколу HTTP. Большинство пользователей вообще не задумывается о том, что это такое и как оно работает. Другие знают, что где-то под HTTP есть TLS, а под ним TCP, под которым IP и так далее. А третьи – еретики считают, что TCP – это прошлый век, им хочется чего-то более быстрого, надёжного и защищённого. Но в своих попытках изобрести новый идеальный протокол они вернулись к технологиям 80-х годов и пытаются построить на них свой дивный новый мир. Обо всём этом в новой статье Юры Пастушенко в нашем хаброблоге.

Могила, переход c tslint на eslint, женская грудь – всё это и многое другое вы найдёте в нашей новой статье.

Эксклюзивные кадры: разработчик Dodo Pizza Engineering принимает заказ на Пепперони и фондан прямо во время собственного выступления на @FrontendConfChannel и печатает чек на глазах у изумлённой публики. Мы получили видео выступления Бориса, и у нас нет ни одной причины скрывать это видео от вас, ловите!

В эту чудесную солнечную пятницу наша дружная команда просветителей продолжает просвещать. Наверняка вы уже слышали о существовании альтернативного мяса из кузнечиков... А знаете ли вы о том, что мясо нынче выращивают в космосе? Узнать про остальные виды альтернативного мяса вы сможете от нашего разработчика Берёзки% https://youtu.be/GmVKMyFtzN8

Частенько при размышлении о запуске пилота менеджеры начинают усложнять ситуацию, строят дорожные карты и ждут MVP от разработчиков, вместо того чтобы взять и протестировать идею своими силами. В статье вы узнаете про создание сервиса по контролю качества на основе Google-форм, ВК и десятков строчек кода, при которой ни один разработчик не пострадал, только 1 маркетолог. Читать: https://habr.com/ru/company/dodopizzaio/blog/472856/