Just code IT – Telegram
Just code IT
1.45K subscribers
49 photos
134 links
Верим в everything-as-code. Обсуждаем, как писать чище, ревьюить объективнее, деплоить быстрее.
Download Telegram
10 лучших книг про разработку ОС

Часто приходится слышать вопрос: «Что почитать, чтобы начать писать свою ОС?»

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

👉 Те самые 10 книг

#literature
👍5
Анатомия терминала

Любая достаточно продвинутая технология неотличима от магии.

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

Арам Древекенин (Aram Drevekenin) создал замечательную интерактивную статью «Anatomy of a Terminal Emulator», в которой он объясняет, как различные компоненты системы взаимодействуют друг с другом, создавая такой знакомый консольный интерфейс.

#digest
👍11
Как писать на английском языке хорошо?

Небольшая книга Уильяма Странка-младшего (William Strunk, Jr.) «The Elements of Style» — нестареющая классика. Она именно о стиле, о форме, а не о содержании. Информация из некоторых глав может быть полезна не только в английских текстах, но и при подготовке материалов на любом другом языке.

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

#literature
👍11
А в эту пятницу – еще одна классная игра для NES от Morph cat Games: «Spacegulls»

Трейлер доступен на YouTube

#fun
👍4
Простой растеризатор TrueType шрифтов

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

Но что делать, если вы хотели бы просто разобраться в теме растеризации глифов, почитав код библиотеки? FreeType для таких целей великоват. Но есть хорошая альтернатива — stb_truetype.

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

stb_truetype активно применяют в игровой индустрии, она же используется в коде текстового редактора Lite, как и во многих других open source проектах.

#digest
👍7
Сегодня советуем книгу «Building Secure and Reliable Systems» – творение целой группы авторов о том, как Google подходит к разработке безопасных и надежных продуктов.

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

#literature
👍5
Cхемы Эшера

Как известно, логика может привести вас от пункта А к пункту Б, а вот воображение — куда угодно. И, пожалуй, где-то в золотой середине находятся схемы Эшера.

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

#digest
👍6
Еще немного о наших любимых играх на NES. Точнее, о двоичном трансляторе, который умеет транслировать ROM-файлы, содержащие игру для приставки, в исполняемые файлы x86_64.

#literature
👍5
Ментальный инструментарий

Наверняка многие из читателей сталкивались с такими штуками, как «шесть шляп мышления» или «матрица важных и срочных дел Эйзенхауэра». Подобных инструментов создано невероятно много, и они действительно помогают справляться с непростыми задачами. Множество ментальных инструментов для эффективного принятия решений, системного мышления и решения трудных задач были сведены Адамом Амраном (Adam Amran) в перечень и доступны на его сайте untools.co.

#digest
👍8
«Компиляция Фортрана-66, предписанная богом»

Наткнулись на настоящую капсулу времени – чудный текст из 1990-х «про настоящих программистов».

Чего стоит один только этот пассаж:

«Из собственного опыта, я думаю, можно смело сказать, что будущее прекрасно для настоящих программистов. Ни OS/370, ни Фортран не высказывают ни каких признаков отмирания, несмотря на усилия программистов на Паскале. Даже такие изощренные уловки, как добавление конструкций структурного программирования в Фортран, провалились. Да, конечно, некоторые изготовители ЭВМ выпустили компиляторы Фортрана-77, но каждый из них оставил возможность перейти в режим компилятора Фортрана-66 с помощью удаления одной перфокарты - чтобы компилировать циклы DO как предписано богом».

Полная версия – по ссылке.

Если вдруг вы тоже натыкались на статьи N-летней давности а-ля «Python обречен» или «С++ мертв» – дайте огня в комментариях :)

#fun
👍13
Генерируем видео-демонстрации на языке C

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

Подход покупает своим минимализмом: в программе на языке C Крис создает кадры будущего видео в форме Netpbm изображений, а звук генерирует в формате WAV. Оба этих формата достаточно просты для ручной генерации и не требуют внешних зависимостей. Далее отдельные кадры и звук склеиваются при помощи ffmpeg.
Обратите внимание, насколько качественные видеоролики можно получить с таким простым подходом:

Демонстрация алгоритмов сортировки

Демонстрация рейтрейсера

Демонстрация физического движка и рейтрейсера

Такой метод не будет работать без установленной в системе ffmpeg, но эта утилита, как и одноименная библиотека, доступна во всех современных Unix-системах. Можно ли обойтись без нее? Возможно, ведь существуют достаточно простые видеоформаты, например MPEG-1, спецификации которого открыты. Но, конечно, для достижения аналогичного результата придется потрудиться.

#digest
👍10
Вы определенно знаете WSL, подсистему Windows Subsystem for Linux. А вот этот проект творит нечто совершенно невероятное – он реализует своего рода подсистему DOS для Linux. Вы можете запустить сеанс Linux из командной оболочки DOS, а затем вернуться к DOS. Детали реализации впечатляют :)

#digest
👍2
Метапрограммирование в стандартном C

Препроцессор языка C, конечно, не полон по Тьюрингу, но позволяет выполнять достаточно сложные вычисления, пользуясь моделями, основанными на CPS (continuation passing style). Количество подстановок макросов, доступных для программиста, лимитировано, но достаточно для большинства практических нужд, например для реализации кодогенераторов.

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

Бывают и практичные исключения, например Metalang99, который позволяет выполнять несложные вычисления и операции со списками на стадии препроцессирования. У Metalang99 есть вполне прагматичное применение: на его основе реализована библиотека Datatype99, привносящая в C99 полноценные алгебраические типы данных с привычным деконструирующим оператором match, совсем как в OCaml и Haskell.

#digest
👍3
Краткий гайд по анонимному ведению блога, который может быть полезен даже профессиональным журналистам, не говоря уже о простых технических энтузиастах. Да, и мы кое-какими приемами оттуда тоже пользуемся :)

Существуют и более продвинутые гайды по анонимности, например этот. А совсем увлечённым рекомендуем поискать The Hitchhiker’s Guide to Online Anonymity – невероятно подробный, постоянно обновляемый учебник по практически полной анонимности в сети.

#literature
👍5👎1
Поддержка микроядер в железе

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

Таким образом, разработчикам микроядерных систем приходится «есть, что дают»: решение максимально оптимизируется под железо, которое ориентируется на запуск ОС с монолитным ядром. Поэтому, микроядерные ОС часто проигрывают в производительности своим монолитным собратьям.

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

На конференции FOSDEM 2019 сотрудник Huawei Мартин Деки (Martin Děcký) поделился со зрителями видением, какие технологии, реализованные в железе, улучшат производительность и безопасность решений на основе микроядер в будущем.

#digest
👍4
Хороший гайд по нонфикшн

Эксперт по развитию Джулиан Шапиро (Julian Shapiro) создал Writing Well – короткий гайд про то, как писать полезные и понятные тексты.

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

#literature
👍4
Угадай DDI

Вопрос с подвохом: какой видеовывод на картинке?

Кажется, что это VGA. Но с точки зрения программирования контроллера дисплея, можно даже не пытаться угадать. К примеру, на одном из устройств на Gemini Lake от Intel есть VGA вывод. Это сразу вызывает подозрение, поскольку всем известно, что начиная с поколения Haswell, контроллеры дисплея в графическом устройстве идут только с поддержкой DDI — digital display interface...

👉 Продолжение

#digest
👍14👎1
SATA передает ваши ключи по радио

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

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

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

Наиболее известный пример атаки такого рода — system bus radio. Это программа, которую можно запустить на макбуке и она начнет вещать песню «У Мэри был барашек» на частоте 1580 kHz (AM). Программа не использует какой-либо предусмотренный производителем канал связи, вместо этого она просто исполняет определенные паттерны инструкций со специально подобранной частотой. Процессор и другие юниты, сидящие на системной шине, работают как антенна, излучая электромагнитные волны. Перехватить такой сигнал можно при помощи SDR-приемника.

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

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

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

#digest
👍15
От разработчика до руководителя: путь менеджера

Камиль Фурнье (Camille Fournier) — опытная руководительница, которая в своей карьере сталкивалась с разработкой программных продуктов разного масштаба — написала The Manager's Path.

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

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

#literature
👍7
Как обезопасить что угодно

Многие привыкли думать, что сферы физической и информационной безопасности — два ортогональных, непохожих мира. Что может быть общего у охранника на входе в офисное здание и модели ролевого контроля доступа? Разве можно сравнивать пункт досмотра пассажиров крупного аэропорта и модуль ядра современного антивирусного пакета?

Репозиторий how-to-secure-anything на гитхабе содержит хорошо организованный дайджест материалов на тему безопасности. Здесь можно отыскать информацию про базовые понятия информационной безопасности, моделирование угроз, концепцию secure by design, методы поиска уязвимостей, популярные методы защиты информации и даже документы, описывающие стандартны проектирования тюрем! По каждой теме есть краткие заметки от автора, упрощающие погружение в эту интересную и непростую область.

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

#digest
👍11
Забытое наследие TempleOS

Среди разработчиков операционных систем есть свои люди-легенды: Линус Торвальс, Тео де Раадт, Эндрю Таненбаум, Дейв Катлер… Все они известны благодаря своему видению и вкладу в разработку знаковых ОС, которыми пользуются миллионы людей.

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

👉 Продолжение

#digest
👍9