Где-то Новый Год уже наступил, а где-то только на подходе.
В новом году я желаю своим подписчикам счастья, благополучия, мира во всем мире, высоких зарплат и карьерных достижений, прибыльных инвестиционных портфелей!
Продолжайте развиваться и будьте себе на уме.
🥂🍾☃️❄️🎉

Сегодня в 19:00 мск будет ещё один стрим (запись останется, ссылку выложу примерно за пол часа).
В первой части поговорим про то как изучать языки программирования и зачем это нужно.
Во второй части попробую освоить новый для себя язык zig и написать на нём небольшую программку.

В стриме, где я разбирался с языком zig, я упомянул такой термин, как алгебраический тип данных (algebraic data type, ADT). Давайте разберемся, что это такое и зачем нужно.

ADT появились в функциональных языках, таких как Haskell или OCaml, но встречаются и в языках ориентированных на другие парадигмы, например в Rust, Zig и TypeScript.
ADT представляют собой тип-сумму, объединяющий в себе данные разных типов по принципу ИЛИ, что позволяет хранить в одной переменной данные разных типов, но при этом типобезопасно их получать. Основным способом извлечения данных из ADT является pattern matching (сопоставление с образцом), который позволяет проверить, какой вариант данных сейчас находится в переменной с ADT типом.

Давайте посмотрим примеры на различных языках. Пусть у нас есть типы Cat и Dog, а мы хотим объединить их в ADT типе Pet.
На Haskell объявление будет выглядеть так:

data Pet = PetCat Cat | PetDog Dog

А на Rust так:

enum Pet {
    Cat(Cat),
    Dog(Dog),
}

А вот так на TypeScript:

type Pet = {
  kind: 'Cat';
  cat: Cat;
} | {
  kind: 'Dog';
  dog: Dog;
};

Имея переменную такого типа Pet мы можем однозначно определять, что внутри - Cat или Dog и выполнять в зависимости от этого разную логику:

f :: Pet -> IO ()
f (PetCat _) = print "Cat"
f (PetDog _) = print "Dog"

match pet {
    Pet::Cat(cat) => println!("Cat: {:?}", cat),
    Pet::Dog(dog) => println!("Dog: {:?}", dog),
}

switch (pet.kind) {
  case 'Cat':
    console.log('Cat', pet.cat);
    break;
  case 'Dog':
    console.log('Dog', pet.dog);
    break;
}

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

Настало время для серии постов про сети, сетевые протоколы и сетевое программирование.
А начнём мы с рассмотрения сетевой модели OSI.

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

7. Application (прикладной, уровень приложений).
Оперирует формализованными данными, формат которых задается каждым конкретным протоколом. Обеспечивает общение приложений между собой.
Примеры: HTTP, FTP, WebSocket, SMTP, DNS

6. Presentation (представление).
Оперирует абстрактными данными (наборами байт). Обеспечивает функции преобразования данных (шифрование, сжатие).
Примеры: TLS, SSL

5. Session (сессии, сеансы связи).
Оперирует абстрактными данными + мета данными обеспечивающими постоянные соединения и аутентификацию соединения.
Примеры: TLS (частично), TCP (частично), PAP, L2TP, OpenVPN, WireGuard

4. Transport (транспортный).
Оперирует сегментами или датаграммами. Обеспечивает передачу данных на логическом уровне.
Примеры: TCP, UDP

3. Network (сетевой).
Оперирует пакетами. Обеспечивает логическую адресацию (ip адрес, порт) и маршрутизацию.
Примеры: IPv4, IPv6, ICMP

2. Link (канальный).
Оперирует кадрами. Обеспечивает физическую адресацию (mac адрес).
Примеры: Ethernet, IEEE 802.11 (WiFI), LTE (мобильные сети), PPP, DSL

1. Physical (физический).
Оперирует отдельными битами. Обеспечивает передачу данных по физическим каналам связи.
Примеры: RJ (витая пара), SFP (оптоволокно), USB

Согласно данной модели любые данные проходят все уровни от 7 до 1 при отправке данных и от 1 до 7 при получении. Каждый протокол должен взаимодействовать только с протоколами своего и соседних уровней, что на практике не всегда соблюдается.
Так же при передаче данных через множество сетей (что просто необходимо в том же internet) данные могут многократно переходить между уровнями 1, 2 и 3 (маршрутизация), а иногда и между более высокими уровнями (например при балансировке).
Кроме того, технологии виртуальных сетей (например VLAN или VPN) могут делать программную эмуляцию более низких уровней фактически передавая данные на более высоких.
А границы между уровнями 4, 5, 6 и 7 очень часто оказываются размытыми, например протокол HTTP, находящийся на 7 уровне, может работать прямо поверх протокола TCP, находящегося на 4 уровне.

С уровнями 4, 5, 6 и 7 чаще всего взаимодействует прикладное программное обеспечение. В системной разработке можно столкнуться с уровнями 3 и 4. Но и на уровне 2 так же применяются программные решения при разработке прошивок для сетевых устройств. И лишь уровень 1 является полностью аппаратным.

Модель OSI не идеальна, но она позволяет соотнести практически каждый сетевой протокол с определенным уровнем модели, что даёт первичное представление о протоколе и его назначении.

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

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

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

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

Подкаст с моими мыслями о такой вещи как мотивация, о том как она влияет на нашу деятельность + немного саморефлексии.

После длительного перерыва возвращаюсь к работе над каналом. Будут некоторые изменения в контенте, за перерыв я многое переосмыслил, о чём так же говорю на записи.

Мой личный топ 5 естественных стимуляторов мозга

Всем привет!

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

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

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

Выравнивание памяти - что это и зачем оно нужно?

Если ответить совсем кратко, то это размещение данных в памяти таким образом, чтобы они распологались по адресам кратным некоторой степени 2. Но что это даёт?

Как вам должно быть уже известно, процессоры оперируют блоками данных называемыми машинное слово, размер которого идентичен размеру регистров и разрядности самого процессора, то есть на 64 разрядном процессоре машинное слово будет занимать 64 бита (или 8 байт).

Но наши программы зачастую хотят оперировать типами меньшей размерности. Например многие программы работают со строками, которые по своей сути являются массивами отдельных байт, то есть нам нужно оперировать типом вроде char в языке C. Для процессора не является большой проблемой загрузить подобный тип на регистр, но сделает он это следующим образом:
1. загрузит машинное слово содержащие нужный нам байт,
2. побитовым сдвигом переместит его в 0 позицию,
3. побитовым И откинет лишние биты.
После этого мы можем применять к регистру любые операции, которые мы хотим применить к нашему байту. Проблем здесь нет никаких в каком бы адресе не был размещён наш char. Поэтому его выравнивание будет 1, что позволит разместить его в любом адресе.

Но теперь давайте посмотрим на тип int, который занимает 4 байта. Давайте для простоты представим, что он размещён по адресу 3. Вроде проблем пока тоже никаких, процессор применит все те же операции и на регистре окажется наш int. Но что если у нас массив этих int? Тогда следующий из них будет расположен по адресу 7 и будет пересекать границу машинного слова. Процессору уже придётся загрузить сразу 2 машинных слова (по адресам 0 и 8) на разные регистры, каждый из них очистить от лишних бит, выставить биты на нужные позиции, а затем объединить 2 регистра через побитовое ИЛИ. Процессоры Intel и AMD вполне справляются с подобной задачей, но затрачивают на неё гораздо больше операций. А вот процессоры с архитектурой ARM откажутся исполнять такое непотребство, по крайней мере в автоматическом режиме (никто не мешает нам то же самое проделать в собственном коде). Но гораздо эффективнее всегда размещать int только по адресам кратным 4, или по простому выравнивать по 4 байта.

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

struct example {
  char a;
  int b;
};

Поле a имеет выравнивание 1, а поле b - 4. Что бы это соблюдалось вся структура должна иметь выравнивание, как самое большое выравнивание её полей, то есть 4. Что в итоге приведёт к тому, что наш char так же будет выравнен по 4 байтам. При этом вся структура будет иметь размер 8 байт, а возле поля a окажутся 3 мусорных байта, которые никак не используются. Такие байты называют "паддинг". Это вынужденая трата памяти, которая обеспечивает нам быстродействие и работоспособность на разных платформах.

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

В комментах к последним постам несколько человек заинтересовались вакансиями Wildberries. Специально для вас узнал что есть сейчас:

Что такое Wildberries сейчас - это 30 млн пользователей ежедневно, сотни тысяч сотрудников и одна из сильнейших IT-команд в стране. У нас гибкий современный стек, около-rocket-science задачи прилагаются. Можно работать из любой локации🌎
Если ты back-end разработчик, у нас есть, что предложить для тебя в нашем департаменте Инфраструктура:

Rust Developer🔥

Что мы делаем на Rust:
Видеонаблюдение - мы обеспечиваем работу и развитие системы видеонаблюдения на складах и сортировочных центрах. Это сотни локаций, десятки тысяч камер, петабайты видеоданных.

FaceID - наша команда реализовала и развивает систему двухфакторной авторизации на проходных.

Рендер - отвечает за получение медиафайлов, их обработку и отправку в различные хранилища данных. Масштабы: сотни картинок в секунду на входе, тысячи на выходе, сотни тысяч RPS на отдачу.

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

Что для нас важно в тебе:
- Имеешь опыт разработки на Rust или желание его освоить.
- Имеешь большой опыт разработки и траблшутинга backend-сервисов.
- Хорошо знаешь, что такое highload.
- Отлично знаком с Linux.

Go Senior developer / Tech Lead (управление небольшой командой)🔥

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

Что для нас важно в тебе:
- Алгоритмы и структуры данных.
- Опыт коммерческой разработки на Golang от 4 лет.
- Опыт работы с БД, а также с брокерами сообщений.
- Опыт работы с Linux.

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

Всем привет!

Есть мысли в ближайшую субботу сделать стрим, ориентируемся на 19:00 мск

В программе:
- Ответы на ваши вопросы
- Напишем небольшую либу на Rust и опубликуем её на crates.io
- По изучаем исходники чегоо-нибудь из опенсорс

Свои вопросы к стриму можно задавать заранее в комментах под этим постом

https://www.youtube.com/watch?v=02iOwfBWtjY

Стартуем через пару минут

В сети периодически встречаются статьи и видео сравнивающие различные ОС в разных аспектах. Кто-то ревностно отстаивает преимущества одной ОС перед другой, часто имея о второй весьма поверхностные представления, кто-то приводит более объективное сравнение. Но почти все они несут взгляд со стороны обычного пользователя. Я же хочу привнести своё видение разработчика на различные десктопные ОС.

Скорее всего, взгляд будет всё равно субъективным. Во-первых больше всего я занимаюсь серверной разработкой, что сильно отличается от типичных нюансов десктопа, но в своё оправдание скажу, что имею не малый опыт с вебом, а так же мне приходилось иметь дело с десктопной разработкой (пару раз это были корпоративные штуки на электрон, ну и для себя мучаю таури, во всех случаях сразу под 3 ОС - винда, мак и линукс). Во-вторых, моей основной ОС многие годы являются различные линуксы и конкретно сейчас я считаю Арч линукс лучшей ОС для десктопа и именно она у меня стоит на ПК, но в своё оправдание скажу, что с другими ОС я всё таки имею дело достаточно часто, макбук мой основной инструмент для работы вне дома, а на втором ноуте у меня установлена Win11 pro + у меня несколько лет назад был почти 2х летний эксперимент жизни на Win10 pro (хоть он и закончился не успешно, но я подумываю его повторить, уже с 11 виндой). Так что будем считать, что моё сравнение всё-таки подтверждено некоторым опытом.

Для начала хочу отметить, что большинству разработчиков скорее всего должно быть всё равно из под какой ОС разрабатывать. Большинство популярных IDE одинаково работают и под виндой и под линуксом и под маком. То же самое можно сказать про git. А многие другие инструменты вообще живут в web.
Но есть нюансы, поэтому начнём с них.

Мобильным разработчикам под iOS без вариантов придётся работать под MacOS, неважно пишут ли они нативку на Swift или кросплатформу на ReactNative/Flutter/Xamarin или чём-то подобном. Собрать приложение получится только из под MacOS и подключиться дебаггером тоже. С теми же проблемами Вы столкнётесь если захотите собрать что-то под саму MacOS, кросскомпиляция здесь отсутствует от слова совсем.
Чуть лучше живётся тем кто разрабатывает web-приложения, индустрия зовёт их фронтендерами (надо доделать видео про исковерканные индустрией термины...). С одной стороны браузер есть везде, вот только не любой. Когда-то давно огромной болью был Internet Explorer живущий только на винде, на благо он сдох. И теперь пальму первенства, как самый проблемный браузер занимает Safari, который есть только на устройствах Apple. Особая боль это Safari на iOS, дебаггером в него можно подключиться только с Safari на MacOS, так ещё и другие браузеры на iOS бывают только на его движке (и дебаггером к ним вообще не подключиться).
Ну и последняя категория - это .Net разработчики. Хоть в последнее время .Net и стал кросплатформенным, нормально разрабатывать можно только в Visual Studio, которая есть только под виндой. И Rider от JB здесь не панцея, хотя в какой-то степени может помочь.

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

Большинство серверов сегодня живут на линуксе, изредка встречается FreeBSD, которая тем не менее Unix и достаточно схожа с линуксом. Крайне редко можно встретить сервера на винде. Однако популярные сегодня Python, Node.js, Java, Go практически полностью прячут от нас нюансы операционок. Rust и C++ стремятся к тому же. Однако бывают моменты, когда приходится завязываться на Linux-специфичные вещи, вроде inotify - потестить их из под винды или макос будет проблематично, виртуалки в помощь.

А ещё стандартом индустрии сегодня стал Docker, который основан на линуксовых cgroups и namespaces. Правда есть Docker Desktop, который на маке поднимет виртуалку с минималистичным Linux, а на винде умеет работать из под WSL или так же с виртуалкой как на MacOS.

Особенностей различных ОС много. Здесь я пробежался лишь по самым верхам. Продолжение следует...

Скоро планирую продолжить разбирать ОС от лица разработчика ПО. Посты будут выходить отдельные на каждую ОС, а выпускать я их планирую в порядке популярности на десктопе.

А прямо сейчас решил немного отдаться ностальгии и вспомнить свой путь по различным ОС и по языкам программирования (ибо это у меня оказалось связано).

Получилось немного автобиографично.
https://telegra.ph/Moj-put-v-razrabotke-i-na-kakih-OS-ya-ego-proshyol-06-15

Приятного чтения