TG Telegram Group & Channel
dd if=/dev/stuff of=/dev/tg | United States America (US)
Create: Update:

Разрабатывать конкурентные системы сложно. Самые плохие ошибки закрадываются в алгоритм еще на стадии проектирования, не находятся никакими тестами и ждут реальной нагрузки и своей уникальной последовательности событий, чтобы взорваться и всё испортить.

Находить такие ошибки можно, даже не написав ни строчки кода — если пользоваться методами формальной верификации алгоритмов. Таких методов много. Вместе с Алексеем Найденовым (ITooLabs) поговорим про TLA+/TLC, про PlusCal — транслируемый в TLA+ язык спецификации алгоритмов специально для инженеров, про инструментарий, а также про практики применения TLA+/TLC в реальных проектах https://clck.ru/X9JVa.

Осталось совсем мало времени, чтобы забронировать по выгодной цене свое участие в Saint HighLoad++. Торопитесь! Программа и билеты https://clck.ru/X9JWK

Forwarded from HighLoad++
Разрабатывать конкурентные системы сложно. Самые плохие ошибки закрадываются в алгоритм еще на стадии проектирования, не находятся никакими тестами и ждут реальной нагрузки и своей уникальной последовательности событий, чтобы взорваться и всё испортить.

Находить такие ошибки можно, даже не написав ни строчки кода — если пользоваться методами формальной верификации алгоритмов. Таких методов много. Вместе с Алексеем Найденовым (ITooLabs) поговорим про TLA+/TLC, про PlusCal — транслируемый в TLA+ язык спецификации алгоритмов специально для инженеров, про инструментарий, а также про практики применения TLA+/TLC в реальных проектах https://clck.ru/X9JVa.

Осталось совсем мало времени, чтобы забронировать по выгодной цене свое участие в Saint HighLoad++. Торопитесь! Программа и билеты https://clck.ru/X9JWK


>>Click here to continue<<

dd if=/dev/stuff of=/dev/tg






Share with your best friend
VIEW MORE

United States America Popular Telegram Group (US)