Перед нет, а в процессе разработки сравнивали, хотя целесообразность вызывает вопросы. Более детально архитектуру и результаты тестирования планируем во второй части опубликовать
Escher C не рассматривали, наверняка, в нем можно много интересного найти. Но что касается Си, то не хотелось идти путем MISRA и определять для себя «хороший С» и «не очень хороший С» — по ощущениям, такие игры уведут нас в другом направлении. FramaC среди себя обозвали прототипом, потому что это, скорее, конструктор для построения собственного верификатора, а к такому трудовому подвигу готовы не были
Да, спасибо, планировал во второй части уточнить. КТ-178С не читал, а вот DO-178C, а точнее, DO-178B, не определяет, а, скорее, рекомендует. Конечно, для квадрокоптера-игрушки рассматривать квалификацию по этим гайдлайнам можно разве что из любви к искусству
Не замеряли качество своего шедулинга задач: насколько эффективно используется оборудование, может, целевая метрика есть какая-то? У Ali cloud есть интересные статьи про их системы планирования пакетных заданий
Очень лукавый диалог: опровержение антитезисов, которые сам вбрасываешь.
Самая большая проблема Serverless в том, что не существует сложившихся практик по управлению ответственностью за части и функции систем в serverless-парадигме. Ответственность за функции становится размазана по всей кодовой базе, и все отвечают за все
Красиво. Работал без разрешения из Тая, попользовался gms, чтобы устроиться в Револют и через полгода спрыгнул оттуда, получил обходным путем бизнес-визу в Сингапур.
известный в мобильной тусовке подкастер и спикер на конференциях
Спасибо, буду знать, как называются такие люди
Вы немного забыли, что тут ситуация несимметричная: разработка в 90% компаний такой же обслуживающий персонал экономики предприятия, как уборщица или, там, токарь. Экономика и менеджмент могут сколько угодно не знать язык программистов и быть деспотами и самодурами, а на мороз без премий пойдет программист, а не наоборот
Вы передергиваете. Сначала вы просили показать, где код, сгенерированный Котлином, хуже, и я его показал. Вы заключаете далее — да ничего страшного, никого не волнует чуть больший размер кода. Если это так, зачем просить приводить примеры, если вам это изначально неважно? Ок, давайте согласимся, что это неважно, но я не спорил с тем, что это вам неважно, а с тем, что код генерируется принципиально хуже. Игнорировать или нет выбор каждого, я его не навязываю.
Сертификация систем под требования ФСТЭК, ФСБ, ЦБ, you name it анализирует не только байткод, а исходные коды системы. На Java это сделать можно, на Котлин — большой вопрос, кажется нет, то есть вопрос принципиально не проходим.
Средства — возьмите любые, которые требуют процедуры DevSecOps для аттестация ФСТЭК, ФСБ РФ, PCI DSS. То, что какие-то инструменты появляются для Котлина, это хорошо, но для Java их намного больше, сложно с этим спорить.
Или возьмем due dilligence, раз речь идет о стартапе. Знаю компанию на слуху (и вы скорее всего их знаете), где ребят очень сильно «побрили» за то, что у них Vue (малораспространенный и рискованный выбор технологии)
У JDK в мантейнерах RedHat (и сам IBM), VMWare, Oracle, которые на Java разрабатывают, у Котлина — одна небольшая компания, которая сама не особо много чего написала на Котлине
Про безопасность — я про средства анализа программ, про допуски котлина под аттестации/сертификации и т.д. Liberica JDK есть, а вот компилятор Котлина туда не входит
Котлин уступает и в скорости компиляции, и в качестве генерируемого кода, и в перспективах поддержки компилятора, и в любых историях, как-то связанных с информационной безопасностью
Пожалуй, одна из худших книг по программированию — противоречивая, субъективная, полная неочевидных толкований, с каждой новой редакторской версией автор сам исправляет себя, меняя мнение на противоположное. Ни в коем случае нельзя рекомендовать ее разработчикам, особенно начинающим
Самая большая проблема Serverless в том, что не существует сложившихся практик по управлению ответственностью за части и функции систем в serverless-парадигме. Ответственность за функции становится размазана по всей кодовой базе, и все отвечают за все
известный в мобильной тусовке подкастер и спикер на конференциях
Спасибо, буду знать, как называются такие люди
— Почему разработчики так много получают?
— За трудную работу: работа ведь гораздо сложнее, когда ты не знаешь, что и как делаешь
В яндексе изобрели оркестратор микросервисов. Что скажете насчет Netflix Conductor? https://netflix.github.io/conductor/
Сертификация систем под требования ФСТЭК, ФСБ, ЦБ, you name it анализирует не только байткод, а исходные коды системы. На Java это сделать можно, на Котлин — большой вопрос, кажется нет, то есть вопрос принципиально не проходим.
Средства — возьмите любые, которые требуют процедуры DevSecOps для аттестация ФСТЭК, ФСБ РФ, PCI DSS. То, что какие-то инструменты появляются для Котлина, это хорошо, но для Java их намного больше, сложно с этим спорить.
Или возьмем due dilligence, раз речь идет о стартапе. Знаю компанию на слуху (и вы скорее всего их знаете), где ребят очень сильно «побрили» за то, что у них Vue (малораспространенный и рискованный выбор технологии)
Про безопасность — я про средства анализа программ, про допуски котлина под аттестации/сертификации и т.д. Liberica JDK есть, а вот компилятор Котлина туда не входит
То, что Мартин прогорел с коммерческой компанией, а книги пишет, чтобы продавать свой консалтинг, это слишком сложные мысли, чтобы их тоже учесть