Часто говорят что нет программ без ошибок. Это мнение сильно коробило мои эстетические чувства, поэтому я постарался поразбираться с формальной верификцией программ, ведь она обещает нам максимально возможную гарантию безошибочности при которой утверждение о корректности программы доказывается как математическая теорема. Здесь представлю результаты моего краткого ознакомления с этой темой.
Читать полностью »
Архив за 30 июля 2012 - 7
Формальная верификация Си кода
2012-07-30 в 8:07, admin, рубрики: верификация, верификация программ, Программирование, формальная верификаци, метки: верификация, верификация программ, формальная верификациCorona SDK — для начинающих. Работа с несколькими сценами при помощи Storyboard API
2012-07-30 в 8:04, admin, рубрики: corona sdk, mobile development, storyboard, Разработка под android, разработка под iOS, метки: corona sdk, storyboardCorona SDK — это кросс-платформенный движок для создания игр под iOS и Android. Лично мне он нравится своей простотой освоения: пятерка в школе по паскалю — достаточный багаж знаний для покорения «короны». На хабре уже есть несколько статей на эту тему, но подробных уроков для начинающих как на этом, так и на других русскоязычных сайтах очень мало.
В этой статье я расскажу об одном из ключевых вопросов работы с Corona SDK — организация нескольких сцен в одном приложении.
Читать полностью »
Warsow 1.0
2012-07-30 в 6:05, admin, рубрики: game development, linux, open source, ubuntu., дизайн, игры, разработка, метки: linux, open source, Ubuntu, дизайн, игры, разработка
Спустя 7 лет разработки увидела свет первая мажорная версия Warsow. Warsow — это атипичный для OpenSource проект с рядом особенностей, и вот почему:
Читать полностью »
Acer Aspire M3 Ultra — обзор необычного ультрабука
2012-07-30 в 5:27, admin, рубрики: acer, ulmart, ultrabook, Блог компании Юлмарт, Железо, Ноутбуки, метки: acer, ulmart, ultrabook Дорогие мои и любимые читатели! Наконец-то запас ультрабуков
на платформе Intel Sandy Bridge у меня закончился. Крайний «ультрабук»
из этой серии, о котором хочу рассказать — это Acer Aspire M3. Почему в
кавычках? Потому что, диагональ 15,6" не вписывается в мои понятия об
сверхкомпактных портативных компьютерах, как впрочем и вес 2
килограмма. Почему же все таки он относится именно к этому семейству и
какие еще сюрпризы таятся в этом девайсе, расписано под катом.
Читать полностью »
В семейство планшетных компьютеров Casio Paper Writer вошли две модели
2012-07-30 в 5:25, admin, рубрики: Новости, метки: новостиОбновления 2ГИС Онлайн и API: поисковые подсказки и не только
2012-07-30 в 5:24, admin, рубрики: 2ГИС Онлайн, api 2гис, Блог компании ДубльГИС (2ГИС), ДубльГИС, метки: 2ГИС Онлайн, api 2гис, ДубльГисНесмотря на жаркое лето, работы над 2ГИС не прекращаются: последние обновления призваны сделать работу с 2ГИС Онлайн и API еще удобнее.
Помимо большого количества мелких улучшений, есть два заметных и важных.
Во-первых, теперь для поисковых полей работают подсказки, во-вторых, мы отказались от отдельной вкладки для поиска транспорта. Итак, по порядку.
Helloworld на магнитоле
2012-07-30 в 4:54, admin, рубрики: DIY, diy или сделай сам, embedded, lcd, microchip, pic16, микроконтроллер, Программинг микроконтроллеров, Электроника для начинающих, метки: DIY, embedded, lcd, microchip, pic16, микроконтроллер Неожиданный отпуск не повод расслабляться, и поэтому надо в срочном порядке сломать что-нибудь нужное и сделать что-нибудь ненужное.
Под катом немного электроники и совсем чуть-чуть ассемблера, специально для любителей ненормального железячного программирования.
Читать полностью »
Монетизация трафика: делай больше денег online!
2012-07-30 в 4:42, admin, рубрики: cpa, cpa network, Блог компании «CPA Network Russia», заработок в интернете, интернет-маркетинг, лидогенерация, монетизация интернет-проектов, монетизация сайтов, продажи, тизер, эффективная реклама, метки: cpa, cpa network, заработок в интернете, интернет реклама, интернет-маркетинг, лидогенерация, монетизация интернет-проектов, монетизация сайтов, продажи, тизер, эффективная рекламаВ эпоху Интернета только ленивый не задавался вопросом: как подзаработать, не выходя из дома? Правильно! Нам нужен тот, кто заплатит нам за наши труды в интернете, а именно рекламодатели, которые заинтересованы в получении неограниченного количества посетителей их сайта, а в конечном итоге – покупателей их продукта.
За что же они готовы платить?
В это статье речь пойдёт о двух устройствах одного производителя, призванных выполнять одну и ту же функцию. Но эти два устройства на сколько это возможно для читалок различны и выполняют свою функцию — чтение книг — максимально по-разному.
По сути, забегая вперёд, это два разных любопытных устройства: планшет, который хотел быть читалкой, и читалка, которая хотела быть планшетом.
![Обзор электронных книг PocketBook Pro 912 и A7"](https://www.pvsm.ru/images/obzor-elektronnyh-knig-PocketBook-Pro-912-i-A7-quot-.jpg "Обзор электронных книг PocketBook Pro 912 и A7"")
Всех, кому интересно почитать обзор этих электронных книг — прошу под кат.
Самый крупный заказ Acer на производство ноутбуков в следующем году достался Compal Electronics
2012-07-30 в 4:15, admin, рубрики: Новости, метки: новостиКак информируют источники среди поставщиков комплектующих, тайваньский контрактный производитель Compal Electronics получил заказ на изготовление большинства ноутбуков Acer в следующем году: на мощностях фирмы будет собрано 36% лэптопов с логотипом Acer. Исходя из плана компьютерного гиганта продать в следующем году около 30 миллионов ноутбуков, «относительные» 36% превращаются в «абсолютные» 10,8 миллиона устройств.