16151
По всем вопросам- @haarrp @itchannels_telegram - 🔥 best it channels РКН: clck.ru/3FmxJF
Как Linux увеличивает счётчик без lock на SMP-системах
В ядре Linux есть трюк, который выглядит почти слишком просто: не заставлять все CPU драться за одну переменную.
Вместо общего счётчика используется per-CPU переменная - у каждого ядра своя копия данных.
На x86 макрос this_cpu_inc(var) превращается в одну инструкцию incl, которая работает с областью данных текущего CPU через GS.
Что это даёт:
* нет общего lock
* нет постоянной конкуренции между ядрами
* инкремент выполняется локально для текущего CPU
* операция получается быстрой и дешёвой
Идея мощная: если данные можно разделить по CPU, не нужно синхронизировать каждый маленький апдейт между всеми ядрами.
Так ядро экономит огромное количество лишней блокировки там, где код выполняется постоянно.
✔️ curl - один из самых недооценённых проектов в истории софта.
Первый релиз вышел 20 марта 1998 года. Его запустил один разработчик - Daniel Stenberg.
Прошло больше 27 лет, а он всё ещё поддерживает проект.
Сегодня curl работает на миллиардах устройств и поставляется почти везде:
* macOS
* основные Linux-дистрибутивы
* Windows 10 и новее
* серверы
* контейнеры
* embedded-системы
* CI/CD пайплайны
Ирония в том, что многие пользуются curl каждый день, даже не думая об этом.
Одна маленькая CLI-утилита стала невидимой инфраструктурой интернета.
Вот так выглядит настоящий open source: без хайпа, без миллиардных раундов, но с кодом, который держит половину мира.
🖥 Большинство “простых” shuffle-алгоритмов дают кривой рандом
Частая ошибка:
for (int i = 0; i < n; i++) {
int j = rand() % n;
swap(a[i], a[j]);
}
for (int i = n - 1; i > 0; i--) {
int j = random(0, i);
swap(a[i], a[j]);
}
std::mt19937 rng(std::random_device{}());
for (int i = n - 1; i > 0; --i) {
std::uniform_int_distribution<int> dist(0, i);
int j = dist(rng);
std::swap(a[i], a[j]);
}
Одна строка C, которая может сломать вам логику
В C порядок вычисления аргументов функции не определён.
foo(i++, i++);
foo(1, 0)foo(0, 1)-Wall обычно умеет это подсветить.
Кто-то под именем Сатоши Накамото в 2008 году опубликовал идею, из которой выросла целая индустрия майнинга с огромным энергопотреблением.
И до сих пор никто достоверно не знает, кто скрывается за этим именем.
При этом сама базовая идея Proof of Work выглядит почти примитивно: берём число nonce, меняем его снова и снова, каждый раз считаем хэш и проверяем, попал ли результат ниже нужного target.
Условно это выглядит так:
uint32_t nonce = 0;
while (1) {
header.nonce = nonce;
hash = sha256(sha256(header));
if (hash < target)
break;
nonce++;
}
⚡️ Linux может освободить RAM, не уничтожая сам диапазон виртуальной памяти процесса.
Это как раз то, что делает madvise(MADV_DONTNEED) для anonymous mappings.
Сценарий такой:
char *region = mmap(NULL, GB,
PROT_READ | PROT_WRITE,
MAP_PRIVATE | MAP_ANONYMOUS,
-1, 0);
// потрогали часть страниц
madvise(region, GB, MADV_DONTNEED);
madvise виртуальные адреса остаются валидными. Процесс всё ещё «видит» тот же диапазон памяти.munmap и нового mmapMADV_DONTNEED не означает «удали адреса». Это скорее сигнал ядру: «эти страницы мне сейчас не нужны, можешь забрать физическую память».
⚡️ Fenwick Tree держится на одном битовом трюке
Fenwick Tree, или Binary Indexed Tree, считает prefix sums за O(log n).
Вся магия в операции:
i & -i
-i получается как инверсия битов i плюс 1.i & -i, остаётся только самый правый бит, равный 1.
i = 12 // 1100
-i // 0100 в нужной маске
i & -i = 4
for (; i < MAXN; i += i & -i)
tree[i] += v;
for (; i > 0; i -= i & -i)
s += tree[i];
i += i & -i — перейти к следующему ответственному узлуi -= i & -i — убрать последний блок из prefix sum
💡 Clang умеет показывать AST, и это один из лучших способов реально понять, что компилятор видит в вашем C/C++ коде.
AST — это Abstract Syntax Tree, внутреннее представление программы после парсинга.
Например, простой код:
int x = a + b * 2;
VarDecl
└── BinaryOperator +
├── a
└── BinaryOperator *
├── b
└── 2
clang++ -Xclang -ast-dump -fsyntax-only main.cpp
auto;for;https://godbolt.org/z/cfc7h41bT
⚡️ Один `static` - три разных смысла. Добро пожаловать в C.
В C ключевое слово static меняет поведение в зависимости от того, где именно оно написано.
### 1. static у глобальной переменной
static int global;
.c файла.static внутри функции
void foo(void) {
static int count;
count++;
}
count не создаётся заново при каждом вызове.
foo(); // count = 1
foo(); // count = 2
foo(); // count = 3
static у функции
static void bar(void) {
}
.c файл вызвать bar() напрямую уже не сможет.
static global variable -> скрыть символ внутри файла
static local variable -> сохранить состояние между вызовами
static function -> скрыть функцию внутри файла
static в C полезнее воспринимать не как одно конкретное поведение, а как подсказку проверить две вещи:
Keylogger в несколько строк C? Почти.
На самом деле это не «магия взлома», а raw mode в терминале.
Обычно терминал ждёт Enter и сам обрабатывает ввод.
А здесь программа отключает echo и canonical mode, поэтому видит каждое нажатие сразу.
Именно так работают редакторы, TUI-приложения и терминальные игры.
Важно: использовать только на своём вводе и в учебных целях. Перехват чужих клавиш - уже не программирование, а нарушение безопасности.
Четыре строки делают сложение `float` заметно точнее
При последовательном сложении чисел с плавающей точкой часть младших битов теряется из-за округления. На больших массивах эта ошибка постепенно накапливается.
Алгоритм Кэхэна хранит потерянную часть в отдельной переменной и компенсирует её на следующем шаге:
float kahanSum(const float *nums, int count)
{
float sum = 0.0f;
float correction = 0.0f;
for (int i = 0; i < count; ++i)
{
float adjusted = nums[i] - correction;
float next = sum + adjusted;
correction = (next - sum) - adjusted;
sum = next;
}
return sum;
}
correction запоминает ошибку округления, которая потерялась при предыдущем сложении.
LEA в x86 выглядит как инструкция для адресов, но компиляторы часто используют её как скрытый калькулятор.
Формально LEA считает адрес без обращения к памяти:
lea eax, [rdi + 3]
return x + 3;
lea eax, [rdi + rdi*4]
return x * 5;
base + index * scale + offset, а LEA позволяет использовать эту механику без чтения памяти.LEA не трогает флаги процессора, в отличие от add.x * 5 может стоять не mul, а маленький трюк архитектуры.
Читать полностью…
Doom в 1993 работал на 486 и 4 МБ RAM. А современные игры почему едят 16 ГБ?
Секрет был в BSP-дереве: уровень заранее делился на области, а движок во время рендера просто обходил дерево в нужном порядке. Без z-buffer, без лишней магии, без пересчёта видимости с нуля каждый кадр.
Кармак буквально заставил геометрию работать вместо железа.
Подписывайся, тут ещё много таких историй про код, который унижает современные «оптимизации».
🛠️ Cup: C-Based Build System
Cup — это система сборки, написанная на C, позволяющая использовать C в качестве языка сценариев. Она поддерживает сложную логику сборки и интеграцию с инструментами разработки, такими как LSP и отладчики.
🚀Основные моменты:
- Полная поддержка C без использования DSL.
- Автоматическое обновление и кэширование сборок.
- Поддержка Windows, Linux и macOS.
- Генерация файлов конфигурации для популярных IDE.
- Легковесные сборки и параллельные команды.
📌 GitHub: https://github.com/howaajin/cup
#c
✔️ std::exchange: правильный move-конструктор без double free
Move-конструктор через ручное копирование полей это ловушка. Скопировал указатель, забыл занулить источник, и оба объекта в деструкторе зовут delete по одному адресу. Double free: иногда падает сразу, иногда через неделю в проде.
std::exchange закрывает вопрос одним вызовом. Он забирает ресурс и кладёт в источник безопасное значение:
Handle(Handle&& other)
: ptr(std::exchange(other.ptr, nullptr)) {}
❓Кто этот призрак в вашем коде: изучаем особенности работы с легаси на C++
Легаси — вот что объединяет всех разработчиков на всех языках программирования. Мы учимся уживаться с «наследием», встраиваем его в современную кодовую базу или стараемся не трогать.
Пришло время разобраться с легаси в email-проекте Ghost in the code.
Вы получите семь писем от инженеров, в числе которых представитель России в Международной рабочей группе по стандартизации C++ Антон Полухин и эксперт по архитектуре Константин Владимиров. Вместе с ними и другими опытным разработчиками пройдете путь от навигации по «зрелому» коду с помощью AI до выстраивания процессов с учетом легаси.
➡️Подписывайтесь на серию писем, это бесплатно. Оставляйте email-адрес на сайте проекта — первое письмо придет 15 сентября.
✈️🌍 FlightGear: мощный симулятор полетов с открытым исходным кодом.
Созданный для исследователей и энтузиастов авиации, FlightGear предлагает реалистичную симуляцию полетов с поддержкой множества самолетов и ландшафтов. Проект активно развивается сообществом, предоставляя возможность пользователям вносить свой вклад и улучшать опыт.
🚀Основные моменты:
- Поддержка множества типов самолетов и ландшафтов.
- Реалистичная физика полета и погодные условия.
- Многофункциональный интерфейс и расширяемая архитектура.
- Активное сообщество разработчиков и пользователей.
- Кроссплатформенная доступность.
📌 GitHub: https://github.com/FlightGear/flightgear
#c++
В C есть синтаксис, который выглядит как опечатка:
case '0' ... '9':
switch вообще не должен компилироваться.case.
case '0' ... '9':
return DIGIT;
case 'a' ... 'z':
case 'A' ... 'Z':
return LETTER;
case для цифр и ещё десятков для букв — одна строка на диапазон.
🔥 Хочешь быстрее расти в IT? Хватит учиться в одиночку
Окружение решает больше, чем кажется.
Собрал папки и каналы, где можно быстрее влиться в нужное направление, следить за трендами и не вариться в своём пузыре.
AI: t.me/ai_machinelearning_big_data
Python: t.me/pythonl
Linux: t.me/linuxacademiya
Хакинг: t.me/linuxkalii
DevOps: t.me/DevOPSitsec
Docker: /channel/+90Z5TAyfuNU5YmRi
Golang: t.me/Golang_google
Rust: t.me/rust_code
C++: t.me/cpluspluc
C#: t.me/csharp_1001_notes
Java: t.me/javatg
JavaScript: t.me/javascriptv
React: t.me/react_tg
Frontend: t.me/front
PHP: t.me/phpshka
Android: t.me/android_its
Мобильная разработка: t.me/mobdevelop
Базы данных: t.me/sqlhub
Data Science: t.me/data_analysis_ml
Big Data: t.me/bigdatai
Математика: t.me/data_math
Физика: t.me/fizmat
Kubernetes: t.me/kubernetc
GameDev: /channel/gamedev
Haskell: t.me/haskell_tg
Собеседования и карьера:
DS собеседования: t.me/machinelearning_interview
Python собеседования: t.me/python_job_interview
Папка с вакансиями: t.me/addlist/_zyy_jQ_QUsyM2Vi
Папка Go разработчика: t.me/addlist/MUtJEeJSxeY2YTFi
Папка Python разработчика: t.me/addlist/eEPya-HF6mkxMGIy
Папка ML: /channel/addlist/2Ls-snqEeytkMDgy
Папка Frontend: /channel/addlist/mzMMG3RPZhY2M2Iy
Полезное сверху:
ИТ-мемы: t.me/memes_prog
Английский для программистов: t.me/english_forprogrammers
ИИ и технологии: t.me/vistehno
954 ГБ open-source курсов: /channel/+rKBQEMccAA01MTcy
ИТ-книги бесплатно: /channel/addlist/BkskQciUW_FhNjEy
Max Ai: https://max.ru/ai_machinelearning_big_data
Max python: https://max.ru/pythonl
ТЕХНО: https://max.ru/vistehno
Max Go: https://max.ru/Golang_google
Max Linux: https://max.ru/linuxkalii
Devops: https://max.ru/DevOPSitsec
C#: https://max.ru/csharp_ci
C++: https://max.ru/cpluspluc
SQL: https://max.ru/sqlhub
Java: https://max.ru/javatg
Подписывайся на нужные направления и собирай себе ленту, которая реально двигает вперёд.
🖥 C++26 закрывает одну из самых больных тем lock-free кода - безопасное удаление памяти.
Проблема не в atomics.
Проблема в том, что один поток уже убрал узел из структуры, а другой всё ещё может его читать.
Удалишь слишком рано, получишь use-after-free.
Поэтому в C++26 стандартизируют Hazard Pointers.
Идея простая:
поток заранее помечает объект как “я сейчас его читаю”.
Пока хотя бы один reader держит такой hazard pointer, объект нельзя удалять.
Удаление откладывается до момента, когда все читатели закончат работу.
Это делает lock-free структуры вроде стеков, очередей и списков намного безопаснее.
Lock-free программирование становится не магией, а чуть более нормальным инженерным инструментом.
⚙️ Обычный strcat() в цикле может незаметно превратить простую склейку строк в O(n²).
Причина в том, что strcat() при каждом вызове сначала ищет конец уже собранной строки.
Чем длиннее буфер, тем больше данных приходится повторно проходить.
Например:
for (int i = 0; i < 100000; i++)
strcat(buf, "chunk");
char *p = buf;
for (int i = 0; i < 100000; i++) {
memcpy(p, "chunk", 5);
p += 5;
}
📚 Библиотека для работы с SQLite в C++26 с использованием рефлексии
Reflite — это библиотека на C++26, которая упрощает взаимодействие с SQLite, позволяя использовать обычные структуры как основу для выполнения запросов. Она поддерживает основные операции: вставка, удаление, выборка и обновление, избавляя от лишнего шаблона кода.
🚀 Основные моменты:
- Легковесная библиотека в одном файле
- Поддержка операций INSERT, DELETE, SELECT, UPDATE
- Использует рефлексию для работы с типами структур
- Не требует полной реализации SQL, фокус на простоте
- Совместима с современными компиляторами C++26
📌 GitHub: https://github.com/KaruroChori/reflite
#cpp
🎶 Оптимизированный аудиовизуализатор для Windows
Spectrum — это легковесный аудиовизуализатор на C++, который обрабатывает звук в реальном времени и выводит его в консоль без разрывов экрана. Он использует FFTW3 для анализа аудиосигналов и обеспечивает точное визуальное представление частот.
🚀 Основные моменты:
- Реализация на C++17 для Windows.
- Низкое использование CPU и памяти.
- Поддержка WASAPI для захвата системного звука.
- Отображение в виде ASCII-графиков.
- Легкий в использовании и установке.
📌 GitHub: https://github.com/majockbim/spectrum
#cpp
⚡️ Генератор случайных чисел всего из трёх XOR и сдвигов
В 2003 году Джордж Марсалья представил xorshift - один из самых простых и быстрых генераторов псевдослучайных чисел.
Классический xorshift32:
uint32_t xorshift32(void)
{
state ^= state << 13;
state ^= state >> 17;
state ^= state << 5;
return state;
}
shift → XOR
shift → XOR
shift → XOR
state период может достигать:
2³² - 1
Лето, ИТ-Пикник и музыка известных артистов уже через несколько дней!
8 августа в Коломенском пройдет ИТ-Пикник.
В программе — выступления проекта LAB Антона Беляева, IOWA, Cream Soda, Pompeya, мартина и Совы.
А днем — научпоп-лекции, дискуссии об ИИ и больших языковых моделях, мастер-классы и интерактивы. Полезные знакомства и развлечения тоже будут.
Зарегистрироваться и узнать подробности можно на сайте мероприятия.
В билет входит +1 — можно позвать близких и друзей.
До встречи в месте притяжения ИТ.
Оператор # в препроцессоре C превращает токены в строковые литералы ещё на этапе компиляции.
Никакого преобразования во время выполнения не происходит.
Ядро Linux использует этот трюк в макросах вроде WARN_ON(), чтобы вывести точное условие, которое не прошло проверку.
Вы пишете выражение один раз, а препроцессор автоматически генерирует соответствующую строку.
Один оператор - и ваши debug-сообщения остаются идеально синхронизированы с кодом.
C++ enum class: безопасно, но местами раздражаетenum class даёт строгую типизацию и не позволяет случайно смешивать значения с обычными числами.
Но есть нюанс: даже если enum используется как набор флагов,
Flags::Read | Flags::Write
|, &, ^, ~ придётся вручную определить операторы и приводить значения к базовому типу.enum внутри namespace: меньше защиты, зато код значительно проще.
Читать полностью…
🔥 Как найти младший установленный бит без цикла
Этот трюк возвращает позицию самого правого бита 1 в 32-битном числе:
static const int table[32] = {
0, 1, 28, 2, 29, 14, 24, 3,
30, 22, 20, 15, 25, 17, 4, 8,
31, 27, 13, 23, 21, 19, 16, 7,
26, 12, 18, 6, 11, 5, 10, 9
};
int lowest_set_bit(uint32_t v)
{
return table[((v & -v) * 0x077CB531U) >> 27];
}
v & -v изолирует младший установленный бит.0x077CB531 из последовательности де Брёйна. Для каждой из 32 возможных позиций старшие 5 бит произведения образуют уникальный индекс.v != 0.std::countr_zero() или __builtin_ctz() - компилятор часто превращает их в одну инструкцию процессора.
Читать полностью…
🌍🚀 Pointerverse: Версионный контроль для ветвящихся миров
Pointerverse — это детерминированный движок для создания проверяемых миров. Вы описываете мир как программу, создаете контент-адресованные коммиты и проверяете каждое изменение по заданным законам. Это позволяет воспроизводить историю и анализировать последствия изменений.
🚀Основные моменты:
- Детерминированное управление историей с проверкой на соответствие законам.
- Возможность ветвления и сравнения различных сценариев.
- Полная воспроизводимость и защита от подделок с помощью Merkle DAG.
- Поддержка написания собственных миров с использованием языка .pv.
📌 GitHub: https://github.com/farukalpay/Pointerverse
Даже формально верифицированный компилятор может ошибаться
В 2011 году исследователи тестировали CompCert случайно сгенерированными C-программами и нашли wrong-code баг в таком выражении:
return -1 <= (1 && x);
Правильный результат — 1, но CompCert 1.6 для PowerPC возвращал 0.
Ошибка оказалась не в доказанно корректном оптимизаторе, а в неверифицированном фронтенде.
Формальная верификация защищает только те части системы, для которых действительно построено доказательство.