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
#prog #abnormalprogramming
What is this?
This is a proof by construction that the Intel MMU's fault handling mechanism is Turing complete. We have constructed an assembler that translates 'Move, Branch if Zero, Decrement' instructions to C source that sets up various processor control tables. After this code has executed, the CPU computes by attempting to fault without ever executing a single instruction.
github.com/jbangert/trapcc
(thanks @Des333)
What is this?
This is a proof by construction that the Intel MMU's fault handling mechanism is Turing complete. We have constructed an assembler that translates 'Move, Branch if Zero, Decrement' instructions to C source that sets up various processor control tables. After this code has executed, the CPU computes by attempting to fault without ever executing a single instruction.
github.com/jbangert/trapcc
(thanks @Des333)
GitHub
GitHub - jbangert/trapcc: Computing with traps
Computing with traps. Contribute to jbangert/trapcc development by creating an account on GitHub.
🤯4🔥1