Выложили мой доклад на конференции 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 Резюме, выводы и ответы на вопросы.
Telegram has announced a number of measures aiming to tackle the spread of disinformation through its platform in Brazil. These features are part of an agreement between the platform and the country's authorities ahead of the elections in October. Ng Man-ho, a 27-year-old computer technician, was convicted last month of seven counts of incitement charges after he made use of the 100,000-member Chinese-language channel that he runs and manages to post "seditious messages," which had been shut down since August 2020. On June 7, Perekopsky met with Brazilian President Jair Bolsonaro, an avid user of the platform. According to the firm's VP, the main subject of the meeting was "freedom of expression." best-secure-messaging-apps-shutterstock-1892950018.jpg 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.
from us
