Тут недавно новая книга вышла, о которой мне лента линкедина любезно рассказала раз десять кряду.
Выглядит довольно интересно. Тема паттернов/шаблонов проектирования в SV ООП в интернетах представлена слабо, но является важной на мой взгляд. Т.к. верификация - это по сути написание программ, пускай и специфичных, а поэтому верификатор - программист, которому неплохо было бы знать и классические типовые подходы решения типовых проблем.
Я даже начал собирать информацию по теме, и писать некоторое количество заметок, в надежде сделать лонгриды, но теперь как будто уже не надо, т.к. там информации уже в разы больше.
Попадёт ли эта книга в must-read список верификатора? Кто знает. Осталось лишь дождаться пока приедет. Пока можно лишь изучить примеры из книги, лежащие на гитхабе https://github.com/mxg/topaz
Тут недавно новая книга вышла, о которой мне лента линкедина любезно рассказала раз десять кряду.
Выглядит довольно интересно. Тема паттернов/шаблонов проектирования в SV ООП в интернетах представлена слабо, но является важной на мой взгляд. Т.к. верификация - это по сути написание программ, пускай и специфичных, а поэтому верификатор - программист, которому неплохо было бы знать и классические типовые подходы решения типовых проблем.
Я даже начал собирать информацию по теме, и писать некоторое количество заметок, в надежде сделать лонгриды, но теперь как будто уже не надо, т.к. там информации уже в разы больше.
Попадёт ли эта книга в must-read список верификатора? Кто знает. Осталось лишь дождаться пока приедет. Пока можно лишь изучить примеры из книги, лежащие на гитхабе https://github.com/mxg/topaz
Groups are also not fully encrypted, end-to-end. This includes private groups. Private groups cannot be seen by other Telegram users, but Telegram itself can see the groups and all of the communications that you have in them. All of the same risks and warnings about channels can be applied to groups. Andrey, a Russian entrepreneur living in Brazil who, fearing retaliation, asked that NPR not use his last name, said Telegram has become one of the few places Russians can access independent news about the war. The message was not authentic, with the real Zelenskiy soon denying the claim on his official Telegram channel, but the incident highlighted a major problem: disinformation quickly spreads unchecked on the encrypted app. To that end, when files are actively downloading, a new icon now appears in the Search bar that users can tap to view and manage downloads, pause and resume all downloads or just individual items, and select one to increase its priority or view it in a chat. "There are a lot of things that Telegram could have been doing this whole time. And they know exactly what they are and they've chosen not to do them. That's why I don't trust them," she said.
from ua
