В динамичном мире микросервисов измениться может все что угодно — любой компонент можно переписать на другом языке, используя иные фреймворки и архитектуру. Неизменными должны оставаться лишь контракты, для того, чтобы с микросервисом можно было взаимодействовать извне на некой постоянной основе, вне зависимости от внутренних метаморфоз. И сегодня мы расскажем о нашей проблеме выбора формата описания контрактов и поделимся найденными артефактами.
Рубрика «контракты»
Так все-таки RAML или OAS (Swagger)?
2019-09-11 в 5:15, admin, рубрики: OAS, RAML, swagger, Блог компании Acronis, контракты, микросервисы, Облачные вычисления, облачные сервисы, Совершенный код
Почему люди не используют формальные методы?
2019-01-23 в 20:09, admin, рубрики: ACL2, alloy, Altran, Cleanroom, CompCert, Euclid, IronFleet, Isabelle, Praxis, smt, TLA+, z3, контрактное программирование, контракты, логика Хоара, математика, Надя Поликарпова, Программирование, решатель, типизация, формальные методы, формальные языки, языки спецификацийНа Software Engineering Stack Exchange я увидел такой вопрос: «Что мешает широкому внедрению формальных методов?» Вопрос был закрыт как предвзятый, а большинство ответов представляли собой комментарии типа «Слишком дорого!!!» или «Сайт — это не самолёт!!!» В каком-то смысле это верно, но мало что объясняет. Я написал эту статью, чтобы дать более широкую историческую картину формальных методов (FM), почему они на самом деле не используются и что мы делаем для исправления ситуации.
Прежде чем начать, нужно сформулировать некоторые условия. На самом деле существует не так много формальных методов: всего несколько крошечных групп. Это означает, что разные группы по-разному применяют термины. В широком смысле есть две группы формальных методов: формальная спецификация изучает запись точных, однозначных спецификаций, а формальная проверка — методы доказательства. Сюда входят и код, и абстрактные системы. Мало того, что мы используем разные термины для кода и систем, мы часто используем разные инструменты для их верификации. Чтобы ещё больше всё запутать, если кто-то говорит, что создаёт формальную спецификацию, обычно это означает и верификацию дизайна. А если кто-то говорит, что делает формальную верификацию, обычно это относится к верификации кода.
Читать полностью »
Корпорация Google отказалась от борьбы за миллиардный контракт Пентагона
2018-10-10 в 10:09, admin, рубрики: Google, ИИ, искусственный интеллект, контракты, Пентагон, США, финансы в IT
На днях стало известно о том, что корпорация Google отказалась от участия в конкурсе Пентагона на разработку «умной» системы облачных вычислений. По словам представителей компании, отказ объясняется конфликтом идей проекта с этическими принципами Google относительно работы с ИИ-технологиями.
Срок действия контракта составляет 10 лет, проект называется Joint Enterprise Defense Infrastructure cloud (JEDI). На участие в нем претендуют такие компании, как Amazon, Oracle, Microsoft и IBM.
Читать полностью »
Как мы участвовали в хакатоне по дата журналистике. Социально значимое: Государству виднее
2016-02-28 в 23:10, admin, рубрики: 2015, 75%, data mining, бурятия, воспитание, госорагны, график, ДТП, инн, интеграция, классификация, компания, контракты, крым, Медиа, минфин, окпд, открытые данные, печатные, Питон, правила, предпринимательство, пропаганда, процедура, рабочий, реестр, Роскомнадзор, роспечать, самопиар, сканы, СМИ, социальные проекты, статьи, субдии, таблица, толерантность, Хакатоны, цена, электронные, метки: субдииСегодня закончился «первый» хакатон по дата журналистике. Мы заняли на нём первое место. Проделали огромный объём работы за одни сутки. Я хотел бы рассказать как всё было.
Темой хакатона были финансы российских СМИ. Ежегодно государство поддерживает СМИ, поднимающие в своих материалах социально важные темы. Для этого проводится специальный конкурс. Главным критерием отбора получателей субсидий является «социальная значимость» проекта. Мы решили понять, что скрывается за формулировкой «социальная значимость» и какие темы оказались самыми популярными и «дорогими» в 2015 году.
Забегая вперёд, скажу, что ответ такой:
- По опросам очень много россиян считают себя патриотами, но государство всё равно даёт больше всего денег на проекты про патриотизм.
- 2015 год был годом литературы и на него пришлось 70 лет победы, поэтому «год литературы» и «историческая память в топе».
- Субсидии, по идее, должны даваться на социально значимые проекты, «развитие Крыма», например, не очень в тему.
- В целом складывается ощущение, что чаще пишут и читают об исторической памяти, чаще вспоминают достижения прошлых лет, в то время как на материалы об инновациях и новых технологиях государство выделяет меньше.
А теперь как мы пришли к этим выводам.
Читать полностью »
«Связной» и МТС угрожают друг другу многомиллионными штрафами
2015-10-02 в 10:13, admin, рубрики: бизнес-модели, вымпелком, иски, контракты, Мегафон, МТС, операторы связи, рост аудитории, Связной, судебное разбирательствоТорговая сеть «Связной» и оператор МТС будут разрешать взаимные претензии через суд. Ретейлер намерен взыскать с МТС агентское вознаграждение 680,8 миллионов рублей за контракты, которые он продавал в своих салонах в 2015 году. МТС выплатил вознаграждение за продажу не в полном объеме, объяснила представитель «Связного» Мария Заикина.
Однако МТС отказалась платить деньги, сославшись на якобы низкое качество и количество подключений после возвращения в «Связной» «Мегафона» и «Вымпелкома».
По мнению МТС, после их возвращения, с апреля 2015 года, ретейлер стал работать в этом направлении намного хуже. По словам представителя МТС Солодовникова, оператор направил ретейлеру акты о штрафных санкциях примерно на 800 миллионов рублей.Читать полностью »
Подрядчик МВД откажется от попыток взломать Tor
2015-09-09 в 10:17, admin, рубрики: Tor, госзакупки, государственные структуры, деньги, информационная безопасность, контракты, луковая маршрутизация, мвд, Министерство внутренних дел, научные исследования, регулирование интернета 
Центральный научно-исследовательский институт экономики, информатики и систем управления (ЦНИИ ЭИСУ) собирается в односторонеем порядке расторгнуть 4 госконтракта с учреждением «Специальная техника и связь» (НПО СТиС) Министерства внутренних дел России, сообщает газета «Коммерсантъ».
Данные о контрактах закрыты, но, согласно документации, в 2013 году ЦНИИ ЭИСУ договорилась со СТиС о выполнении работ с названиями «Углярка (Флот)» и «Сахалинка-13 (Флексура)», а в 2014 — «Хамелеон-2 (Флот)» и «ТОР (Флот)». Последняя работа — это и есть то исследование возможностей деанонимизации пользователей Tor, которое получило внимание СМИ и технических специалистов летом 2014 года.
Читать полностью »
Жилой комплекс из Флориды штрафует клиентов за отрицательные отзывы на $10000
2015-03-11 в 16:39, admin, рубрики: контракты, мелкий шрифт, недвижимость, Социальные сети и сообщества, штрафы, электронная коммерция 
Плохой отзыв об отеле, ресторане или кафе может просто похоронить бизнес. А если плохих отзывов много, то можно смело закрываться, и отправляться на поиски иной судьбы (правда, есть и исключения из этого правила, причем таких исключений довольно много). Так вот, на Geektimes уже публиковался материал об отеле в Англии, который прописал в правилах пребывания постояльцев запрет на негативный отзыв. Отель просто штрафовал постояльца на 100 фунтов стерлингов, если сотрудники находили отрицательный отзыв, оставленный этим человеком, к примеру, на Trip Advisor.
Теперь подобную практику пытаются перенять и другие «бизнесмены». Например, жилой комплекс из Флориды тоже прописал запрет на негативные отзывы. При этом штраф гораздо выше, чем в случае отеля, здесь он составляет...$10000! И еще $5000 за каждое повторное нарушение. Вот контрактик, скан-копия.
Читать полностью »
Firefox меняет поиск по умолчанию на Яндекс и Yahoo
2014-11-20 в 6:13, admin, рубрики: Firefox, Google, mozilla, борьба за пользователей, браузеры, деньги, доходы, контракты, поиск по умолчанию, соглашения, яндексYahoo заменит Google в США, Яндекс — в России
Mozilla Foundation — некоммерческая организация, которая преследует множество полезных для человечества целей. Её существование связано с банальными финансовыми проблемами, несмотря на все возвышенные намерения.
Поэтому для встраивания в свой браузер поисковой системы по умолчанию Mozilla заключает соглашения с частными компаниями. В 2010 году считалось, что встроить свой поиск в Firefox компании Google обходится примерно в 100 миллионов долларов в год. И для Mozilla эта статья доходов остаётся наибольшей, к примеру, за тот же 2010 год всего было собрано 123 млн долларов.
Mozilla закончила длившуюся с 2004 года сделку с Google. В мае прошлого года Yahooo купила Tumblr, где сейчас ведётся корпоративный блог компании Мариссы Майер. Опубликованный исполнительным директором пост гласит, что Mozilla и Yahoo заключили соглашение на следующие 5 лет. Никаких данных о финансовой стороне контракта объявлено не было.
Теперь Yahoo Search будет поиском по умолчанию в Firefox для жителей США. Кроме того, в декабре обновится интерфейс поисковой выдачи Yahoo. Сначала новый гуглоподобный дизайн будет доступен только для Америки, но в 2015 году его выкатят для всего остального мира.
По соглашению с Mozilla, Yahoo будет поддерживать настройку Do Not Track. В Firefox она не включена по умолчанию, поэтому таргетинг рекламы поисковика сильно не пострадает. Конечно, Google, Bing, DuckDuckGo, eBay, Amazon, Twitter и английская «Википедия» будут оставаться опциональными поисковиками, сменить приоритет которых можно буквально в два клика.
В рамках лозунга о «продвижении выбора и инноваций» в России поиском по умолчанию снова станет «Яндекс». Предустановленными поисковиками остаются Google, DuckDuckGo, OZON.ru, Price.ru, Mail.ru и русская «Википедия». У пользователя нет никакой особой сложности переключиться на них. Пока неизвестно, обошлось ли это российскому поисковику в копеечку, или Mozilla просто идёт на подобное в связи с разрывом десятилетнего соглашения с Google.
Читать полностью »
Переезд в Лондон. Дела контрактные
2014-08-10 в 15:35, admin, рубрики: Карьера в IT-индустрии, контракты, лондон, финансы, Финансы в IT-индустрии, фрилансОкончание. Часть 1,Часть 2,Часть 3. Все события происходили в 2012 — 2013 годах. Зарплаты и цены актуальны для 2014 года.
Вид на City, сердце деловой Великобритании
Сказать, что «увольняться в никуда» мне было страшно — значит ничего не сказать. Нет, конечно я знал, что в будущем я буду уходить на контракт и конечно хорошо подготовлюсь к этому… Однако будущее из туманного и далекого неожиданно стало четким и очень пугающим. Я был в чужой стране, с семьей, без работы, а денег было недель на шесть. Действовать надо было быстро.Читать полностью »
Контрактное программирование в PHP
2014-03-03 в 5:56, admin, рубрики: php, Веб-разработка, контракты, разработка, метки: aop, PHP, контракты 
В реальной жизни мы повсюду сталкиваемся с различными контрактами: при устройстве на работу, при выполнении работ, при подписании взаимных соглашений и многими другими. Юридическая сила контрактов гарантирует нам защиту интересов и не допускает их нарушения без последствий, что дает нам уверенность в том, что те пункты, которые описаны в контракте — будут выполнены. Эта уверенность помогает нам планировать время, планировать расходы, а также планировать необходимые ресурсы. А что если и программный код будет описываться контрактами? Интересно? Тогда добро пожаловать под кат!
Читать полностью »