Друзья

[Свежие записи][Архив][Друзья][Личная информация]

Below are the 25 most recent friends journal entries:

Декабрь 27, 2009
04:36 pm ru_declarative [dmitriid] [ссылка]	Встречайте, http://erlanger.ru/ Встречайте, http://erlanger.ru/ Почти три года тому назад у Кирилла Заборского (Qrilka) и Олега Тайкало (mirrorer) появилась мысль, что неплохо было бы начать перевод документации по Эрлангу на русский язык. У меня тогда как раз намечались свободные вычислительные мощности и я легко поддался на уговоры разместить вики с переводами у себя на сервере. Время шло. Перевод шел с разной скоростью, обрастал такими вещами, как например, переводами man-страниц, и я на свою беду решил снабдить сайт еще и новостями из мира Erlanga. Это было два с половиной года тому назад. За два с половиной года набралось ни много ни мало 500 новостей (а если бы я не был ленивым, то их было бы в полтора раза больше :) ). Организовалось достаточно активное русскоязычное сообщество в Google Groups (в первую очередь благодаря «хозяину» группы Максиму Трешкину(zerthurd)) и в Jabber'е (признавайтесь, кто создал :) ) В общем, жизнь у русскоязычных Эрлангистов бьет ключом. Я посчитал, что негоже нам всем ютиться на erlanger.dmitriid.com и решил еще в январе 2009-го перенести сайт на подобающий домен. Всего год спустя необходимость поборола лент и вот — встречайте, http://erlanger.ru/ (1 комментарий \| Оставить комментарий)
01:45 pm ru_quadrivium [togo] [ссылка]	5. Воля PREV \| NEXT содержание 5.3. Решение Описательная часть Взвешивание оснований Экология решения Раскольников Судьба В чем состоит экологический смысл перехода от жребия к взвешиванию? Как состоялся этот переход? Зачем нам выбирать таким сложным образом — через основания, представленные в памяти индивида? Что мы от этого выигрываем? В стиле нашего исследования мы попытаемся выдвинуть очередную рискованную гипотезу. ( Read more... ) (Оставить комментарий)
Декабрь 26, 2009
12:10 pm ru_quadrivium [togo] [ссылка]	5. Воля PREV \| NEXT содержание 5.3. Решение Описательная часть Взвешивание оснований Экология решения Раскольников Судьба Допустим, я пытаюсь решить, что мне следует взять в поход — топор или фонарь (по какой-то причине у меня нет возможности взять и то, и другое одновременно). У меня есть некоторые основания как в пользу топора, так и в пользу фонаря. Выкидывая жребий, мы могли бы вовсе позабыть об этих основаниях. Теперь мы прибегаем к жребию только тогда, когда основания «не могут нам ничем помочь». Впрочем, мы могли бы сказать, что жребий придал силу некоторым основаниям, но это необязательно. Пожалуй, мы уже потеряли связь с культурой, где жребий придавал бы основаниям силу. Далее мы рассмотрим модель процедуры выбора, которая, по нашему мнению, могла бы служить ( Read more... ) (Оставить комментарий)
Декабрь 25, 2009
12:09 pm ru_quadrivium [togo] [ссылка]	5. Воля PREV \| NEXT содержание 5.3. Решение Описательная часть Взвешивание оснований Экология решения Раскольников Судьба Итак, выше мы согласились с тем, что жребий является элементарным волевым актом. Возможно, что эта форма сыграла важную роль в истории культуры. Трудно себе представить, как это можно было бы теперь проверить. Дальнейшую историю (или логику) развития волевого акта можно рассматривать с нескольких точек зрения. Во-первых, имеет место интериоризация этой функции, перенесение процедуры из внешней формы во внутреннюю (этому процессу подвержена любая высшая психическая функция). ( Read more... ) (Оставить комментарий)
12:02 am ru_lambda [kissto44ka] [ссылка]	лямбда-образ функции Помогите пожалуйста разобраться в лямбда-исчислении. Как определить лямбда-образ функции: F(<x1,x2...xn>)=max от i=1 до n (xi*n+i) понятно что образ будет вида: <<F>>=lambda y. (y<<0>> lambda y`("что-то еще если массив не пустой")) Но как описать функции длины и максимума? И как применить их? (9 комментариев \| Оставить комментарий)
12:20 am ru_declarative [shadow_aka_hf] [ссылка]	Как правильно писать библиотеки на Haskell или Ocaml, чтобы упростить их дальнейшее использование из других языков? Есть ли какой-то стандартный метод? (18 комментариев \| Оставить комментарий)
Декабрь 24, 2009
03:39 pm ru_quadrivium [togo] [ссылка]	5. Воля PREV \| NEXT содержание 5.2. Произвольное действие Ответственность за погоду Механизм выполнения участи История произвольности Человеческий глаз В связи с вопросами, обсуждаемыми выше, мы хотели бы затронуть проблему управления движениями человеческого глаза. Хотя по обыкновению эти движения производятся неосознанно, мы можем взять их под свой контроль. Если мы будем искать интегральную практику, в которую в качестве составного элемента входило бы движение глаз, то в первую очередь нам придет на ум практика смотреть. В общем случае эта деятельность включает в себя ( Read more... ) (Оставить комментарий)
Декабрь 23, 2009
02:49 pm ru_quadrivium [togo] [ссылка]	5. Воля PREV \| NEXT содержание 5.2. Произвольное действие Ответственность за погоду Механизм выполнения участи История произвольности Человеческий глаз Генезис произвольных движений давно стал предметом экспериментальных исследований в психологии. Большой интерес для нас представляют исследования, проведенные под руководством советского психолога А. В. Запорожца. Предметом этих исследований служило превращение движений внутренних органов, несущих вегетативную функцию, в движения произвольные. ( Read more... ) (Оставить комментарий)
Декабрь 22, 2009
11:52 pm ru_quadrivium [togo] [ссылка]	5. Воля PREV \| NEXT содержание 5.2. Произвольное действие Ответственность за погоду Механизм выполнения участи История произвольности Человеческий глаз Вернемся к настенным часам. Представьте себе, что, как и в случае с поднятием руки, я выкидываю жребий. Выпадает «остановиться». Этот результат придает силу некоторым основаниям в пользу остановки часов. Я говорю: «Смотрите, я принял решение в пользу остановки часов». Дальше все происходит само собой. Игральная кость приводит в действие невидимую нами конструкцию из нитей и рычагов. ( Read more... ) (Оставить комментарий)
08:31 pm ru_declarative [dmzlj] [ссылка]	OCaml 3.11 & Lwt Я правильно понимаю, что Lwt теперь умеет работать в нативном коде? (3 комментария \| Оставить комментарий)
Декабрь 21, 2009
04:46 pm esperanto [glitterboy4519] [ссылка]	Bloody Nose... Mi volas scii: Kiel oni diras "I have a bloody nose"? -Mi havas nazosangadon. -Mi havas nazosangfluon. aŭ -Mi havas nazosangumon. Mi pensas, ke oni povas diri "Mia nazo [sangas / estas sanganto]" per esperantigi "My nose [bleeds often / is bleeding]", sed mi volas scii kiel oni esperantigas la ideon, ke "Mi havas [korpoparton] kiu [fari ion]". Dankon!! (6 комментариев \| Оставить комментарий)
06:41 pm ru_quadrivium [togo] [ссылка]	5. Воля PREV \| NEXT содержание 5.2. Произвольное действие Ответственность за погоду Механизм выполнения участи История произвольности Человеческий глаз Я могу поднять сейчас руку, но могу этого и не делать. Я могу придать силу некоторому основанию в пользу поднятия руки, выкинув жребий (я должен жить в племени, практикующем жребий). Допустим, в некоторый момент я обнаружу, что моя рука поднята. Этот факт будет вписан в мою личную историю. Другие (и я сам) будут относиться к случившемуся как к моему свободному действию, то есть апеллировать к моему решению соответствующим образом. Я не могу избежать этой свободы. ( Read more... ) (Оставить комментарий)
02:49 pm ru_declarative [alexeyk77] [ссылка]	обработка конфигов роутеров День добрый! Заранее извиняюсь за несколько сумбурно сформулированный вопрос, ибо не представляю еще всех сложностей проблемы. Опишу вратце ситуацию и решаемую задачу: Есть организация - банк, в которой эксплуатируется множество телекоммуникационных устройств, в основном CISCO разных моделей, и FreeBSD по-мелочи. Есть специалисты, которые их конфигурируют. Также в организации есть прихлебатели типа меня - безопасники, задача которых бдить, контроллировать и быть в курсе. На данный момент не охваченный сегмент средствами моего технического мониторинга является как раз конфиги(настройки) сети. Собственно ставится задача выгружать, хранить и уметь извлекать нужную информацию о настройках. В основном конечно интерисует построение картины о возможности внешних поключений в сеть банка и разрешенных исходящих соединений из организации. В основном это нужно, что-бы иметь возможность проверить по-факту насколько реальные настройки соответсвуют задекларированным в различных политиках на бумаге. Технически мне видится, стоит задача парсинга конфигов циски и извлечения из них необходимых мне данных. После чтения статей, блогов, журналов о фнкциональном программировании у меня сложилось впечатление, что это как-раз та область "народного хозяйства", где применение функциональной парадигмы будет более оправдано и за счет гибкости подхода и поможет решить задачу. Но, если честно, я на 100% не представляю насколько будет все сложно и можно ли добиться результата вообще. Пока взял вот читать книгу по окамлу, но идет тяжко. Собственно вопрос, что думаете по поводу этой задачи и использования ФП-языков для ее решения? Стоит ли сосредоточиться на окамле или все-таки взять более распространенный питон? Ни питона ни окамла я не знаю, на фп раньше не писал, очень давно увлекался фортом. Основными средствами является С++ и немножко пхп. Заранее спасибо за помощь и мнение. (9 комментариев \| Оставить комментарий)
10:57 am ru_declarative [_adept_] [ссылка]	Вышел третий номер "Практики функционального программирования"! Вышел в свет третий выпуск журнала «Практика функционального программирования». Коллектив авторов поздравляет вас с наступающим Новым Годом! Чтобы вам было, чем занять послепраздничные выходные (и большую часть января :), мы подготовили для вас конкурс! Кроме того, в ~~уникальной цирковой~~ программе: рекурсивные функции тянут себя за хвост, факир прячет уходящие за горизонт фермы memcached под тонким уровнем абстракции, дрессированный верблюд превращается в кучу перьев и 1001 процесс, развенчание полиморфизма и разрезание функциональной парадигмы на части без наркоза. Перейти к оглавлению номера. (2 комментария \| Оставить комментарий)
Декабрь 20, 2009
03:47 pm ru_quadrivium [togo] [ссылка]	5. Воля PREV \| NEXT содержание 5.1. Жребий Феномен свободы воли Выготский о жребии Присваивание жребия Практика индивидуального решения Инициация Как мы можем себе помыслить перерождение существа в субъекта выбора? Должны ли мы представить своеобразный обряд инициации, где человек принимает первое в своей жизни решение? Вообразим, как доброе племя дружно собирается с наступлением праздника. Все расступаются перед юным существом, к которому до самого последнего момента племя относилось не как к человеку, а скорее как к цветку. И даже слова в его устах воспринимались всего лишь как птичий лепет и шуршание листьев. ( Read more... ) (Оставить комментарий)
Декабрь 19, 2009
10:44 pm ru_lambda [beroal] [ссылка]	GHCi, пользовательский интерфейс Существует ли примочка для GHCi, чтобы он запоминал между запусками, какие модули подключены, историю команд? Update. Действительно, история команд сохраняется, я упустил это. Даже поиск команд по Ctrl+R, как в bash, есть. Как правильно заметил mibori, меня интересует нечто большее, использование GHCi вместо bash. На Haskell можно писать скрипты, но интерпретатор Haskell на низком уровне. И сохранять определения, данные через "let … = …" и "var <- …", было бы неплохо, а они сбрасываются даже при перезагрузке модуля, не говоря о перезагрузке GHCi. И нужна частичная загрузка модуля, то есть когда загружаются только корректные определения из модуля. (16 комментариев \| Оставить комментарий)
11:34 am ru_quadrivium [togo] [ссылка]	5. Воля PREV \| NEXT содержание 5.1. Жребий Феномен свободы воли Выготский о жребии Присваивание жребия Практика индивидуального решения Инициация Чтобы добраться до сути дела, нам необходимо реконструировать ситуацию, в которой функционирует практика свободы воли. Следует представить себе культуру, в которой практикуется «принятие решения отдельными индивидами». Представим себе, что группа попадает в ситуацию, из которой ведут два альтернативных пути. Речь идет о событиях, в которых должны принять участие все участники группы, но, возможно, действие должен осуществить ( Read more... ) (Оставить комментарий)
Декабрь 18, 2009
09:06 pm ru_quadrivium [togo] [ссылка]	5. Воля PREV \| NEXT содержание 5.1. Жребий Феномен свободы воли Выготский о жребии Присваивание жребия Практика индивидуального решения Инициация Как мы должны понимать «самость»? С чьей точки зрения следует говорить, что человек «сам ввел в ситуацию стимул-средство»? С точки зрения самого этого человека? С точки зрения его соплеменников? Как эту точку зрения можно было бы реализовать? Ну, возможно, человек может прямо об этом сказать. Человек говорит: «Смотрите, я выбросил жребий». В этом все дело. ( Read more... ) (Оставить комментарий)
Декабрь 17, 2009
01:40 pm kolmogorov [jleb] [ссылка]	Pейтинг российских университетов Составлен независимый рейтинг российских университетов (1 комментарий \| Оставить комментарий)
08:57 pm ru_quadrivium [togo] [ссылка]	5. Воля PREV \| NEXT содержание 5.1. Жребий Феномен свободы воли Выготский о жребии Присваивание жребия Практика индивидуального решения Инициация Выготский называл жребий элементарным волевым актом. Если человек попадет в ситуацию противоположных стимулов, приблизительно равных по силе, то не уподобится собакам профессора Павлова, впадавшим в истерику, или ослу Буридана, погибшему от голода. Человек выбросит жребий. Здесь предполагается, что акт выбрасывания жребия детерминирован ритуалом, а необходимость исполнения выпавшей участи психологически неотвратима. ( Read more... ) (Оставить комментарий)
Декабрь 16, 2009
11:35 pm ru_quadrivium [togo] [ссылка]	5. Воля PREV \| NEXT содержание 5.1. Жребий Феномен свободы воли Выготский о жребии Присваивание жребия Практика индивидуального решения Инициация В своей работе «Рациональность в действии» Джон Сёрль пишет: «Мы, без сомнений, обладаем опытом, который я называю опытом разрыва, то есть мы ощущаем наши собственные нормальные добровольные поступки в том ключе, что чувствуем, что нам открыты альтернативные возможности, а психологических предпосылок действия недостаточно, чтобы совершить поступок». [23, 304] Сёрль приводит аргументы в пользу предположения о том, что существования оснований еще недостаточно для принятия намерения, а самого предварительного намерения еще недостаточно для действия. ( Read more... ) (Оставить комментарий)
Декабрь 15, 2009
08:08 pm ru_quadrivium [togo] [ссылка]	4. Опыт времени PREV \| NEXT содержание 4.4. От рождения к смерти (некоторые нерешённые проблемы) Рождение и смерть Сон Рейхенбах Вопросы, затронутые в этой главе, тесно связаны с представлением о «стреле времени», предмете, который по обыкновению проходит по ведомству физики. Чаще всего этот вопрос связывается со вторым законом термодинамики, определяющим, в каком направлении должны протекать термодинамические процессы. Примером такого подхода служит несколько причудливая, но изящная теория Ганса Рейхенбаха, описанная в книге «Направление времени». Утверждается, что Рейхенбах намеревался посвятить последнюю главу своей книги вопросу о соотношении «между субъективным переживанием времени человеком и объективными свойствами времени в природе» [20, 357], однако ( Read more... ) (Оставить комментарий)
10:02 pm esperanto [mimohodec] [ссылка]	La Google... Ŝajnas ke Google faris pli ol tuta movado por propagandi la lingvon... (11 комментариев \| Оставить комментарий)
Декабрь 14, 2009
11:31 pm ru_quadrivium [togo] [ссылка]	4. Опыт времени PREV \| NEXT содержание 4.4. От рождения к смерти (некоторые нерешённые проблемы) Рождение и смерть Сон Рейхенбах Когда человек засыпает, меняются ритмы мозга. Ясно, что здесь речь идет о физиологическом процессе. В то же самое время сон имеет специфическую психологическую картину. Не очевидна связь между одним и другим. Можно было бы представить, как в мозгу происходил бы физиологический процесс, включался бы некоторый ритм, но при этом мы оставались бы в сознании, в обычном своем состоянии бодрствования. И наоборот, вообразите, что психологическое переключение из бодрствования в сон происходило бы ( Read more... ) (Оставить комментарий)
09:23 pm esperanto [mimohodec] [ссылка]	Certa movadana horloĝo (4 комментария \| Оставить комментарий)

[<< Previous 25 entries]

Разработано LiveJournal.com

Реклама