Swift_podlotka

Podlodka Podcast

Tech

Если вы когда-нибудь задавались вопросом “А кто тестит мои тесты?”, то этот выпуск точно для вас. Мы дружно пытаем нашего гостя, Алексея Денисова, на тему того, что такое мутационное тестирование, и пытаемся придумать, как его встроить в процесс разработки софта. Ну и, конечно, обсуждаем Mull - инструмент для создания и расстрела мутантов для LLVM.

Содержание:
- 00:00 - Приветствие
- 00:58 - Знакомство с гостем этого выпуска, Алексеем Денисовым
- 06:10 - Про Code Coverage
- 21:35 - Что такое мутационное тестирование
- 39:10 - Длительность мутационного тестирования
- 43:00 - Оптимизация мутационного тестирования
- 47:30 - LLVM
- 49:38 - Использование Mull в iOS разработке
- 59:18 - Continuous Mutation Testing
- 01:05:14 - Планы развития Mull
- 1:14:00 - Последние новости: Android O, Apple Clips.
- 1:24:55 - Ответы на вопросы слушателей из нашего чата: про софт, который используют ведущие, и снова про карьерную лестницу.

Полезные ссылки:
- Блог Алексея Денисова
  https://lowlevelbits.org 
- Доклад про мутационное тестирование на FOSDEM
  https://www.youtube.com/watch?v=YEgiyiICkpQ 
- Репозиторий Mull
  https://github.com/mull-project/mull 
- LLVM-based Mutation Testing System. Request For Comments
  http://lowlevelbits.org/llvm-based-mutation-testing-system/ 
- Новая версия Android O
  https://tproger.ru/news/android-o-developer-preview/ 
- Приложение Apple Clips
  http://www.apple.com/clips/

Podlodka #4 - Мутационное тестирование

Очередной разговорный выпуск – такие мы планируем записывать каждый месяц. В этот раз мы позвали Александра Зимина, который поведал нам о своих карьерных планах, а заодно поучаствовал в обсуждении нескольких актуальных тем: DISCOVER, JIT-компиляцию для Swift, CoreML и конференцию ADDC.

Поддержи лучший подкаст про мобильную разработку:
www.patreon.com/podlodka 

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях! 
Telegram-чат: t.me/podlodka 
Страница в Facebook: www.facebook.com/podlodkacast/ 
Twitter-аккаунт: twitter.com/PodlodkaPodcast 

Содержание и ссылки:
- 00:00:21 - Представляем гостя
- 00:01:40 - Саша рассказывает про планы
- 00:06:47 - DISCOVER, just another architecture? - http://tech.gotinder.com/the-new-swipe-right-with-swift/
- 00:35:45 - Процесс тестирования в Badoo - https://habrahabr.ru/company/badoo/blog/334034/
- 00:56:40 - JIT компиляция для server-side Swift - https://lists.swift.org/pipermail/swift-evolution/Week-of-Mon-20170710/037970.html
- 01:14:20 - Немного про CoreML - https://goo.gl/b6RWVx
- 01:30:47 - ADDC'17 - https://www.youtube.com/playlist?list=PLwR4QwnnbBuJbeU_7CTBzUQn9Z3C05Q_m

Podlodka #19 – DISCOVER, JIT-компиляция для Swift, CoreML и конференция ADDC

В последнее время в сообществе разработчиков все чаще упоминаются некие "дизайн-системы". С тем, что это такое и как это применимо к мобильному миру, нам помог разобраться Александр Зимин - iOS-разработчик из Badoo!

Поддержи лучший подкаст про мобильную разработку:
www.patreon.com/podlodka

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях! 
Telegram-чат: t.me/podlodka 
Telegram-канал: t.me/podlodkanews 
Страница в Facebook: www.facebook.com/podlodkacast/ 
Twitter-аккаунт: twitter.com/PodlodkaPodcast

Содержание:
- 00:01:05 - Знакомство с гостем
- 00:03:11 - Что такое дизайн-системы
- 00:17:30 - Зачем нужны дизайн-системы
- 00:35:25 - Стадии эволюции дизайн-систем в компании
- 00:54:52 - Нужна ли вам своя дизайн-система
- 01:00:38 - Atomic-дизайн
- 01:12:35 - Опыт существующих дизайн-систем

Полезные ссылки:

 - Nathan Curtis и его статьи на Medium. Человек который больше всех рассуждает на тему современных дизайн-статей
 https://medium.com/@nathanacurtis

- Polaris от Shopify, один из лучших примеров дизайн-систем
https://polaris.shopify.com

- Дизайн-система от Airbnb, пример того, как мыслить инновационно
https://airbnb.design/building-a-visual-language/

- QA сессия с дизайнером из Airbnb, который был вовлечен в процесс созаданиях из дизайн-системы
https://www.designernews.co/stories/69628--ama-karri-saarinen-designer-creating-design-systems-at-airbnb

- Небольшая книга про Atomic Design
http://atomicdesign.bradfrost.com 

- Badoo Mobile Web Styleguide, то что было до дизайн-системы Cosmos
https://m.badoo.com/styleguide/ 

- Слайды про то как мы пришли к нашей дизайн-системе Cosmos
https://speakerdeck.com/didoo/from-zero-to-cosmos

- Обзор книги Systemantics от нашего MW разработчика. Книга описывает системы, их свойства и предназначения.
https://medium.com/@didoo/systemantics-a778c4247cbb

- Вот так бы выглядит дизайн-система фрилансера, на мой взгляд
https://blog.prototypr.io/design-system-ac88c6740f53

- Идеи уникального языка для описания стилей
https://medium.com/seek-blog/a-unified-styling-language-d0c208de2660 

- Конференция про дизайн системы. Есть видео с выступлений 2016 года
https://www.clarityconf.com 

- 1970 New York City Transit Authority Graphics Standards Manual, можно фотки посмотреть
https://standardsmanual.com/products/nyctacompactedition

Podlodka #42 - Дизайн-системы

Podlodka #44 – Функциональное программирование

Мы используем его принципы каждый день, но можем даже об этом не подозревать. Мы можем отвергать его, но в то же время использовать его лучшие подходы. Функциональное программирование шагает по планете и уже во всю стучится в уютный мирок мобильных разработчиков, а значит будем про это говорить! В гостях у нас практикующий Haskell-программист, сооснователь сообщества ruHaskell - Денис Шевченко.

Поддержи лучший подкаст про мобильную разработку:
www.patreon.com/podlodka 

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях! 
Telegram-чат: https://t.me/podlodka  
Telegram-канал: https://t.me/podlodkanews 
Страница в Facebook: www.facebook.com/podlodkacast/ 
Twitter-аккаунт: https://twitter.com/PodlodkaPodcast  

Содержание:
- 00:01:00 - Знакомство с гостем
- 00:01:46 - История ФП
- 00:05:18 - Математика - простейший ЯП
- 00:07:50 - Основная идея
- 00:16:28 - Сложность входа
- 00:24:10 - ФП стоит на плечах математики
- 00:31:50 - Идея типизации
- 00:50:30 - Организация кода
- 01:01:37 - Дебаг
- 01:16:02 - Проблемы ленивого вычисления
- 01:26:35 - Войти в ФП
- 01:52:05 - Особенности поиска работы
- 02:15:29 - Подводим черту

Полезные ссылки:
- Сообщество ruHaskell
https://ruhaskell.org/ 
- Книга для самых маленьких
https://www.ohaskell.guide/
- Haskell-проект Cardano
https://www.cardanohub.org
- То самое видео про булы, инты и историю ФП
https://www.youtube.com/watch?v=XrNdvWqxBvA
- List of companies using Haskell
https://gist.github.com/sigrlami/769f5e6674adbd399f00
- Поиск ФП-работы
FunctionalWorks
- Учебный веб-проектик для диабетиков
https://github.com/denisshevchenko/breadu.info
https://breadu.info/
- Презентация о скриптах на Haskell
https://www.youtube.com/watch?v=WWz1VE94bAM
- Haskell is Not For Production and Other Tales
https://youtu.be/mlTO510zO78
- Functional Programming and Modern DevOps
https://www.youtube.com/watch?v=ybSBCVhVWs8
- THE DOWNFALL OF IMPERATIVE PROGRAMMING
https://www.fpcomplete.com/blog/2012/04/the-downfall-of-imperative-programming
- Category Theory for Programmers
https://github.com/hmemcpy/milewski-ctfp-pdf
- The Joy and Agony of Haskell in Production
http://www.stephendiehl.com/posts/production.html

Podlodka #44 – Функциональное программирование

Выпуск-разоблачение парадигмы protocol-oriented programming. Андрей Мишанин, инженер из Facebook, рассказывает, как Apple популяризовала гораздо более старую концепцию обобщенного программирования под не самым удачным новым именем. Много экскурсов в историю с разбором процедурного и объектно-ориентированного программирования, практических примеров работы с POP, сравнения Swift и C++ и обсуждений полиморфизма. Ну и, конечно, очень глубоко закопали наследование.

Поддержи лучший подкаст про мобильную разработку:
www.patreon.com/podlodka 

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях! 
Telegram-чат: https://t.me/podlodka  
Telegram-канал: https://t.me/podlodkanews 
Страница в Facebook: www.facebook.com/podlodkacast/ 
Twitter-аккаунт: https://twitter.com/PodlodkaPodcast  

Содержание:
- 00:00:40 - Знакомство с гостем
- 00:01:47 - Актуальность темы
- 00:03:08 - Процедурное программирование
- 00:07:30 - Объектно-ориентированное программирование
- 00:11:55 - Схожесть функционального и объектно-ориентированного программирования
- 00:14:38 - Полиморфизм
- 00:20:40 - Принцип единственной ответственности
- 00:28:46 - Наследование
- 00:35:50 - Недостатки ООП
- 00:50:00 - Откуда пошел Protocol-Oriented Programming
- 00:57:20 - Swift vs C++
- 01:02:00 - Суть обобщенного программирования
- 01:08:00 - Zero-cost abstraction
- 01:14:02 - Протоколы в Swift
- 01:19:20 - Protocol extensions
- 01:25:25 - Разбираемся с обобщенным программированием
- 01:41:15 - Парсинг JSON
- 02:04:15 - Книги и статьи по теме
- 02:08:50 - Подведение черты

Полезные ссылки:
- Сессия про Protocol-Oriented Programming на WWDC
  https://developer.apple.com/videos/play/wwdc2015/408/ 
- Comparing POP to OOP
  https://forums.swift.org/t/comparing-pop-to-oop/1438/12 
- swift-users Digest, Vol 3, Issue 15
  https://forums.swift.org/t/swift-users-digest-vol-3-issue-15/1442 
- Better Code: Runtime Polymorphism
  https://www.youtube.com/watch?v=QGcVXgEVMJg 
- An Extended Comparative Study of Language Support for Generic Programming
  http://www.osl.iu.edu/publications/prints/2005/garcia05:_extended_comparing05.pdf 
- Stepanov Interview
  http://stlport.org/resources/StepanovUSA.html 
- Lazy MapReduce
  https://godbolt.org/g/iCRhES 
- Sorting Nibbles in Swift
  https://airspeedvelocity.net/2015/03/08/sorting-nibbles-in-swift/comment-page-1/ 
- From Mathematics to Generic Programming 
  http://www.informit.com/store/from-mathematics-to-generic-programming-9780321942043 
- Elements of Programming
  https://www.amazon.com/Elements-Programming-Alexander-Stepanov/dp/032163537X 
- C++ Templates - The Complete Guide
  https://www.amazon.co.uk/Templates-Complete-Guide-David-Vandevoorde/dp/0321714121/ref=sr_1_1?ie=UTF8&qid=1518904677&sr=8-1&keywords=C%2B%2B+Templates+-+The+Complete+Guide 
- Advanced Swift
  https://www.objc.io/books/advanced-swift/ 
- Optimizing Collections
  https://www.objc.io/books/optimizing-collections/

Podlodka #47 – Protocol-Oriented Programming

В современном мире технологии меняются с все нарастающей скоростью, и, чтобы не терять собственную актуальность, нам всем необходимо учиться. Эту важнейшую тему мы обсудили с руководителем евангелистов Microsoft Александром Ложечкиным.

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

Поддержи лучший подкаст про мобильную разработку:
www.patreon.com/podlodka 

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях! 
Telegram-чат: https://t.me/podlodka  
Telegram-канал: https://t.me/podlodkanews 
Страница в Facebook: www.facebook.com/podlodkacast/ 
Twitter-аккаунт: https://twitter.com/PodlodkaPodcast  

Блог гостя: http://medium.com/@allo 

Список литературы:
Вилейанур Рамачандран, “Мозг рассказывает. Что делает нас людьми” (https://www.ozon.ru/context/detail/id/31438879/)
Даниэль Канеман, “Думай медленно… Решай быстро” (https://www.litres.ru/daniel-kaneman/dumay-medlenno-reshay-bystro/)
Генрих Альтшуллер, “Найти идею. Введение в ТРИЗ – теорию решения изобретательских задач” (https://www.litres.ru/genrih-altshuller-2/nayti-ideu-vvedenie-v-triz-teoriu-resheniya-izobretatelskih-zadach/)
Саймон Сингх, “Великая теорема Ферма” (https://www.ozon.ru/context/detail/id/120691) 
Юваль Ной Харари, “Sapiens. Краткая история человечества” (https://www.litres.ru/uval-noy-harari/sapiens-kratkaya-istoriya-chelovechestva/)
Курс: Learn how to learn https://ru.coursera.org/learn/learning-how-to-learn

Podlodka #76 – Обучение

Покоряем новые глубины мобильной разработки и опускаемся на уровень системного программирования! Федор Цымбал из MERA рассказал нам о том, как производятся Android устройства и прошивки для них, как Project Treble должен спасти мир и в чем романтика системного программирования. 

Поддержи лучший подкаст про разработку:
www.patreon.com/podlodka

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях! 
Telegram-чат: t.me/podlodka 
Telegram-канал: t.me/podlodkanews 
Страница в Facebook: www.facebook.com/podlodkacast/ 
Twitter-аккаунт: twitter.com/PodlodkaPodcast

Содержание:
00:00:32 - Знакомство с гостем
00:05:15 - Кто вовлечен в разработку устройства на Android
00:10:31 - Структура операционной системы Android
00:23:00 - Как проходит сертификация устройств
00:38:17 - Как создать свое устройство на базе Android
00:58:20 - Подробнее о Project Treble
01:19:00 - Этапы работы над прошивкой
01:37:00 - Основные радости и сложности работы системного программиста
01:43:00 - Подводим черту

Podlodka #86 – Системное программирование

На первый взгляд может показаться, что типы в программировании – это просто и понятно. Во многих случаях это действительно так. Но что, если копнуть глубже? Можно ли добиться высокого уровня корректности и безопасности кода за счет типов еще на этапе компиляции? Этот вопрос, а также многие другие, связанные с типами в программировании, мы обсудили с Денисом Редозубовым, техническим директором typeable.io и продакшен-хаскеллистом с большим стажем.

Поддержи лучший подкаст про мобильную разработку:
www.patreon.com/podlodka 

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях! 
Telegram-чат: https://t.me/podlodka  
Telegram-канал: https://t.me/podlodkanews 
Страница в Facebook: www.facebook.com/podlodkacast/ 
Twitter-аккаунт: https://twitter.com/PodlodkaPodcast  

Полезные ссылки:
– Книга Types And Programming Languages 
https://www.cis.upenn.edu/~bcpierce/tapl/
– Книга Advanced Topics in Types and Programming Languages
https://www.amazon.com/Advanced-Topics-Types-Programming-Languages/dp/0262162288
– Книга Learn You a Haskell for Great Good 
http://learnyouahaskell.com
– Документация по языку Rust 
https://doc.rust-lang.org/book/
– Доказательство теоремы о четырех красках
https://www.ams.org/notices/200811/tx081101382p.pdf
– Доклад «Is a type a lifebuoy or a lamp"
https://skillsmatter.com/skillscasts/8893-is-a-type-a-lifebuoy-or-a-lamp

Podlodka #97 – Системы типов

Этот выпуск наверняка перевернет ваше представление о Канбане, да и вообще о гибких методологиях. Благодарности за столь мощный выпуск отправляются к Алексею Пименову. За два часа мы не только разобрались, что Kanban это не только доска в Jira, но и в деталях прошлись как его можно применять, какие есть ограничения, а также где ему учат.

Поддержи лучший подкаст про мобильную разработку:
 [www.patreon.com/podlodka](http://www.patreon.com/podlodka)  

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях!

Telegram-чат: https://t.me/podlodka
Telegram-канал: https://t.me/podlodkanews
Страница в Facebook: http://www.facebook.com/podlodkacast/ 
Twitter-аккаунт:  https://twitter.com/PodlodkaPodcast 

Полезные ссылки:
https://edu.leankanban.com/
Канбан. Альтернативный путь в Agile: https://www.litres.ru/devid-anderson/kanban-alternativnyy-put-v-agile/
Kanban from the Inside: https://www.amazon.com/Kanban-Inside-Understand-connect-introduce/dp/0985305193
Fit for Purpose: https://www.amazon.com/Fit-Purpose-Businesses-Satisfy-Customers/dp/0985305118
Kanban Maturity Model: https://www.amazon.com/Kanban-Maturity-Model-Fit-Purpose/dp/0985305150
Practical Kanban: https://www.amazon.com/Practical-Kanban-Focus-Creating-Value-ebook/dp/B077RZ2JNS

Podlodka #98 – Kanban

Podlodka #102 – Многопоточность

Многие её побаиваются, и не исключено, что кто-то из-за неё даже заваливал собеседования на особо каверзных вопросах. Многопоточность! Что это такое, и с чего все началось? Чем отличаются concurrency и параллелизм, как это все работает? Об этом всём мы поговорили с человеком, чья работа (помимо всего прочего) – проектировать механизм корутин в языке Kotlin. У нас в гостях Роман Елизаров из JetBrains.

Поддержи лучший подкаст про мобильную разработку:
www.patreon.com/podlodka

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях! 
Telegram-чат: t.me/podlodka 
Telegram-канал: t.me/podlodkanews 
Страница в Facebook: www.facebook.com/podlodkacast/ 
Twitter-аккаунт: twitter.com/PodlodkaPodcast

Полезные ссылки:
– HJ Boehn “Threads cannot be implemented as a library”
http://www.hpl.hp.com/techreports/2004/HPL-2004-209.pdf
– R. Elizarov “What is shared access to mutable state” 
https://proandroiddev.com/what-is-concurrent-access-to-mutable-state-f386e5cb8292
– B. Goetz “Java Concurrency in Practice” 
https://www.amazon.com/Java-Concurrency-Practice-Brian-Goetz/dp/0321349601
– JLS Chapter 17 (Java Memory Model) 
https://docs.oracle.com/javase/specs/jls/se7/html/jls-17.html
– M. Herlihy & N. Shavit “Art of Multiprocessor programming” 
https://www.amazon.com/Art-Multiprocessor-Programming-Revised-Reprint/dp/0123973376

Podlodka #102 – Многопоточность

Podlodka – это еженедельное аудио-шоу про IT и все, что с ним связано. Формат наших выпусков - это полное погружение в тему вместе с приглашенным гостем. В каждый выпуск мы зовём интересных и именитых профессионалов в разных областях.

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

Подкаст Подлодка ведут четверо весёлых и опытных инженеров с примесями менеджеров:
- Егор Толстой — руководил командами разработки в Rambler&Co и Avito.
- Катя Петрова — руководила командой дизайн-системы в Авито.
- Евгений Кателла — руководил отделом Android в Rambler&Co и мобильным направлением в Яндекс Еде.
- Стас Цыганов — руководил мобильными командами в Туту.ру. Автор книги VIPER и роадмапа тимлида.
- Анна Симонова — джедай организации митапов, конференций, и развития сообществ. 
- Андрей Смирнов — руководил отделами разработки в X5 Tech, IPONWEB и Rambler&Co