Выложили мой доклад на конференции SnowOne. Кажется он получился довольно удачным. Я подробно обсудил чем статически компилируемые языки такие как C++ отличаются от динамически компилируемых, таких как Java. Отдельно остановился на разгадке того факта почему в Java нет UB и привёл пример из C++ где по той же логике в C++ нет UB.
00:00 Введение. 08:18 Абстрактная машина языка и as-if rule. 16:44 Трансляционная семантика и виды поведения программ. 25:10 Борьба против UB это борьба против производительности. 35:20 Смешение трансляции и исполнения. 43:10 Резюме, выводы и ответы на вопросы.
Выложили мой доклад на конференции SnowOne. Кажется он получился довольно удачным. Я подробно обсудил чем статически компилируемые языки такие как C++ отличаются от динамически компилируемых, таких как Java. Отдельно остановился на разгадке того факта почему в Java нет UB и привёл пример из C++ где по той же логике в C++ нет UB.
00:00 Введение. 08:18 Абстрактная машина языка и as-if rule. 16:44 Трансляционная семантика и виды поведения программ. 25:10 Борьба против UB это борьба против производительности. 35:20 Смешение трансляции и исполнения. 43:10 Резюме, выводы и ответы на вопросы.
The administrator of a telegram group, "Suck Channel," was sentenced to six years and six months in prison for seven counts of incitement yesterday. Joined by Telegram's representative in Brazil, Alan Campos, Perekopsky noted the platform was unable to cater to some of the TSE requests due to the company's operational setup. But Perekopsky added that these requests could be studied for future implementation. With the “Bear Market Screaming Therapy Group,” we’ve now transcended language. Avoid compound hashtags that consist of several words. If you have a hashtag like #marketingnewsinusa, split it into smaller hashtags: “#marketing, #news, #usa. Private channels are only accessible to subscribers and don’t appear in public searches. To join a private channel, you need to receive a link from the owner (administrator). A private channel is an excellent solution for companies and teams. You can also use this type of channel to write down personal notes, reflections, etc. By the way, you can make your private channel public at any moment.
from us
