Old but gold: курс по основам логики

Классическая логика является формальной основой для 99% современной математики. А понимание её принципов — обязательно для настоящего программиста.

Курс состоит из 7 уроков, примерно по 25 минут каждый. Первый урок в посте, а остальные 6 — в этом плейлисте: https://www.youtube.com/playlist?list=PLo6puixMwuSNCt4bd99UheEjaS4EudoGJ

#математика #курсы

​Ещё один полезный инструмент вам в копилку: проект, на котором собрали больше 100 опенсорс клонов популярных сервисов.

Там есть и Instaclone, и Fakebooker, и даже Amazonna. А ещё в таблице можно глянуть стек, который использовался для создания каждого приложения:

https://gourav.io/clone-wars

#opensource #инструменты

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

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

https://habr.com/ru/news/t/654911/

#безопасность

​В РФ началось продвижение собственного корневого TLS-сертификата

Напомним, на днях некоторые удостоверяющие центры, находящиеся в юрисдикции США (например, DigiCert), прекратили предоставление сертификатов для сайтов организаций из санкционного списка. А 9 марта пользователи Госуслуг получили письмо о проблемах с доступом к сайту и создании государственного удостоверяющего центра со своим корневым TLS-сертификатом:

https://bugzilla.mozilla.org/show_bug.cgi?id=1758773

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

По умолчанию государственный сертификат ещё не включён в хранилища корневых сертификатов ОС и основных браузеров. И без ручного добавления доступен только в Яндекс.Браузере и Атоме.

#интернет #безопасность

​Кстати, о TLS-сертификатах

Как мы писали выше, вчера стало известно, что некоторые сайты могут иметь проблемы с доступностью из-за проблем с иностранными TLS-сертификатами. А в РФ началось продвижение собственного корневого TLS-сертификата.

Большинство из нас особо не задумываются, как они устроены, по крайней мере, пока что-то не пойдёт не так, как нужно. Раз уж что-то пошло не так, как нужно, предлагаем устроить небольшой ликбез и подробно изучить процесс TLS-рукопожатия:

https://tproger.ru/articles/tls-handshake-explained/

#безопасность #сети

​«Я нашёл ещё один баг, иди переделывай»

​В России создадут собственные литографы, поможет ли это отечественной микроэлектронике — «холодный» и чисто технический разбор инженера

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

Как устроено сегодня создание процессоров и что мешает сделать их любому желающему, пользователь Хабра Psychosynthesis подробно объяснил в статье: https://habr.com/ru/post/654429/

#hardware

​Куда идти работать в это сложное время? iFellow ищет 600 новых IT-специалистов

Ищут сотрудников поддержки, аналитиков, разработчиков, тестировщиков, DevOps-инженеров и других IT-специалистов для работы с крупнейшими экосистемами Сбера, ВТБ, Альфа-Групп, Газпром, ФСК и др. Центральный офис находится в Москве, филиалы работают в Воронеже, Саратове, Новосибирске, Екатеринбурге и Томске, а сотрудников принимают во всех регионах.

Будут рады как опытным специалистам, так и начинающим — новичков обучают и выдают сертификат государственного образца. На сайте представлены профили вакансий. На каждую позицию ищут несколько кандидатов!

Узнать подробнее о компании и найти вакансию для себя: https://tprg.ru/RwK6

#вакансии #работа

​Figma решила заморозить корпоративные аккаунты российских клиентов. Личные пока не трогают, но тоже лучше перестраховаться — делимся опенсорсной тулзой для экспорта проектов.

Инструмент умеет автоматически сохранять все файлы .fig и .jam с сохранением всей проектной структуры. Сейчас его можно подключать на своём сервере, а для сохранения бэкапов можно использовать локальный или сетевой диски: https://github.com/ritds/figma_backup

Написали, кстати, ребята из Ростелекома. В дальнейшем обещают прикрутить бэкап по расписанию сразу в облака и сделать полноценный интерфейс.

#инструменты

​Эти особенности Swift здорово облегчат и ускорят процесс разработки

Опционалы, оператор guard, wildcard, константы, функции высшего порядка и атрибуты доступа — ребята из команды мобильной разработки КРОК простым языком объяснили, как работают одни из самых полезных особенностей языка Swift:

https://tprg.ru/ZId9

#ios #swift

​Замените это немедленно: варианты обхода блокировок для DevOps-инженеров

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

Ребята из Nixys посчитали своим долгом помочь справиться со всеми преградами DevOps-инженерам. И рассказали, что на что можно заменить без потерь в качестве процессов. Или хотя бы с минимальными потерями:

https://habr.com/ru/company/nixys/blog/654921/

#devops #советы

​Как работает современный интернет: разбираем принцип работы системы доменных имён (DNS)

Все соединения в интернете происходят по IP-адресам. А имя хоста — это представление адреса в удобном для человека виде. Для сопоставления имени хоста и IP-адреса используется система доменных имён (DNS).

В этой статье рассказываем, что такое DNS-резолвер, как происходит поиск сервера, на котором находится запрашиваемый сайт, и какие бывают типы DNS-серверов:

https://tproger.ru/explain/domain-name-system/

#интернет #начинающим

​Ещё один список аналогов или альтернатив для замены зарубежных сервисов и ПО — на этот раз пополняемый юзерами

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

https://habr.com/ru/news/t/655381/

Костыли и велосипеды, как всегда, наше всё.

#инструменты

Принесли позалипать на вечер новое видео от Two Minute Papers, в котором они подробнее рассказали о технологии NVIDIA, способной очень реалистично анимировать речь 3D-модели по одной только аудиозаписи.

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

Кому интересно, почитать подробнее и потестить ПО можно здесь: https://www.nvidia.com/en-us/omniverse/apps/audio2face/

#нейросети #nvidia

8 вакансий на удалёнке

— QA Engineer / Тестировщик (mobile)
— Системный аналитик (МТС Секретарь)
— Android-разработчик (Beffo)
— Разработчик (снятие данных с мобильных телефонов)
— Старший разработчик, ответственный за создание новых продуктов
— Технический писатель
— Специалист технической поддержки
— Контент-менеджер

#вакансии #работа

​Slack снёс рабочие пространства для некоторых российских пользователей. Это коснулось лишь некоторых компаний, но пока не известно, каких именно. Известно только то, что в их числе — Сбер.

Ребята из «Пачки» составили инструкцию из пяти практических шагов, которые помогут подготовиться команде к переходу на другие сервисы прямо сейчас с минимальными потерями. А пользователи в комментах накидали ещё несколько вариантов:

https://habr.com/ru/post/655709/

#инструменты

​Microsoft добавила рекламные объявления в штатный «Проводник» в тестовой сборке Windows 11 Insider Preview Build 22572.

Сейчас части тестировщиков показывается необычная полоска с рекламой Microsoft Editor, которую можно закрыть. Пока функциональность напоминает «Tip of the day», но многие пользователи уже выразили недовольство и посчитали, что это лишь попытка попытка выдать рекламу за него.

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

Ждём подписку на Проводник Premium без рекламы.

#microsoft #windows

​​Как устроены блокировки в России и Китае с технической точки зрения — вспоминаем «битву» за Telegram

Отличная статья из блога Вастрика, которую мы опубликовали у себя ещё в 2018 году. Статья поможет понять, как устроены современные системы фильтрации трафика DPI и вспомнить, как Telegram удавалось их обходить. А также представить, что нас может ожидать в ближайшем будущем в свете уже сбывшихся прогнозов 2018 года:

https://tproger.ru/articles/internet-censorship/

#интернет

​Стоит ли учить Objective-C в 2022 году?

Да, это удивительно, но Objective-C до сих пор активно используется в разработке:
— Во-первых, это проекты старше 2-3 лет, часть кодовой базы которых написана на Objective-C.
— Во-вторых, некоторые приложения при всём желании пока всё равно не получится полноценно переписать на Swift.
— В-третьих, язык с более низким уровнем абстракции точно пригодится, если необходима сложная работа с сетью, памятью и ресурсами устройства.

В статье ребята из команды мобильной разработки КРОК поделились своим опытом. И рассказали, почему язык до сих пор жив и стоит ли учить его в 2022 году: https://tprg.ru/qu7k

#ios #swift

​​Крупный апгрейд ИИ, способного писать код: OpenAI выпустили новые версии GPT-3 и Codex

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

Подробнее о нововведениях, рассказали в своём блоге: https://openai.com/blog/gpt-3-edit-insert/

#ии #нейросети