среда, 10 сентября 2014 г.

Haifa Verification Conference

Вчера получил уведомление о том, что наша статья на конференцию HVC (http://www.research.ibm.com/haifa/conferences/hvc2014/) была принята:

The PC found the paper to be of borderline theoretical contribution,
but we all found the case study very interesting, and would therefore
like to offer you the opportunity to be accepted as a tool paper.
As a tool paper, your paper will be included in the proceedings (with
a smaller page limit), and you will have an opportunity to give a
(shorter) talk at the conference.
We would very much like to see your presentation at HVC, please let me
know if you are interested.
--Eran

четверг, 28 августа 2014 г.

XML: DOM - XmlDocument и исключение "невозможно разрешить удаленное имя"

Что делать, если происходит exception "невозможно разрешить удаленное имя" при открытии локального XML?

Ошибка происходит, если XmlDocument при отсутствии соединения пытается прочесть из интернета DTD, на который есть ссылка из XML, например такая:

<!DOCTYPE FBType SYSTEM "http://www.holobloc.com/xml/LibraryElement.dtd" >

После того, как проблема установлена, можно найти к ней решение: подключится к интернету или заставить XmlDocument не ходить в интернет за DTD. Для того, чтобы реализовать второй вариант, надо в свойствах XmlDocument, которые находятся в классе XmlReaderSettings поставить полю DtdProcessing значение DtdProcessing.Ignore и полю XmlResolver значение null. Под катом работающий пример.

воскресенье, 11 мая 2014 г.

Земляные работы - 2

Сегодня продолжение работ.

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


092042
092342
Его заключение:
132954_

Однако, время раскидывать камни. Продолжаем засыпать трубу гравием
101539

Сажаем посадки
104944

Какой туман

114240
Гравий досыпан до уровня трубы, кладём геотекстиль, на него надо ещё сантиметров 20 гравия.
114429

Сюда излишек гравия
121144

Работа освобождает
122315

Время разбирать мостик
123700

Мостик разобран
125023

Перед обедом
132727

Посадки посажены
142638

Работа освободила!
155741

Гравий досыпан.
155811

Время колоть дрова
170309



суббота, 10 мая 2014 г.

Земляные работы

Сегодня поехал на дачу поучаствовать в подготовке участка к строительству дома.

Везём вещи на дачу:



Приехали

Вскоре подвезли гравий.

И вот эта кучка камней стоит 8000??!


Здесь будет въезд. Тут были три калины (не Лады), я их уже выкопал.
Почти всю гору надо перекидать в канаву


А вот и калины



Гора не уменьшается ):


Сюда надо посадить три калины и две вишни
Как посадить дерево:
1. Выкопать яму

2. Взять мешок удобрений

3. ???
4. Profit!

Минус лопата
Тем временем:





пятница, 4 апреля 2014 г.

среда, 2 апреля 2014 г.

Параллельное программирование

Сегодня была очередная лекция по параллельному программированию. Рассказывал про OpenMP.

Презентацию можно посмотреть тут: http://yadi.sk/d/maxoUKSiLfyHT


четверг, 27 марта 2014 г.

Параллельное программирование

Была очередная практика. Она натолкнула меня на мысль, как можно ускорить освоение навыков программирования.
Если кому интересно, под катом запись.


вторник, 18 марта 2014 г.

Крым наш!

Поздравляю всех в воссоединением с Крымом!

Позволю себе процитировать своего хорошего друга: "Вот ловлю себя на мысли, что хочу жить в стране, которая выигрывает Олимпиады, президенту которой звонят все мировые лидеры, чтоб уточнить, что он имел ввиду. Стране, от которой отскакивает пустая болтавня, Стране, которой боятся перейти дорогу. И, какого хрена, мне пытаются помешать всякие либерастические проститутки, считающие себя рупором правды? Ведь, наверняка, если мы все захотим жить в такой стране, то, как Крым, будем в ней жить!"

Параллельное программирование

Провёл очередную практику - уже отдельно по группам. И это хорошо.


вторник, 11 марта 2014 г.

Программирование

Сегодня вёл очередную практику по параллельному программированию и занятие по алгоритмам и структурам данных (замещал уехавшего в командировку преподавателя).

На параллельном программировании решали задачи. С заданиями можно ознакомиться тут: http://rain.ifmo.ru/~lukinma/parallel14.htm.

Запись занятия для интересующихся можно найти тут: http://yadi.sk/d/-kCkRivVKKtKh
Мы сначала провели тест на знание алгоритмов поиска в ширину и в глубину, а затем решали задачи по книге Кормен, Ривест, Лейзерсон "Алгоритмы: Построение и анализ".


понедельник, 10 марта 2014 г.

Заезд в гости

Были в гостях сначала у моих родителей, потом у родителей жены. Наснимали много видео с Алёшей. Потихоньку под кат буду его выкладывать.

четверг, 6 марта 2014 г.

Параллельное программирование

Провёл очередную практику. Студенты, которые совсем ничего не умели, уже могут что-то написать.

Если кому интересны записи: http://yadi.sk/d/_4hRBX_qK56rv 

среда, 5 марта 2014 г.

Параллельное программирование

Провёл вторую лекцию по параллельному программированию. Студенты организовали её запись, когда смонтируют, выложу её в открытый доступ.

вторник, 4 марта 2014 г.

Параллельное программирование

Вёл вторую практику по параллельному программированию. Так как примерно половина группы не умеет программировать, то приходилось объяснять им основы. Для всех желающих скоро можно будет послушать запись.

воскресенье, 2 марта 2014 г.

Новости Turtleball

Правим баланс игры. Теперь у нас будет по-другому вычисляться количество жизней на уровнях и разная скорость черепах.

пятница, 28 февраля 2014 г.

среда, 26 февраля 2014 г.

Новости про игру

Вчера вечером и всё сегодняшнее утро готовился к лекции, а потом узнал, что мне отменили все лекции на неделях этой чётности.

Занимаюсь запуском рекламной кампании для нашей игры:
В Google play
В Магазине Samsung apps
В App store

Для этого нашёл все рекламные сети, в которых оплата за покупку и изучаю их условия.

пятница, 21 февраля 2014 г.

Параллельное программирование

Вчера вёл практику по параллельному программированию. Оказалось, часть студентов не умеют программировать вообще, часть умеют чуть-чуть, а часть уже готовые программисты. Думаю, что с этим делать.


вторник, 11 февраля 2014 г.

Монтаж видео

Вот уж не думал, что буду кого-то учить монтировать видео, тем более, платно. Тем не менее, это случилось. Под катом - видео урок, как наложить секундомер и титры на видео.


вторник, 4 февраля 2014 г.

Мы издаём нашу игру

Наша игра выходит в Samsung apps с поддержкой фонда 100% indie!
Сегодня вечером я расскажу, как мы собрали команду, сделали игру и договорились о её издании. Приходите: http://michael.timepad.ru/event/104178/ http://u1782.seemedia.pro/event/bitn

 Как выглядит игра: http://youtu.be/FyIKtoOzdmM