?

Log in

No account? Create an account

[icon] /^.in$/
View:Recent Entries.
View:Archive.
View:Friends.
View:Profile.
View:Website (/me (домен, хотящийся в углу комнаты)).
Missed some entries? Then simply jump to the previous day or the next day.

Tags:
Security:
Subject:Восставший
Time:06:40 pm
Я восстал из почти мёртвого состояния, в котором пребывал последние два дня.
В этой вашей Москве меня как-то очень удачно продуло, на обратном пути (в ночь со среды на четверг) в поезде обдалбывался лекарствами, а с поезда сразу попёр на военку, где до конца как-то пребывал в сознании, пожёвывая таблетки. Зато через три-четыре часа после входа в дом я потерялся до сегодняшнего утра. Сейчас температуры вроде нет, горло не болит, но слабость, в остальном ооок.

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

За два дня удалось развиртуалить: товарища Комбинатора (которому спасибо за гидство, терпение меня и прочие плюшки), cyber_lyric и red_buttons.
Также передаю привет violentlyshine, которую я донимал смсками и в жжтолке.
withComments $ arr (take 4) >>> delay new

[icon] /^.in$/
View:Recent Entries.
View:Archive.
View:Friends.
View:Profile.
View:Website (/me (домен, хотящийся в углу комнаты)).
Missed some entries? Then simply jump to the previous day or the next day.