Все потоки

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

Всем, привет.  Для самых жаждущих и нетерпеливых эта в этой статье будет про:

- Типы анализа, используемые для/около информационных технологий;

- Систему координат типов анализа и для чего использовать каждый из них;

- Специальные артефакты для каждого типа анализа;

- То, как понять, что в компании/процессе/проекте нужно использовать конкретный тип анализа;

- Акценты и навыки, нужные при использовании каждого типа анализа;

Для тех, кому интересно и хочется сложить причинно-следственные связи, проследить нить рассуждений, то давайте это сделаем. Я Иван. Люблю сферу информационных технологий и стремлюсь развиваться в дисциплинах, задействованных для создания информационных продуктов – анализе, проектировании, разработке. Эти дисциплины влияют друг на друга и на конечный результат - создаваемую информационную систему.

Рассуждая, что такое анализ, какой он бывает, какой тип, в каких условиях использовать и какие навыки нужны для того, чтобы его выполнять, я предположил, что будет полезным систематизировать имеющийся опыт и результаты обсуждения с коллегами, слушателями профессиональных программ развития НИУ ВШЭ, МИСИС, интернет университетов. Так появился следующий обзор. Надеюсь, он принесет вам пользу. Рассчитываю на обсуждение. Присоединяйтесь :-)

Статья предполагает, что читатель имеет опыт работы с интерактивным программным средством доказательства теорем — Coq.

Статья является адаптированной русскоязычной версией моей статьи, написанной во время работы над формальной верификацией протокола криптовалюты Tezos.

В данной статье мы рассмотрим прием, который используется для работы с рекурсивными функциями, которые не проходят проверку завершаемости (тотальности) в Coq. Под «горючим» мы будем понимать натуральное число, которое вводится как дополнительный параметр в тело функции, чтобы обозначить верхнюю границу числа итераций, которые функция может совершить. Таким образом функция трансформируется в завершаемую, удобную для работы, и радушно принимаемую компилятором Coq. В литературе термин встречается под названиями: petrol, fuel, gas и т.д.

Положим, перед нами стоит задача: необходимо верифицировать функцию, написанную на каком-либо языке программирования. Мы разбираемся в том, что делает эта функция, уже прикидываем, какие леммы сформулируем, чтобы доказать, что она ведет себя именно так как ожидается. Переводим функцию на Coq (вручную, или с помощью автоматических переводчиков, если только таковые имеются для требуемого языка), и видим, что проверка Coq на завершаемость нашей функции (termination check) провалилась.

Это значит Coq не может определить какой аргумент на каждом шаге итерации будет уменьшаться. Можно попробовать явно указать Coq на аргумент, который, мы точно знаем будет уменьшаться на каждом шаге {struct уменьшаемый_аргумент}:

Давно хотел написать что-нибудь для Хабра и вот этот момент настал.

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

Статья о том, как я сделал электронное переключение для планетарной втулки Rohloff и запитал его, а так же свет и USB зарядку от динамо втулки.

Данная статья посвящена созданию и дальнейшим улучшениям джойстика (Joystick) на Arduino для управления ПК (имитации мыши).

В этой статье предпринята попытка оптимизировать для поисковых систем Яндекс и Google многосерийный черно-белый телевизионный фильм «Семнадцать мгновений весны».  

Цель статьи – определить инвертированный индекс фильм «Семнадцать мгновений весны», а человеческим языком – определить, по каким информационным запросам поисковики могут определить семантическую близость между запросом в нише черно-белых фильмов о работе российских разведчиков в Германии и релевантным ответом.  

С этим штативом НЕОБХОДИМО БЛАГОДАРИТЬ ЗА ПОНИМАНИЕ! Вы удивитесь результатам своих усилий прямо здесь и сейчас. Используя этот несложный принцип, можно получить гарантированный результат с первого раза. Для изготовления штатива нам понадобятся самые простые инструменты и материалы! Мой сосед по даче показал мне вот это и сказал, что это лучшее, чем можно заменить дорогой штатив из магазина. Я сразу подумал – как это здорово! Можно будет делать видео репортажи прямо в саду. И сразу же взялся за дело. Почти час я работал в поте лица. И вот что у меня получилось. Смотрите и учитесь!

Часто для съемки видео возникает необходимость снять видео сверху вниз. Готовые варианты штативов дорогие и не всегда компактные. А можно соорудить своими руками не хуже и бесплатно, воспользовавшись ресурсами близлежащего мусорного бачка. Если нет разницы, зачем платить больше?

Потребуется лишь любая подходящая достаточно толстая металлическая полоска, пара винтиков и сломанный светильник-пантограф. Подробнее о процессе сборки штатива в прикрепленном ролике:

Приветствуем читателей Хабра! Мы, команда дата-сайентистов и дата-аналитиков компании «ДатаЛаб»* (ГК «Автомакон»), продолжаем рассказывать о насущных проблемах ML-разработки, делимся подходами к их решению и рассуждаем на актуальные темы.

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

Сначала было так

С марта 2020-го года и до сих пор вся наша команда работает удалённо. Дистанционный формат усложняет адаптацию новых сотрудников и понимание корпоративной культуры.

К тому же, из-за постоянного потока проектов сложно найти свободного человека в команде, который смог бы выделить день и много часов рассказывать новичку про специфику конкретной должности, отдела и всей студии. Благодаря офису, онбординг получался ситуативным: новичок ходил вместе с командой на обеды, задавал им вопросы, проблем не возникало.

Отсутствие системы адаптации новых сотрудников в первые месяцы после перехода на удаленку никак на работе не сказалось: по сути, было все равно, потому что найм заморозили. А вот в конце 2020-го вдруг оказалось, что людей нанимать нужно, а что с ними делать — не ясно. Новые сотрудники жили в разных городах: и никогда не то, что в офисе, даже в Питере не были.

Привет, я Катя Следзевская, IT рекрутер Альфы, фанат IT и своей работы, стараюсь участвовать во всех активностях и проектах, рефлексировать над тем, что и как работает в нашей сфере. Когда я искала работу 2 года назад, то была наслышана об интересной корпоративной культуре в Альфе, и выбор тогда куда выйти на работу для меня был очевиден.Уже на «месте» мне встретился термин «Альфа ДНК». Он описывает качества, которые и формируют ту культуру, которая меня привлекла. При этом качества не абстрактные, а вполне утилитарные. Чтобы корпоративная культура работала, она не должна быть навязана извне, иначе это мертворожденная история, как с уставом ООО — он как бы есть, но его никто не никогда не читал. Работает ли в этом случае корпкультура Альфы?

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

Эта статья будет полезна для тех, кто работает с форматом PI планирования и проводит командное ретро по итогам квартала.

Каждый раз по завершению PI мы в сегменте проводим ретроспективы и делаем это в два этапа:

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

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

Предлагаю сегодня взглянуть на механику, которую разработал Круг развития Agile команд Ростелекома для проведения командного ретро после PI планирования. Как и любой шаблон, вы можете использовать его без изменений или скорректировать под свою специфику. Для удобства, добавила скрины онлайн доски этого ретро.

План работы:

Открытие

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

Неодимовые магниты сейчас с отрывом самый распространённый тип постоянных магнитов, занимая порядка 95% всего мирового рынка. Правда, они не просто неодимовые — это сплав редкоземельного металла неодима, бора и железа (полная формула Nd2Fe14B).

Появление этой технологии в 80-х годах буквально перевернуло промышленность: начиная от приводов CD-проигрывателей или HDD накопителей, заканчивая серводвигателями, шаговыми двигателями и МРТ аппаратами. В ближайшие несколько лет ожидается, что объём продаж неодимовых магнитов перевалит за 20 млрд долларов в год, во многом за счёт массового перехода на электромобили.

В успехе неодимовых магнитов нет ничего странного: при небольшой стоимости и размере они обладают огромной коэрцитивной силой и остаточной намагниченностью. Кто покупал их в упаковках, знает, что отлепить неодимовые магниты друг от друга — не самая простая задача.

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

Напомним, что ряд налоговых льгот для ИT-компаний был введен Федеральным законом. Он внес изменения в НК РФ, затронув НДС, налог на прибыль и страховые взносы. Эти изменения направлены на поддержку ИТ-отрасли, которая вошла в число наиболее пострадавших от ограничений, связанных с коронавирусной инфекцией. Эти льготы сейчас называют налоговым маневром и первым пакетом мер поддержки.

Привет всем IT-людям!

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

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

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

В соревнованиях по спортивному программированию принимают участие тысячи, если не десятки тысяч разработчиков из разных стран. Проводятся такие соревнования тоже в разных странах, включая Россию. Это не программирование ради программирования, как можно было бы подумать, — соревнования помогают участникам повысить профессиональный уровень, научившись решать сложные задачи из самых разных направлений разработки. Так что такое спортивное программирование и что о нём стоит знать новичку? Об этом сегодня и поговорим. Ну а если вы уже опытный разработчик и принимали участие в соревнованиях, расскажите, где участвовали, как всё прошло и что вы можете посоветовать новичкам.