VDC vs. FSTA: Два ETF-а, одинаковых, как два брата

Оба ETF-а стремятся к одному: захватить сектор потребительских товаров США. Но VDC, как старший брат, ведёт себя увереннее: его активы в 5,5 раза больше, а история — на 9 лет длиннее. Всё, что можно сказать о FSTA, — это что он «молод и резв».

Вероятностные требования: от текста к формальной верификации

Редактор вероятностных требований FRET позволяет пользователю вводить требования на естественном языке (в формате FRETish), после чего система интерпретирует их семантику и генерирует соответствующую формулу PCTL$^*$, обеспечивая чёткое и формальное представление исходных намерений.

Новый подход позволяет автоматически переводить требования, выраженные естественным языком, в формальную логику, что открывает возможности для надежной проверки систем с элементами неопределенности.

XLK или IYW: Что выбрать инвесторам в технологии?

Оба ETF-а, как два пажа в зале министерства финансов, стремятся поймать душу технологий, но каждый по-своему. XLK, словно страж, охраняет сектор технологий S&P 500, держа в руках сокровищницу ликвидности, тогда как IYW, как голодный пчеловод, втапливает в себя коммуникационные услуги и притягивает больше пчел.

SaaS-акция упала на 45%, но стала ставкой в 12,5 млн

Секретный документ, поданный в У.S. Securities and Exchange Commission, раскрыл, как TFJ Management укрепила позиции в CCC Intelligent Solutions Holdings Inc. Фонд теперь держит почти 1,4 млн акций, что составляет 12,46 млн долларов. Это составляет 8,39% от всех активов фонда, как будто маленький злодей втиснул свою лапу в кормушку.