​Доклад: Программирование на уровне типов на TypeScript — выжимаем из компилятора все соки

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

Во второй части обсуждают способы описания базовой арифметики с использованием типов, например, как добиться того, чтобы компилятор мог вычислить факториал числа. Завершающая часть доклада касается изоморфизма Карри-Ховарда и демонстрации того, каким образом можно выразить некоторые простейшие силлогизмы математической логики:

https://youtu.be/yBt3t8vzdvs?si=nllTKOK-mA0XZQWt

#доклад #typescript #ru

​Статья: Бьёрн Страуструп дал разработчикам несколько ценных советов на всю жизнь

В интервью известный изобретатель языка программирования C++ — Бьёрн Страуструп, поделился ценными советами на всю жизнь для разработчиков, независимо от их многолетнего опыта.

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

Ссылка на статью

#статья #советы #general #ru

Книга: Конкурентность и параллелизм на платформе .NET. Паттерны эффективного проектирования (2019)

Автор: Рикардо Террелл
Год издания: 2019

Описание:
Данная книга раскрывает сущность паттернов проектирования для конкурентных и параллельных программ, представляя их как в теоретическом, так и в практическом аспектах. В дополнение, она включает в себя иллюстрации на примерах, использование языков программирования C# и F#, а также обзор конкурентных абстракций.

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

#книга #ru #csharp #net

Инструмент: библиотека для создания диаграмм

С помощью этого инструмента вы можете легко разрабатывать привлекательные и интерактивные визуализации для веб-страниц. Тут поддерживается около 20 различных видов графиков и диаграмм.

И если потребуется внести какие-либо изменения, то это не составит труда — исходный код проекта открыт.

Ссылка на инструмент: ApexCharts.js

#инструмент #frontend #js

​Статья: 10 признаков того, что пора увольняться

Согласно последним данным опроса от "Работа.ру", примерно 36% россиян испытывают недовольство по поводу своей текущей работы.

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

Ссылка на статью

#статья #трудоустройство #ru

​Статья: 10 ресурсов для изучения и использования Git

Git — это бесплатная система управления версиями, разработанная Линусом Торвальдсом, создателем Linux.

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

Ссылка на статью

#статья #git #начинающим #ru

Книга: Конструируем роботов. Дроны. Руководство для начинающих

Автор: Джон Бейктал
Год издания: 2017

Описание:
Это практичное руководство предназначено для начинающих моделистов, особенно тех, кто интересуется созданием дронов. Автор известен как один из наиболее авторитетных писателей по этой теме. С помощью этой книги исследователи смогут пошагово создать роботов с использованием квадрокоптеров, ракет, аэростатов, кораблей и марсоходов, оборудованных системой навигации на основе RFID-меток.

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

#книга #diy #ru

Инструмент: сборник минималистичных спинеров загрузки

Их анимация осуществляется исключительно с использованием CSS. Всего в наборе 12 различных видов спинеров.

Ссылка на инструмент: SpinKit

#инструмент #css #frontend

​Курс: экспресс-обучение Tailwind CSS v3

Tailwind CSS — это CSS-фреймворк для быстрого создания пользовательских интерфейсов с использованием готовых классов. Его используют для ускорения и облегчения разработки и поддержки кода.

В этом небольшом курсе разберут Tailwind CSS v3 и большинство его функций. Вы научитесь делать кастомные конфиги, подключать плагины и создавать кастомные компоненты. Также разберётесь с директивами и функциями.

https://youtu.be/fyK1sW1CNug?si=2BDdC77KrfAfPBhk

#курс #tailwind #css #frontend #ru

Статья: Дорожная карта по Android-разработке

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

Тут разбирают следующие темы:
— Java или Kotlin?
— начало работы;
— система контроля версий;
— Android Architecture;
— создание приложений;
— продвинутая разработка.

Ссылка на статью

#статья #android #начинающим #ru

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

Авторы: Кэрол Вордерман, Джон Вудкок, Шон Макманус
Год издания: 2015

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

Этот учебник познакомит вашего ребёнка с основами программирования и научит двум языкам: визуальному Scratch и текстовому Python.

#книга #начинающим #python #ru

​Статья: 7 архитектурных паттернов, которые должен знать каждый программист

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

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

Ссылка на статью

#статья #теория #архитектура #паттерны #ru

Инструмент: "безголовая" CMS и набор API-инструментов

Установка этого инструмента занимает всего несколько секунд. После этого пользователи практически сразу могут начать работать с REST API, GraphQL и другими функциями.

Кроме того, данная платформа предоставляет разработчикам возможность использовать собственный фронтенд. В то же время инструмент берёт на себя все задачи, связанные с инфраструктурой CMS.

Ссылка на инструмент: Cosmic

#инструмент #cms #web

​Статья: Как не стоит писать код — разбираем ошибки

Уже знаете про чистый код и даже умеете такой писать? А как насчёт исправления плохого кода?

В этой статье техноэнтузиаст Газпромбанка Максим Морев и Head of Profession backend-разработки Вадим Ваганов на реальном примере разобрали отрывок проблемного кода и поэтапно исправили его. Каждый этап сопровождается подробным разбором и объяснением.

Ссылка на статью

#статья #general #ru

Книга: Scrum. Революционный метод управления проектами

Автор: Джефф Сазерленд
Год издания: 2017

Описание:
Книга, созданная основателем методики Scrum, позволит вам значительно ускорить и улучшить реализацию проектов. Джефф придумал этот метод для преодоления недостатков традиционного управления проектами, таких как неэффективная координация, невыполнение временных и ресурсных планов, межотделочные конфликты и избыточность задач. Эта книга изменит ваш подход к управлению проектами и поможет достичь ранее недостижимых результатов.

#книга #scrum #ru

​Статья: 5 задач с собеседований для Python-разработчиков

В статье собраны 5 задач, которые часто встречаются на собеседованиях в крупных компаниях на должность Python-разработчика. Эти задачи относительно несложны и подходят программистам на уровне junior и middle. Их можно встретить на собеседованиях в таких компаниях, как Apple, Samsung, Oracle и IBM. Статья окажется особенно полезной, если вы готовитесь к собеседованию на аналогичную должность:

Ссылка на статью

#статья #python #трудоустройство #ru

Инструмент: плейграунд для веб-проектов

Суть этой платформы схожа с CodePen или JSFiddle, однако она функционирует намного быстрее и даже работает в режиме офлайн.

Здесь есть поддержка препроцессоров, встроенная консоль и множество других полезных функций.

Ссылка на инструмент: Web Maker

#инструмент #web #frontend

​Статья: Golang — основы для начинающих

Golang, также известный как Go, — это язык программирования, который был создан сотрудниками компании Google в 2007 году. Этот язык быстрый и статически типизированный, но при этом он создаёт впечатление динамически типизированного и интерпретируемого языка. Эта статья представляет из себя руководство по языку Go для новичков:

Ссылка на статью

#статья #go #начинающим #ru

Книга: Python. Экспресс-курс

Автор: Наоми Седер
Год издания: 2019

Описание:
Эта книга поможет вам быстро преодолеть начальные этапы и перейти к управлению данными и структурами для создания, тестирования и развертывания полноценных приложений. Автор не только освещает основы языка Python, но и рассказывает о его объектно-ориентированных возможностях, представленных в Python 3. В данном издании учтены все изменения, произошедшие в языке за последние 5 лет, и в последних 5 главах подробно описывается работа с большими объемами данных.

#книга #python #ru