Forwarded from ГОРИ ЯСНО
This media is not supported in your browser
VIEW IN TELEGRAM
Муд на 2023 - Дорожный чемодан
😁9👎5😢4👍2
#prog #c #cpp #article
C Compilers Disprove Fermat’s Last Theorem
И продолжение: Compilers and Termination Revisited
TL;DR: Компилятор C++ может удалить цикл без побочных эффектов, не доказывая, что он завершается, ввиду forward progress guarantee, компилятор C11 может сделать то же самое для циклов, у которых условие не является константным выражением, ввиду §6.8.5.6, для более старых версий стандарта C без этой оговорки непонятно.
А, и это из-за бага в LLVM в своё время затронуло Rust (issue).
C Compilers Disprove Fermat’s Last Theorem
И продолжение: Compilers and Termination Revisited
TL;DR: Компилятор C++ может удалить цикл без побочных эффектов, не доказывая, что он завершается, ввиду forward progress guarantee, компилятор C11 может сделать то же самое для циклов, у которых условие не является константным выражением, ввиду §6.8.5.6, для более старых версий стандарта C без этой оговорки непонятно.
А, и это из-за бага в LLVM в своё время затронуло Rust (issue).
😁5
Твиттер на радужной страже
Photo
Русская служба The Moscow Times
«Братство кольца». Путин одарил перстнями лидеров СНГ
Президент России Владимир Путин вручил «клубные кольца» восьми лидерам бывших советских республик, которые сейчас составляют Содружество независимых государств (СНГ), сообщил телеграм-канал «Пул Первого».
👍1
Блог*
Что-то про (не)рациональную трату средств
"Вдребезги" прочитал взахлёб за два дня. 540 страниц, на минуту.
Forwarded from Архонт щітпосту | #укртґ (FFARNN 🇺🇦)
Абсолютно епічно
1. Ендрю Тейт пише ідіотський твіт Греті Тунберг
2. Та йому відповідає зі смалл дік мемом
3. Він ображається і записує відео у відповідь
4. Румунські спецслужби знаходять у відео коробку від місцевої піцерії та затримують Тайта (не були впевнені, що він у країні)
1. Ендрю Тейт пише ідіотський твіт Греті Тунберг
2. Та йому відповідає зі смалл дік мемом
3. Він ображається і записує відео у відповідь
4. Румунські спецслужби знаходять у відео коробку від місцевої піцерії та затримують Тайта (не були впевнені, що він у країні)
🎉12😁7👎2💩2