Месяц: Июль 2023

Статья предполагает, что читатель имеет опыт работы с интерактивным программным средством доказательства теорем — Coq.Статья является адаптированной русскоязычной версией моей статьи, написанной во время работы над формальной верификацией протокола криптовалюты Tezos.В данной статье мы рассмотрим прием, который используется для работы с рекурсивными функциями, которые не проходят проверку завершаемости (тотальности) в Coq. Под «горючим» мы будем…

Так получилось, что уже долгое время в моей рабочей зоне лежал отечественный джойстик типа «джойстик», а точнее даже целый «игровой манипулятор», Веста ИМ-01. Маленький и симпатичный, подозрительно напоминающий джойстик ProLine для Atari 7800, он достался мне в комплекте с одним из приобретённых в начале года Спектрумов, и с тех пор периодически мозолил глаза, вызывая вопрос…

Сегодня на Godot 4.1 создадим простой редактор персонажа, как в старых рпг, когда ты выбираешь внешний вид персонажа из уже нарисованных ассетов.ВступлениеДля начала давайте немного обсудим, как это будет работать. У нас есть игровой персонаж, внешний вид которого будет устанавливаться игроком, на данном примере рассмотрим, что будет устанавливаться: цвет кожи, глаза, улыбка. Выбранные игроком спрайты…

При построении прикладных систем, работающих с текстами, первая же задача — это отождествление слов друг с другом. Для большинства языков индо-европейской группы её решение не представляет большой сложности. И решений этих существуют сотни, а самые простые из них, как правило, дают вполне пригодные (в рамках решаемой задачи) результаты.Английский, с его весьма условным делением на части…

На кого поступать сегодня, чтобы быть востребованным завтра. Обучение тракторному мастерству в VR-очках, печать еды на 3D-принтере и многоэтажные фермы в центре мегаполиса вот-вот станут реальностью агропромышленного комплекса. Чтобы заниматься такой работой будущего, не помешает крепкая академическая база. Поступление на агро-специальности в вузах становится доступнее: например, минимальный балл ЕГЭ для «Агроинженерии» в Вавиловском университете в…

Сегодня у нас на разборе интересное резюме: у человека большой опыт, но в SAP-разработке. Буквально год назад он решил переквалифицироваться в Go-разработчики. Разберем его резюме и посмотрим, как правильно показать большой трудовой опыт, при этом сделав акцент на новых рабочих навыках.Если хотите, чтобы ваше резюме тоже так разобрали, присылайте его нам на почту a.nikitchenko@gmsservices.ru. Мы его…

Привет! Меня зовут Павел Найданов, я блокчейн-разработчик, пишу смарт-контракты на Solidity в MetaLamp. Наша команда занимается разработкой DeFi-приложений на базе платформ Ethereum и Cardano.Несколько лет практики и углубленного ресерча не прошли даром: нашу команду (меня вместе с Романом Ярлыковым и Алексеем Куценко) приглашают в качестве экспертов к созданию учебного курса по блокчейн. А еще мы…

Перед менеджером продукта часто возникает потребность в оценке задачи до передачи ее в работу, то есть до проектирования с командой и декомпозиции. Например, от стоимости будущей разработки зависит решение о приоритизации таски (RISE, Value vs. Effort и прочее).Я занималась разработкой и внедрением рекомендаций к оценке эпиков для product lead-ов (далее — PL) в Спортмастер Лаб…

Вы обратили внимание, что практически все статьи Linux vs Windows успешны и вызывают бурные дискуссии? Почему так происходит? Ниже мое частное мнение, о причинах подобных «холиваров» и о том, насколько они актуальны сейчас. В чем же, по рассказам посвященных, магическая сила Linux?Linux открыт и бесплатенLinux, конечно, произвел настоящую революцию в свое время. Если не видели, рекомендую фильм Revolution OS 2001 года. Наконец‑то, каждый пользователь…

Долгожданный релиз UNIGINE 2.17 SDK состоялся! В него вошло множество возможностей и новый функционал, над которыми мы работали последние несколько месяцев. Давайте остановимся подробнее на самом важном и интересном:DirectX 12 и Vulkan (стабильные версии)Теперь API DirectX 12 и Vulkan доступны для всех и готовы к использованию (как в редакторе, так и при выполнении приложения)! Один…