Compagnia di san Maurizio
[Свежие записи][Архив][Друзья][Личная информация]
[¤ Стихи.]
[¤ Путь разума.]
[¤ Наблюдения.]
[¤ Реконструкция.]
[¤ Музыкальное.]
[¤ progs.]
Below are the 20 most recent journal entries recorded in the "Дуче" journal:[<< Previous 20 entries]
07:22 pm
![[User Picture]](http://l-userpic.livejournal.com/32990366/3569661) [ссылка] |
Обратная связь Здесь мне можно написать все, что угодно, или задать любой вопрос :)
Пишу, о чем взбредет в голову, правда есть несколько тем, которым уделяю особое внимание: Стихи - Иногда просыпается вдохновение. Путь разума - Тему уже закрыл, оставлено для истории. Наблюдения - Мелочи, с удивлением обнаруженные по жизни. Реконструкция - О реконструкции исторических костюмов и событий. Музыкальное - ибо люблю слушать и исполнять оную. Программистское - здесь вроде все ясно.
Буду рад новым друзьям
|
02:44 pm
![[User Picture]](http://l-userpic.livejournal.com/32990366/3569661) [ссылка] |
Пример использования модальностей Недавно обсуждали с psilogic подходы к формализации высказываний, в том числе использование модальных логик. И вот натыкаюсь на живой пример использования модальностей "как правило" и "почти" в сугубо формальном смысле.
Мы рассматривали преобразование диаграм между двумя нотациями, и вот что есть в обсуждении:
Как правило, схема в нотации исполнения А и схема в нотации описания Б будут почти совпадать, но почти никогда не будут совпадать на 100%. Возможны следующие расхождения: • В А есть блоки, которых нет в Б; • В А есть стрелки, которых нет в Б; • В Б есть блоки, которых нет в А; • В Б есть стрелки, которых нет в А; • Одна схема в А реализует несколько схем из Б, в том числе являющихся декомпозицией блоков из схем верхнего уровня; • Одна схема в Б реализуется несколькими схемами из А; • Один блок в А реализует несколько блоков в Б (необязательно последовательных); • Один блок в Б реализуется несколькими блоками в А.
Если проигнорировать первое предложение, содержащее модальности, то прочтение перечня возможных расхождений оставляет ощущение, что запись некоторой диаграммы в нотации А будет на корню отличаться от записи в нотации Б. Применение же модальностей все расставляет по своим местам.
P.S. От сих ввожу метку logic. Предчувствую, что эта тема будет богата :)
Tags: logic, progs
|
11:26 pm
![[User Picture]](http://l-userpic.livejournal.com/32990366/3569661) [ссылка] |
Манифест прикладного конструктивизма У программного обеспечения, всякого рода уникальные и модные фишечки считаются конкурентным преимуществом. А ну как в этом контексте читается такое?
g) Ориентация не на полноту теорий, а на их адекватность. h) Полный отказ в связи с этим от критики по принципу «У Вас нет того-то». Введение в математические обычаи критики по принципу «А зачем у Вас здесь есть это? Нельзя бы было без него обойтись?»
Манифест есть здесь: http://vfc.org.ru/bitrix/tools/form_show_file.php?rid=447&hash=92b69635c04708adc1dffdc9220fa5d1&lang=ru
Tags: progs
|
12:43 pm
![[User Picture]](http://l-userpic.livejournal.com/32990366/3569661) [ссылка] |
Стихи в цифрах 8 11 9 1 70 10 4 20 14 30 0 3 1044
200 400 300 500 78 12 9 2010 2 0 1070 20
30 3040 600 70 213 311 8 6 0 1009 7 20
powered by refal-machine
Tags: progs, stihi
|
11:30 pm
![[User Picture]](http://l-userpic.livejournal.com/32990366/3569661) [ссылка] |
Клавиатурный тренажер В прошлые новогодние каникулы, так сказать между делом, на пару с товарищем сваяли онлайновый клавиатурный тренажер. Как это обычно бывает, хотелось сделать что-то полезное для себя своими же руками, несмотря на то, что подобных программ уже полно :)
Сильно распространяться о достоинствах не буду, что у нас получилось, можно по-быстрому оценить здесь: http://time-speed.ru/cgi-bin/demo.cgi
Сейчас число пользователей готовится перевалить за психологически значимый барьер в 1000 человек, строго говоря, для онлайн-проекта это совсем немного. Но с другой стороны, для первого опыта - совсем неплохо :)
Буду признателен за высказанные отзывы, предложения, да и просто ощущения от ;)
UPD. Тут у меня спрашивают, мол, как так быстро сделали? На самом деле, конечно проект родился не за неделю. К моменту начала совместной работы уже был действующий прототип и кое-какие наработки от прошлых теоретических изысканий. Ну и на запуск сайта ушел еще месяц.
Tags: progs
|
11:28 pm
![[User Picture]](http://l-userpic.livejournal.com/32990366/3569661) [ссылка] |
RoboZZle Прикольный паззл для программистов http://robozzle.com Впрочем, непрограммисты тоже с удовольствием играют) Сделано на Silverlight, штука пока не очень распространенная, так что может потребоваться установка компонента для браузера.
Tags: progs
|
10:33 pm
![[User Picture]](http://l-userpic.livejournal.com/57857805/3569661) [ссылка] | Распустился цветок на багровом горизонте, Потянулся стебельком, как живое, к солнцу И опал дождем, превращаясь в пыль...
2000 г.
Tags: stihi
|
08:44 pm
![[User Picture]](http://l-userpic.livejournal.com/32990366/3569661) [ссылка] |
Ням С вашего позволения, напишу тупой пост :)
Поставил веб-камеру. +1 игрушка. Доволен.
|
01:49 am
![[User Picture]](http://l-userpic.livejournal.com/28348694/3569661) [ссылка] | Я не пророк. И стать пророком Быть может мне не суждено. Так, взором бить мне не дано Подальше собственного носа. И доведется ль внять вопросам - Лишь в половину услыхать смогу, И быть к ответному труду Язык не приспособлен сносно.
А на Руси - уж так ведется, В ком вестник пробудит свой глас И развернется без прикрас, В ком сердце бешено забьется, Как птица, к небесам взовьется, Чтоб увидать поближе свет, Тот может дать один ответ: - Пророком быть..., - се с уст сорвется.
Tags: stihi
|
09:47 pm
![[User Picture]](http://l-userpic.livejournal.com/43291280/3569661) [ссылка] |
Кийосаки устарел Думается, взгляд Кийосаки на инвестирование, как на самый экономически эффективный вид деятельности, несколько устарел. Наибольшая отдача сегодня идет от производства и владения технологиями. И кажется не случайным, что его книги обрели популярность (субъективное заключение, основанное на том, что за последние пару лет проскальзывали, а местами даже явно навязывались преимущества инвестирования перед предпринимательством и особенно наемным трудом) именно сейчас, т.к. ориентация на прямые инвестиции фактически направляет капитал в руки владельцев и производителей различных технологий, давая им возможность развиваться и усиливать свое влияние, в то время как инвестор всего лишь получает дополнительные деньги. Другими словами, посулами финансовых выгод, нас убеждают инвестировать в наиболее прибыльные и стабильные бизнесы, на поверку оказывающиеся расположенными большей частью в США и Европе, но только не на нашей собственной территории.
Забавно, до чего доходит. Представитель некого сетевого бизнеса (естественно, без названия, чтоб им еще бесплатную рекламу давать, щазз) 2 часа объяснял преимущества инвестирования перед наемным трудом. Показывал на примерах, что работа именно в его компании является инвестированием, что можно иметь возрастающие прибыли при уменьшающемся затрачиваемом времени. В чем-то он конечно прав, не учитывается только один момент: реальную прибыль получает не он, со своими 30 тырами в месяц, а компания-организатор сетевого бизнеса.
Фактически, армия сетевиков играет по чужим правилам на чужом поле, заведомо оказываясь в стратегическом проигрыше, так как попадает в зависимость от компаний-организаторов, не получая ничего, кроме относительного благосостояния (и то далеко не всеми участниками), ограниченного навыка прямых продаж и основательно промытых чужими ценностями мозгов. Хуже всего то, что даже такой результат кажется превосходным на фоне окружающей бедности...
Tags: about, economics
|
07:11 pm
![[User Picture]](http://l-userpic.livejournal.com/32990366/3569661) [ссылка] |
"Just for fun" "Просто фофан"
Tags: about
|
04:49 pm
![[User Picture]](http://l-userpic.livejournal.com/32990366/3569661) [ссылка] | Душно тут у нас... Привезли коробки с кондиционерами, поставили в комнате. Прохладнее не стало, но на душе потеплело :)
Tags: about
|
08:03 pm
![[User Picture]](http://l-userpic.livejournal.com/32990366/3569661) [ссылка] | Повторение, мать - учение.
Tags: about
|
12:39 am
![[User Picture]](http://l-userpic.livejournal.com/32990366/3569661) [ссылка] |
Происхождение видов Тем, кто считает, что есть только две теории возникновении жизни (креационизм и дарвинизм) и их вариации, рекомендую к прочтению работы Любищева. Есть хорошие примеры нетривиальных альтернатив. http://lub.molbiol.ru/02_02.html
Tags: about
|
03:44 pm
![[User Picture]](http://l-userpic.livejournal.com/32990366/3569661) [ссылка] |
хм.. Правда ли, что по-албански можно писать только на русском?
Tags: about
|
01:58 am
![[User Picture]](http://l-userpic.livejournal.com/32990366/3569661) [ссылка] |
хыхы нашел на выпускном диске старые студенческие фотки))))
 ( Посмотреть в полный размер, 154,29 КБ, 800x513 )
Tags: about
|
06:03 pm
![[User Picture]](http://l-userpic.livejournal.com/43291280/3569661) [ссылка] |
Плакат агитка 2004 года :) http://img1.nnm.ru/imagez/gallery/doci/shl/shlakonada-1163486149_i_4244_full.jpg
Tags: reconstruction
|
02:15 pm
![[User Picture]](http://l-userpic.livejournal.com/32990366/3569661) [ссылка] | Века прошедшие помогут нам советом, Быть проще в чем-то, быть мудрее. Так Соломонов перстень душу греет: Конечно, все пройдет... пройдет и это.
Tags: stihi
|
05:03 pm
![[User Picture]](http://l-userpic.livejournal.com/32990366/3569661) [ссылка] |
K2 Enterprise Сегодня наткнулся на название продукта (корпоративная поисковая система): "K2 Enterprise". Обалдеть, вот где творческая мысль удачно поработала над названием ПО :) Кстати, это ПО оказалось удачным не только по названию, но подозреваю, что последнее сыграло немалую роль в успехе.
Tags: about
|
12:58 am
![[User Picture]](http://l-userpic.livejournal.com/32990366/3569661) [ссылка] | Мы друг друга с тобой понимаем С полужеста, порой с полувзгяда, И веков пелена не преграда - Зову древнего духа внимаем.
Мы знакомы будто бы вечность, В глубине наших глаз потаенной Ищем память о были сожженной, Вновь рожденной при встрече, конечно.
Настроение: Засыпаю... Музыка: Geyers - Freies Wort Tags: stihi
|
[<< Previous 20 entries] |