Верификация программ на ARM ассемблере
—
от автора
—
от автора
В своей прошлой статье я описал процесс верификации примитивной функции на Си. Параллельно привел соображения, почему верификация Си кода недостаточна для того, чтоб считать программу безошибочной. В основном эти соображения сводятся к мысли, что написать код — это только часть…
—
от автора
Вчера я зашел в Microsoft Store и немного покрутил Surface в руках, чтобы принять решение, покупать его, или нет. Это был «Surface with Windows RT», построенный на ARM-процессоре. Pro-версия, совместимая с x86-приложениями, будет доступна только через несколько дней. Заметно, что…
—
от автора
Возможное, многие из вас думали после ситуации с Фобос-Грунтом — что такого особенного в микросхемах для космоса и почему они столько стоят? Почему нельзя поставить защиту от космического излучения? Что там за история с арестом людей, которые микросхемы экспортировали из…
—
от автора
Здравствуйте, друзья. Уже несколько лет читаю хабр, и решил, что пришла пора внести и стою толику опыта и знаний. Я начал заниматься программированием ровно 20 лет назад, планомерно увлечение переросло в хобби, а хобби в работу и профессию. Сейчас мне…
—
от автора
Все мы любим популярный CSS-фреймворк Twitter Bootstrap, облегчающий разработку. За год существования многие CMS обзавелись базовыми темами на основе Bootstrap. Представляю вашему вниманию подборку таких шаблонов. Wordpress BootstrapWP
—
от автора
Задача поста — освежить информацию о работе с WIA в .NET, лежащую на просторах сети, т.к. большинство примеров безбожно устарели (они не работают), поделиться опытом с интересующимися и спросить совета у бывалых. Я думаю, совместно обсудить некоторые моменты, будет полезно…
—
от автора
Иногда бывает нужно найти какую-любо программу для тестирования, на уязвомости. Я составил свой список русскоязычных ресурсов по ИБ где можно достать (купить или бесплатно добыть) софт или услуги той сферы.
—
от автора
Добрый день, любители интересного. Совсем недавно мы лицезрели новую функцию «Редактирование комментариев». Теперь в каждом отредактированном комментарии появляется приписка (комментарий был изменён). Как оказалось. Эта приписка появилась и в старых публикациях, когда отредактировать что-либо самостоятельно было невозможно. Подробнее под катом.
—
от автора
Патентное ведомство США предварительно признало недействительным знаменитый патент № 7,469,381, в том числе часть 19, которую компания Apple успешно использовала против Samsung, Nokia и HTC. Пересмотр осуществлён на основании дополнительной информации, предоставленной неназванным источником весной этого года. На основании новой…
—
от автора
В одной из наших статей на Хабре мы обещали, что скоро выпустим обновление личного кабинета, а также нашего бесплатного приложения Ivideon Server для организации видеонаблюдения и трансляций на сайтах. При этом мы акцентировали внимание на том, что в новой версии…