Когда мы говорим о разработке современных сложных систем, будь то распределённые базы данных, микросервисная архитектура или облачные платформы, на первый план выходит одна и та же проблема — обеспечение надёжности и корректности работы. В последние годы всё больше внимания получают формальные методы, среди которых особое место занимает TLA⁺. Но что происходит сегодня с TLA⁺? И каким может быть будущее этого языка и его экосистемы? 📖 Что такое TLA⁺ и зачем он нужен? TLA⁺ (Temporal Logic of Actions) — это формальный язык спецификаций, созданный легендарным Лесли Лэмпортом...

Известен по большей части тем что смог похитить дочь генерала Засса. Во время завоевания Россией Кавказа был эпизод когда Хырцыж Али, позже погибший, и два его товарища Хатокшоко Магомет Аша и Лlы Гурэ совершили похищение дочери генерала Засса почти из-под его носа, т.е. из Прочноокопской крепости. Али держал ее у себя целый год, сохраняя ее честь. За это время ее познакомили с жизнью черкесов, с обычаями, традициями вынужденно воюющего народа. Учили ее языку черкесов, этикету (Адыгэ Хабзэ). Ее научили танцам и вышивке золотыми нитями. Она увидела и почувствовала уровень высокой общественной жизни народа, с которым воевал ее отец, и она прониклась симпатией...