Как я ездил на финал конкурса «Цифровой прорыв»

Автор: admin от 8-10-2019, 23:25, посмотрело: 23

Хочу поделиться впечатлением от всероссийского конкурса «Цифровой прорыв». После него у меня остались в целом очень хорошие впечатления (без всякой иронии), это был мой первый хакатон в жизни и думаю, что последний. Мне было интересно попробовать, что это такое — попробовал — не моё. Но, обо всём по порядку.



Примерно в конце апреля 2019 я увидел рекламу конкурса для программистов «Цифровой прорыв». Структура конкурса — четверть финал, это заочное онлайн тестирование, полуфинал, это очный региональный этап в формате хакатона на 36 часов, затем очный финал 48 часовой хакатон. Первый этап — онлайн тестирование. Там было 50 разных тематик, ознакомиться можно на сайте проекта.

Категория: Программирование

 

Сайзинг Elasticsearch

Автор: admin от 8-10-2019, 22:05, посмотрело: 17

Сайзинг Elasticsearch


— How big a cluster do I need?

— Well, it depends… (злобное хихиканье)


Elasticsearch — сердце Elastic Stack, в котором происходит вся магия с документами: выдача, приём, обработка и хранение. От правильного количества нод и архитектуры решения зависит его производительность. И цена, кстати, тоже, если ваша подписка Gold или Platinum.



Основные характеристики аппаратного обеспечения — это диск (storage), память (memory), процессоры (compute) и сеть (network). Каждый из этих компонентов в ответе за действие, которое Elasticsearch выполняет над документами, это, соответственно, хранение, чтение, вычисления и приём/передача. Поговорим об общих принципах сайзинга и раскроем то самое «it depends». А в конце статьи ссылки на вебинары и статьи по теме. Поехали!

Категория: iOS

 

Внедряем Sign in with Apple в свое iOS приложение

Автор: admin от 8-10-2019, 22:05, посмотрело: 65

На WWDC 2019 Apple в очередной раз нарушила покой iOS разработчиков — представила новую систему авторизации пользователей Sign in with Apple. Теперь все iOS приложения, которые используют сторонние системы авторизации (Facebook, Twitter, etc.), должны в обязательном порядке реализовать Sign in with Apple, иначе выгонят из AppStore. Мы решили не испытывать судьбу и побежали внедрять эту фичу. Как именно мы это сделали — узнаете под катом.

Категория: Apple, iOS

 

Arend – язык с зависимыми типами, основанный на HoTT (часть 2)

Автор: admin от 8-10-2019, 21:35, посмотрело: 53

В первой части статьи про язык Arend мы рассматривали простейшие индуктивные типы, рекурсивные функции, классы и множества.



2. Сортировка списков в Arend



2.1 Упорядоченные списки в Arend



Определим тип упорядоченных списков как пару, состоящую из списка и доказательства его упорядоченности. Как мы уже говорили, в Arend зависимые пары определяются при помощи ключевого слова Sigma. Определение типа Sorted дадим через сопоставление с образцом, вдохновившись определением из уже упомянутой статьи про упорядоченные списки.



func SortedList (O : LinearOrder.Dec) => Sigma (l : List O) (Sorted l)



data Sorted {A : LinearOrder.Dec} (xs : List A) : Prop elim xs

 | nil => nilSorted

 | :-: x nil => singletonSorted

 | :-: x1 (:-: x2 xs) => consSorted ((x1 = x2) || (x1 < x2)) (Sorted (x2 :-: xs))




Обратите внимание: Arend сумел автоматически вывести, что тип Sorted содержится во вселенной Prop. Это произошло потому, что все три образца в определении Sorted являются взаимно исключающими, а конструктор consSorted имеет два параметра, оба из которых принадлежат Prop.

Докажем какое-нибудь очевидное свойство предиката Sorted, скажем, что хвост упорядоченного списка сам является упорядоченным списком (это свойство пригодится нам в дальнейшем).

Категория: Программирование

 

Что показывает вольтметр или математика розетки

Автор: admin от 8-10-2019, 19:10, посмотрело: 113

Что показывает вольтметр или математика розетки


О чем эта статья



Сегодня я ненадолго отступлю от своей обычной темы о визуальном программировании контроллеров и обращусь к теме измерений напряжения прямо в ней, в розетке!



Родилась эта статья из дискуссий за чаем, когда разразился спор среди «всезнающих и всеведающих» программистов о том, чего многие из них не понимают, а именно: как измеряется напряжение в розетке, что показывает вольтметр переменного напряжения, чем отличается пиковое и действующие значения напряжений.



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



В статье рассказано о том, какие напряжения есть в сети переменного тока, как их измеряют и о том, что следует помнить при проектировании электронных схем.

Всему дано краткое и упрощённое математическое обоснование, чтобы было ясно не только «как», но и «почему».



Кому не интересно читать про интегралы, ГОСТы и фазы — могут сразу переходить к заключению.

Категория: Веб-разработка

 

Шоу дронов: взгляд изнутри

Автор: admin от 8-10-2019, 15:25, посмотрело: 24

Шоу дронов: взгляд изнутри


Сколько еще будет найдено применений дронов? Все привыкли, что квадрокоптер должен быть обязательно с камерой и что-нибудь снимать, но разработчики из Intel показали нам новые области применения. Речь идет о световых шоу, построенных с помощью большого количества дронов, когда каждый дрон — это светящаяся точка и вместе эти точки образуют трехмерные фигуры в ночном небе. Компании, предоставляющие такие услуги, появляются с удивительной скоростью. Спроса на рынке больше, чем предложения. Так что же нужно, чтобы запустить в воздух сотни дронов? Задача нетривиальная и очень интересная, поэтому, как участник зарождающегося направления, хочу поделиться впечатлениями от того, что есть на текущий момент и раскрыть тонкости этой индустрии.

Категория: Apple

 

Добавляем Sign in with Apple на back-end

Автор: admin от 8-10-2019, 15:25, посмотрело: 19

На WWDC 2019 Apple представила новую систему авторизации пользователей — Sign in with Apple. Возникла задача интегрировать её в наш back-end и синхронизировать её с уже существующими методами авторизации при помощи email, Google и Facebook. За задачу взялся наш коллега kurenkoff, он и является автором данной статьи. Заинтересовавшихся просим под кат.

Категория: Apple

 

Ускоряемся в Figma. Нужно больше плагинов

Автор: admin от 8-10-2019, 15:20, посмотрело: 33

Ускоряемся в Figma. Нужно больше плагинов


Несколько месяцев назад в фигме появились плагины. Это большой шаг для исследования и развития продукта в будущем. Надеюсь, лучшие войдут в базовый функционал фигмы, и это будет здорово.



За несколько месяцев использования удалось пощупать сервис и оценить, насколько это удобно и полезно. Количество плагинов растёт с каждым днём — уже не успеваем просматривать новые и следить за обновлениям, а это не может не радовать.

Категория: Android

 

GridmiAPI — простая и гибкая библиотека Android для работы с REST&RPC

Автор: admin от 8-10-2019, 15:20, посмотрело: 20

Здравствуйте, хабровчане!



Когда занимаешься разработкой сетевых приложений под платформу Android, понимаешь, что одно и другое приложение похоже друг на друга. С этой мыслью у большинства разработчиков инициализируется и другая мысль — «Почему бы мне не использовать какие-либо готовые решения, ведь явно моя задача не нова?». С этого момента начинается поиск подходящих библиотек для решения актуального на сей момент вопроса. По истечению некоторого времени — профит. Казалось бы всё хорошо, ведь библиотека найдена и осталась только написать реализацию решения текущего вопроса. И тут начинаются проблемы. Связаны они с управлением потоков, да и вообще Java никогда не славилась своей компактностью, все «волшебство» должно быть реализовано непосредственно разработчиком. Порой я нахожу в этом только положительные стороны, ведь логика каждого проекта отличается друг от друга кардинально. Вам постоянно приходится переключатся с потока на поток, что не очень удобно и как описывалось ранее — получается громоздко. Решение данной проблемы было реализовано и ранее, но не столь компактно, как хотелось бы. На помощь приходит библиотека для работы с HTTP — GridmiAPI. Это максимально компактное решение, которое в свою очередь позволяет оперировать данными в реальном времени.

Категория: Android

 

Подготовка к Spring Professional Certification. Вопросы по Spring MVC

Автор: admin от 8-10-2019, 15:20, посмотрело: 32

Приветствую всех.



Это уже 5 статья из цикла статей для подготовки с Spring Professional Certification.



На Хабре она выходит второй, после части 1.





Напомню, что эти статьи — это ответы на вопросы из официального гида от Pivotal для подготовки к сертификации.



Подготовка к Spring Professional Certification. Вопросы по Spring MVC

Категория: Веб-разработка

 
Назад Вперед