Рубрика «alloy»

На Software Engineering Stack Exchange я увидел такой вопрос: «Что мешает широкому внедрению формальных методов?» Вопрос был закрыт как предвзятый, а большинство ответов представляли собой комментарии типа «Слишком дорого!!!» или «Сайт — это не самолёт!!!» В каком-то смысле это верно, но мало что объясняет. Я написал эту статью, чтобы дать более широкую историческую картину формальных методов (FM), почему они на самом деле не используются и что мы делаем для исправления ситуации.

Прежде чем начать, нужно сформулировать некоторые условия. На самом деле существует не так много формальных методов: всего несколько крошечных групп. Это означает, что разные группы по-разному применяют термины. В широком смысле есть две группы формальных методов: формальная спецификация изучает запись точных, однозначных спецификаций, а формальная проверка — методы доказательства. Сюда входят и код, и абстрактные системы. Мало того, что мы используем разные термины для кода и систем, мы часто используем разные инструменты для их верификации. Чтобы ещё больше всё запутать, если кто-то говорит, что создаёт формальную спецификацию, обычно это означает и верификацию дизайна. А если кто-то говорит, что делает формальную верификацию, обычно это относится к верификации кода.
Читать полностью »

Эта клавиатура заставит вас страдать и испытывать боль — я на полном серьёзе. И да, я не шучу: если у вас проблемы с мелкой моторикой либо если ваш скил — это просто жать на кнопки, чтобы получить какой-то результат НЕ ПОКУПАЙТЕ эту клавиатуру. Молю, если в строках выше вы узнали себя, а мысль о покупке этой клавиатуры не покинула вас, глубоко вдохните и ударьте себя — может, получится выбить эту дурную мысль из головы. А если вы уверены, что можете делать правильные вещи в нужный момент, эта клавиатура сможет вывести вашу игру на новый уровень.

HyperX Alloy FPS RGB – первая игровая клавиатура HyperX с RGB-подсветкой в переключателях, киллер-фичей которой стали как раз переключатели. Вместо классики Cherry MX Speed Silver в Alloy FPS установлены превосходящие их Kailh Silver Speed. На Хабре нет места пустым заявлениям, поэтому приступаем к доказательствам.

Ни единого шанса сопернику – берём на вооружение ультраскоростную клавиатуру HyperX Alloy FPS RGB - 1
Читать полностью »

Есть такая поговорка: хорошего человека должно быть много. К хорошим клавиатурам это тоже относится, но далеко не всегда в прямом смысле слова.

HyperX Alloy FPS Pro: tenkeyless-дизайн классической механики для любителей качественной периферии - 1

Иногда хочется, чтобы хорошей клавиатуры было как можно меньше — и вот компактная механика HyperX Alloy FPS PRO уже здесь. Tenkeyless-дизайн и возможность всегда взять любимицу с собой в комплекте.
Читать полностью »

Привет, GT! Споры о том, что есть «благо» в мире клавиатур не утихают, и правду-то не найти никакими средствами. Ладно субъективные характеристики, о вкусах не спорят и всё такое, но так и «объективщину» ухитряются зацепить так, что модераторы за табельное оружие хватаются.

HyperX Alloy Elite — железная заявка на победу - 1

Игровое подразделение HyperX уже пробовало свои силы в создании хорошей универсальной клавиатуры, настало время для второй попытки. Сегодня подробно изучаем HyperX Alloy Elite  — скелетную «механику» для работы и игр. Погнали!
Читать полностью »

У каждой компании-разработчика настаёт такой период в жизненном цикле, когда приходит понимание того, что будущее уже здесь. И нужно срочно определить, ты уже в будущем, ты безнадёжно отстал или тебе его ещё можно догнать и встроиться в него. Мы много лет занимаемся системами мониторинга сети и управления ИТ-инфраструктурой. Ну то есть ITIL, SAM, ITSM — наше всё. В последнее время на конференциях, семинарах и конгрессах мы всё чаще сталкиваемся с понятием IoT (интернет вещей). Нам интересно, что ждёт нашу компанию в контексте этих процессов, как вообще IoT влияет на бизнес и как дальше жить. Мы изучили проблему, ответили на свои же вопросы и сегодня готовы поделиться рассуждениями с вами. Всё получилось не так визионерски и фантастически, как мы это предполагали. Проза жизни, проза технологий, и немного паники.

А вот и IoT - 1
Читать полностью »

Продукция компании HyperX с самого начала была нацелена на тех, кому нужна была максимальная производительность и надёжность: профессионалы, игроки, оверклокеры. Первые продукты — отобранная и протестированная память, готовая работать на агрессивных таймингах и быстрые SSD с отличными показателями и расширенной гарантией легко завоевали сердца покупателей. Эксперимент с гарнитурами, построенными по тем же принципам: надёжность и эффективность — оказался удачным, и вот настало время ещё одного периферийного девайса.

HyperX Alloy FPS — надёжность превыше всего - 1

Каждый раз, как на GT появляется тема с выходом новой (игровой) клавиатуры, она порождает знатную войну в комментариях. Начинается всё с прений на тему ISO’шный «гнутый» Enter против ANSI’шного «прямого», затем идёт критика дополнительных кнопочек, подсветок, выбранных свичей, материалов корпуса… В общем, традиции в комментах вы и сами соблюдёте, а пока встречайте: механическая клавиатура Alloy FPS. Красная подсветка, модный нынче минимализм и, ставший классическим для продукции HyperX акцент на надёжность — в комплекте.
Читать полностью »

Следующее высказывание с легкостью может прозвучать от того, кто только что начал изучать Titanium:

JavaScript?! Как Phonegap? Не, я лучше сделаю нативное приложение.

Разумеется, у меня были подобные беседы с клиентами, когда я был фриланс-разработчиком на Titanium. И уж конечно, как Developer Advocate, я частенько слышу это когда начинаю объяснять Titanium разработчикам, которые ищут кросс-платформенное решение для создания приложений.
Читать полностью »