🖥 Можно ли навсегда избавиться от утечек памяти из-за циклических ссылок?

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

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

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

Но мне кажется, что есть очень простой способ устранить циклические ссылки в программе, который можно реализовать практически в любом типизированном языке программирования, конечно, если при этом не использовать все разрешающее ключевое слово unsafe для Rust или оператор reinterpret_cast в случае С++. #cplusplus #cpp #программирование

⌛ В чем изначальная проблема?

Чтобы понять, почему проблема циклических ссылок до сих пор не была решена, следует пояснить, откуда эта проблема вообще взялась.

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

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

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

🔵 Эпсилон // @epsilon_h

Больше функциональности в C++23 Björn Fahller

🖥 C++23: Главные новинки, которые стоит знать. Спецификация C++23 почти устоялась, и компиляторы начинают подхватывать ключевые фичи. Это не революция, как C++20, а скорее «цивилизационный» апдейт — много удобных улучшений, которые сделают код чище и выразительнее.

1. std::print — наконец-то!
Забудьте про std::cout << "Hello, " << name << "!\n";. Теперь есть типобезопасный и быстрый аналог Python-стиля:

std::print("Hello, {}!\n", name);

Есть и std::println — сам добавляет перевод строки. Работает с char8_t для Unicode.

2. std::mdspan — многомерные массивы в стандарте
Мощный инструмент для научных вычислений и работы с матрицами. Не владеет данными, а лишь представляет многомерный «вид» на существующую память (как std::span, но для N измерений).

int data[2][3] = {...};
auto mat = std::mdspan(data, 2, 3);
std::print("{}", mat[1, 2]); // доступ по многомерному индексу

3. if consteval — замена старого трюка с std::is_constant_evaluated()

Теперь можно явно ветвить код: одна ветка для времени компиляции, другая — для выполнения.
if consteval {
    // вычисляем на этапе компиляции
} else {
    // рантайм-код
}

4. Упрощение лямбд
Лямбды становятся лаконичнее:
— Можно опустить () для пустого списка параметров: [] { return 42; }
— Разрешено [=, this] (раньше было нельзя, теперь this захватывается по ссылке явно).

5. #elifdef и #elifndef
Да, эти директивы наконец-то стандартизированы! Теперь можно писать:

#ifdef FOO
#elifdef BAR  // вместо #elif defined(BAR)
#elifndef BAZ
#endif

6. std::expected — монда для обработки ошибок
Альтернатива исключениям и кодам ошибок. Хранит либо результат, либо информацию об ошибке. Очень ожидаемая фича из Proposal P0323.

std::expected<int, std::string> parse(std::string_view sv);
auto val = parse("123");
if (val) { use(*val); }
else { std::cerr << val.error(); }

7. constexpr для std::optional и std::variant
Почти весь их API теперь можно использовать в constexpr-контекстах. Шаг к вычислениям на этапе компиляции с алгебраическими типами данных.

8. Новые атрибуты
[[assume(expr)]] — даём компилятору подсказку для оптимизаций (например, [[assume(x > 0)]]).
[[reproducible]] / [[unsequenced]] — для математических функций (пока экспериментально).

9. std::stacktrace — стектрейсы в стандарте!
Наконец-то можно легко получить и обработать call stack в исключениях или для логирования.

#include <stacktrace>
auto trace = std::stacktrace::current();
std::cout << std::to_string(trace);

10. Мелкие, но приятные улучшения
➖ std::vector::resize_and_overwrite — для эффективного заполнения буферов.
➖ contains() для строк и интервалов: if (str.contains("C++23"))
➖ <stdatomic.h> — C-совместимый заголовок для атомиков.
➖ Многочисленные фиксы и уточнения в библиотеке.

C++23 — это «сборник улучшений» (std::collected_improvements). Ничего сверхсложного, но многое делает код удобнее, безопаснее и выразительнее. Готовьте компиляторы (GCC 14, Clang 17+ уже многое поддерживают) и начинайте пробовать. А какая фича нравится вам больше всего? Делитесь в комментариях! #cplusplus #cpp #программирование

https://en.cppreference.com/w/cpp/compiler_support.html#C.2B.2B23

🔵 Эпсилон // @epsilon_h

🖥 Энтузиасты начали собирать модули оперативной памяти DDR5 в домашних условиях : правда или фейк?

Что понадобилось бы в гипотетическом сценарии:
1. Чипы памяти (DDR5 DRAM). Не просто чипы в корпусах BGA, а предварительно протестированные на заводе-изготовителе (Samsung, SK Hynix, Micron). Покупка "на стороне" — это 99% брак, отбраковка или чипы с неизвестными характеристиками.
2. PCB-плата. Не просто текстолит, а многослойная (часто 10+ слоев) плата со строжайшим соблюдением геометрии дорожек (длины, импеданса) для обеспечения сигнальной целостности на частотах 4800-8000 МГц и выше. Разводка для каждого производителя и чипа — уникальна и является коммерческой тайной.
3. PMIC (Power Management Integrated Circuit). Ключевое нововведение DDR5. Специализированная микросхема управления питанием, распаянная на модуль. Требует точнейшей подстройки.
4. SPD-чип. Запрограммированная микросхема с профилями таймингов, частотами и данными для инициализации BIOS/UEFI.
5. Оборудование:
— Точнейшая BGA-станция для монтажа микрочипов.
— Рентген-аппарат для контроля пайки BGA-шаров под чипом.
— Специализированное ПО и аппаратура для программирования SPD и конфигурации PMIC.
— Высокочастотный осциллограф (десятки ГГц) и анализатор цепей для валидации и тестирования.
6. Глубокие экспертные знания в области высокочастотной цифровой схемотехники, сигнальной целостности и протокола DDR5.

Самостоятельная "сборка" модуля лишена всякого практического смысла. Однако, глубокая модификация (моддинг) уже готовых модулей — это область, где можно применить инженерный подход и получить выгоду:
1. Замена микросхем SPD. Использование специализированных программаторов (например, RT809H) для прошивки кастомных таймингов или разблокировки скрытых профилей XMP/EXPO.
2. Модификация систем охлаждения. Замена стандартных радиаторов на высокоэффективные решения для экстремального разгона (энтузиастский оверклокинг под жидким азотом или фреоном).
3. Ремонт модулей. В некоторых случаях (при наличии оборудования и навыков) возможна замена поврежденных PMIC или SPD-чипов на исправные, что может вернуть к жизни дорогой модуль.
4. Глубокая настройка. Изучение влияния вольтажа, таймингов вторичного и третичного порядка через продвинутые инструменты оверклокинга (профиль "Memory Try It!" в некоторых BIOS, ASUS MemTweakIt и аналоги).

Забудьте о пайке чипов. Ваша "домашняя сборка" DDR5 начинается с покупки качественных модулей от Kingston, G.Skill, Corsair или других вендоров. Реальная экономия, производительность и надежность достигаются не сборкой с нуля, а:
▪️Грамотным выбором готового продукта под задачи.
▪️Профессиональным тонким разгоном и тестировами на стабильность (MemTest86, Karhu, TestMem5).
▪️Оптимизацией таймингов в BIOS.

Инвестируйте время в изучение тонкостей работы подсистемы памяти, а не в заведомо провальные кустарные эксперименты. Это принесет реальную техническую и финансовую выгоду. #DDR5 #hardware #память #оверклокинг #железо #инструкция #IT

🔵 Эпсилон // @epsilon_h

🤨 Хакер, мошенник, спецагент. Удивительная история Романа Веги

Роман Вега называет себя «свободным художником», но его биография достойна шпионского сериала. Он сотрудничал с советскими спецслужбами, выезжал на задания за рубеж как агент-радийщик и по серым схемам продавал режимам по всему миру спецоборудование — от детекторов лжи до аппаратов для разминирования. Наибольшую известность Роман получил как администратор сайта CarderPlanet, на котором тусовались мошенники со всего мира, подделывал банковские карты и печатал фальшивые паспорта.

Угодив за решетку, Вега провел 17 лет в американских тюрьмах. Сейчас он вышел на свободу. Роман не любит распространяться о том, чем занимается, и вообще крайне редко дает интервью. Однако нам повезло — мы смогли пообщаться с Вегой и услышать рассказ о его удивительной судьбе из первых уст. Так что предлагаем вам отложить все дела и погрузиться в историю, достойную остросюжетной экранизации. #hach #хакинг #взлом #уязвимости #программирование #математика

🔵 Эпсилон // @epsilon_h

🤨 Они хотят быть анонимными, но лишить анонимности обычных людей

Министр цифровизации Германии Карстен Вильдбергер предлагает ограничить детям доступ к соцсетям. Ну, думаю, интересно — что за человек решает, как немецким детям жить в интернете.

Смотрим биографию. Родился в Гиссене в 1969. Точка. Следующий кадр — 1997 год, защитил диссертацию по физике твёрдого тела. Потом сразу Boston Consulting Group (это топ-3 мирового консалтинга, туда берут одного из тысячи). Потом INSEAD — элитная бизнес-школа во Франции, год обучения стоит как квартира. Потом правление T-Mobile, Vodafone, австралийский телеком-гигант Telstra, немецкий энергетический концерн E.ON. Потом генеральный директор. Потом министр.

А между 1969 и 1997 — двадцать восемь лет белого шума. Никаких родителей. Никаких братьев-сестёр. Никакой школы. Никаких фотографий. Никаких статей в местной газете "наш Карстен победил на олимпиаде". Ничего.

Спрашиваем нейросети — откуда человек взялся?

ChatGPT: "Рекомендую Ancestry. com, подписка от $20 в месяц"

DeepSeek: "Вы не имеете права сомневаться в биографии государственного служащего"

Perplexity: "Это объясняется немецкой культурой приватности. Проверено 10 источников ✓"

Gemini: "Ваш запрос может содержать элементы теории заговора"

YandexGPT: "Хотите послушать музыку? У нас есть Rammstein!"

Grok: "Завидуешь, лошара?"

Claude: "Ноль информации. Зато давай порассуждаем про классовое неравенство и старые деньги, которые любят тишину"

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

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

Родителей нет — потому что "немецкая приватность".
Школы нет — потому что "корпоративный фон".
Биографии нет — потому что "технократ".

"Технократ" — это такой светский святой. Ему не нужна демократическая легитимность, он рождён из чистой компетенции. Откуда деньги на бизнес-школу за сто тысяч евро? Из компетенции. Кто устроил в элитный консалтинг сразу после аспирантуры? Компетенция. Как без единого дня в политике стал министром? Компетенция.

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

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

🔵 Эпсилон // @epsilon_h

💀 Топ-10 игр, после которых хочется работать только при ярком свете

1. Silent Hill 2 (PS2, PC, консоли) — эталон психологического хоррора. Не монстры страшны, а то, что творится в голове у главного героя. Туманный город до сих пор снится фанатам.

2. Amnesia: The Dark Descent (PC, консоли) — игра, которая научила целое поколение геймеров бояться собственной тени. Нет оружия, есть только нервы, темнота и понимание: тебя уже нашли.

3. Outlast (PC, консоли) — берете камеру с ночным видением и идете в сумасшедший дом. Бежать, прятаться, молчать. Классика found-footage в игровом формате. Бонус: не пытайтесь играть в наушниках на полную громкость.

4. Resident Evil 7: Biohazard (PC, консоли) — возвращение серии к корням хоррора. Клоакообразное южное поместье, психоделические кошмары и семья Бейкеров. После этой игры на дачу к родственникам ездить как-то не хочется.

5. P.T. (Playable Teaser) (PS4) — та самая «демо-версия» от Кодзимы и дель Торо, ставшая легендой. Бесконечный коридор, радио, петля времени и Лизa. Самая жуткая игра, которая официально никогда не выходила. Коллекционные PS4 с ней до сих пор на вес золота.

6. Alien: Isolation (PC, консоли) — лучшая игра про Чужого. Искусственный интеллект ксеноморфа, который действительно охотится на вас. 15 часов чистого стресса и попыток пересидеть монстра в шкафу.

7. Dead Space (PC, консоли) — космический хоррор в его апогее. Корабль «Ишимура» — это один большой скример и кровавый орнамент. Протокол «Отсекай конечности!» актуален до сих пор.

8. Visage (PC, консоли) — прямой наследник духа P.T. Дом, полный памятью о жутких событиях, и механика безумия, которая не даёт чувствовать себя в безопасности. Медленно, атмосферно и невыносимо напряжённо.

9. SOMA (PC, консоли) — от создателей Amnesia. Страх здесь не только в монстрах, а в осознании собственного существования, природы сознания и будущего человечества. Философский хоррор, который пугает даже после прохождения.

10. Darkwood (PC, консоли) — вид сверху только кажется безопасным. Топ-даун хоррор с уникальной атмосферой славянского мистического ужаса. Днём исследуешь лес, ночью — отбиваешься в укрытии. Звук и музыка здесь — главные враги.

🖥 Бонус для айтишников: Любая игра, в которой вам предлагают починить «несложную» legacy-систему на PHP 4 в полном одиночестве в 3 часа ночи перед релизом. Гораздо страшнее любого ксеноморфа.

☢️ А какую игру вы считаете самой страшной? И главное — хватило ли смелости пройти её до конца? #гейминг #хоррор #игры #gamdev #games

🔵 Эпсилон // @epsilon_h