ФРС дает понять, что планирует оставаться жесткой. Рынок прайсит пик ставки выше. Рынок труда всегда реагирует последним, и пока рынок труда остается сильным. Считаем, что локально в USD есть возможности для покупки. Это необязательно должно сопровождаться risk-off, но капитал может начать размещаться в высоких доходностях USD. Фактически все инвестиционные банки ожидали ралли в рынке бондов в 2023: оно началось, и сейчас корректируется. То есть доходности в USD локально высокие, при этом есть риски...

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