[Перевод] Один баг в проде, после которого я всерьёз воспринимаю неопределённое поведение

Много лет назад моя рутинная работа заключалась в поддержке большой базы кода на C++. Этот проект был настоящим кормильцем всей компании, и в нём предоставлялся публичный HTTP API, через который принимались онлайн-платежи. Речь шла об обработке платежей в размере миллиардов евро ежегодно. Тогда меня ещё было не назвать опытным C++-разработчиком. Разумеется, я знал о неопределённом поведении, но как о чём-то абстрактном, о беде, которая приключается только с новичками. Как же я был неправ! В этой статье везде, где написано «структура», я имею в виду «структура или класс».

https://habr.com/ru/articles/1043796/

#баг #UB #неопределённое_поведение #c++ #программирование

Один баг в проде, после которого я всерьёз воспринимаю неопределённое поведение

Много лет назад моя рутинная работа заключалась в поддержке большой базы кода на C++. Этот проект был настоящим кормильцем всей компании, и в нём предоставлялся публичный HTTP API, через который...

Хабр

New #openaccess publication #SciPost #Physics

Adaptive-basis sample-based neural diagonalization for quantum many-body systems

Simone Cantori, Luca Brodoloni, Edoardo Recchi, Emanuele Costa, Bruno Juliá-Díaz, Sebastiano Pilati
SciPost Phys. 20, 158 (2026)
https://scipost.org/SciPostPhys.20.6.158

#INFNPerugia #CamerinoUniversity #UB #ICCUB
#MUR

Everything in C is undefined behavior

If he had been a programmer, Cardinal Richelieu would have said “Give me six lines written by the hand of the most expert C programmer in the world, and I wi...

Я дал LLM писать unsafe Rust полгода. Miri плакал

Полгода я давал LLM писать unsafe Rust в боевых проектах и разбирал каждый блок под miri и санитайзерами. Категории ошибок, которые модели делают стабильно: aliasing, провенанс, layout в alloc/dealloc, забытый ManuallyDrop, гонки в FFI-колбэках, ручные Send/Sync, uninit-память, Pin. Каждая категория идёт с минимальным примером и фиксом.

https://habr.com/ru/articles/1035914/

#Rust #unsafe #miri #FFI #UB #aliasing #MaybeUninit #Pin #LLM #AI

Я дал LLM писать unsafe Rust полгода. Miri плакал

Этот код прошёл мои code review, ревью второго коллеги, тесты, CI с clippy и десять дней работал в проде: let mut out = Vec::with_capacity(estimated_size); let written = unsafe {...

Хабр

Bun Rust rewrite: "codebase fails basic miri checks, allows for UB in safe rust"

https://github.com/oven-sh/bun/issues/30719

#HackerNews #BunRust #Rewrite #UB #SafeRust #MiriChecks #Codebase

all of rust codebase: This codebase fails even the most basic miri checks, allows for UB in safe rust · Issue #30719 · oven-sh/bun

error: Undefined Behavior: constructing invalid value of type &[u8]: encountered a dangling reference (0x20933[noalloc] has no provenance) --> src/main.rs:97:18 | 97 | unsafe { core::slice::from_ra...

GitHub

Nice video where we can see mongolia during the winter.

1st Arrival In Ulaanbaatar, Mongolia 🇲🇳 (World's Coldest Capital) - YouTube

https://www.youtube.com/watch?v=072TdwVQf9w

#mongolia #ub #travel #vlog

1st Arrival In Ulaanbaatar, Mongolia 🇲🇳 (World's Coldest Capital)

YouTube
Playing with #craft #epoxy #resin . Hubs made this from the box of the #lego set our daughter bought and assembled for herself. Coming soon: some #mtg #magicthegathering #tmnt #ub #universesbeyond pieces! I need daylight to #phtotograph them.

El #CRAI de la universidad de Barcelona #UB participa a la VI Jornada Estadística #REBIUN a la #UAM | Centre de Recursos per a l'Aprenentatge i la Investigació - CRAI UB

https://crai.ub.edu/noticies/el-crai-de-la-ub-participa-la-vi-jornada-estadistica-rebiun-la-uam

El CRAI de la UB participa a la VI Jornada Estadística REBIUN a la UAM | Centre de Recursos per a l'Aprenentatge i la Investigació - CRAI UB

El CRAI de la UB participa a la VI Jornada Estadística REBIUN, que se celebra a la Universitat Autònoma de Madrid, en format híbrid (presencial i en streaming).