ru-palevo.livejournal.com
"Палево" - "Таежная" - Для фанатов группы "Палево", медвежат с балалаечками и прочих смертных
http://ru-palevo.livejournal.com/74220.html
Для фанатов группы Палево, медвежат с балалаечками и прочих смертных. Запись с концерта в клубе "Швайн" (23.09.2010). 27th-Sep-2010 08:02 am (UTC). А есть еще записи с этого феерически прекрасного концерта? 28th-Sep-2010 06:52 am (UTC). Если вы зарегестрированы вконтакте, то там много чего выложено с этого концерта. 27th-Sep-2010 03:07 pm (UTC). Вот это круто. И мне тоже интересны аудио-видео с концерта. 28th-Sep-2010 06:55 am (UTC). 27th-Sep-2010 03:41 pm (UTC). 28th-Sep-2010 06:54 am (UTC).
avito2rss.bitcheese.net
Помочь проекту
http://avito2rss.bitcheese.net/donate
Avito2rss не показывает рекламу, не требует от пользователей ни денег, ни регистрации, не ставит никаких ограничений и не спамит вам на почтовый ящик. Если сервис принес вам пользу, то вы можете пожертвовать любую сумму, чтобы и дальше поддерживать его в рабочем состоянии. VISA (сбербанк, рубли). 4276 3000 1673 1484. MasterCard (альфа, рубли). 5486 7320 0090 8228. VISA (альфа, USD). 4154 8120 0049 7127. 10 хватит на оплату хостинга. При бесценной поддержке лайкола.
ru-lambda.livejournal.com
ФП для чайников - Лямбда - функциональное программирование
http://ru-lambda.livejournal.com/149613.html
ФП для чайников - Лямбда - функциональное программирование. Лямбда - функциональное программирование. Nov 26th, 2014 04:17 pm. Лямбда - функциональное программирование. Посоветуйте, пожалуйста, какой-нибудь проверенный материал, на основе которого можно быстро и безболезненно построить пуленепробиваемую лекцию. Может, кто-нибудь уже делал такое? 2014-11-26 02:37 pm (UTC). А затем забацал бы уже что-нибудь на каком-нибудь ML-образном (ибо они легко усвояемы) языке. 2014-11-26 03:17 pm (UTC). Для нынешнего...
udpn.livejournal.com
Тов. Лавсан опять в ударе - Специализни шаблонца!
http://udpn.livejournal.com/105047.html
Тов Лавсан опять в ударе. 16 ноября, 2014. Третья Теорема Лавсана (о бесполезности статической типизации). Статическая типизация не добавляет ничего действительно полезного и только лишь отбирает время. Первый Принцип Пиздежа: выдавай гипотезу за теорему. А он что-нибудь осмысленное писал? А это свое утверждение доказывал как-нибудь? Только отбирает время" - это я бы перевел как "я не понял ни хера". Конкретно в этом треде или вообще? Называть записным дураком человека из интеллектуальной элиты, - моветон.
deni-ok.livejournal.com
Куда прячется ленивость и как ее оттуда достать? - Долой кровавую ведьму!
http://deni-ok.livejournal.com/57221.html
Куда прячется ленивость и как ее оттуда достать? Oct 31st, 2014. Куда прячется ленивость и как ее оттуда достать? Мы привыкли, что правая свертка (. Хорошо заточена для работы с бесконечными списками:. Let mapPlusPi = foldr ( x xs - (x pi):xs) [] head $ mapPlusPi [1.] 4.141592653589793. К сожалению, иногда возникают неприятности. Вот функция, которая берет список и выкидывает из него элементы стоящие на нечетных местах:. Только вот на бесконечном списке она ведет себя неподобающе. Ну вот примерно так.
muzyka-sfer.livejournal.com
Web programming: Indexed tar files - muzyka_sfer
http://muzyka-sfer.livejournal.com/3687.html
Wed, Mar. 5th, 2008, 04:52 pm. Web programming: Indexed tar files. Большинство веб-программистов, когда речь заходит о хранении данных для вебсайта, автоматически вводят базу данных. Это - тренированная реакция, как у собаки Павлова, тиражированная в миллионах экземпляров по всему миру, и она не проходит через мыслительные фильтры. Действительно, если на секунду задуматься, не удивительно ли:. Но этого показалось мало. Т.к. выдача из файл-системы слишком быстра и проста (особенно если к ней д...Груз стал...
caml-programmer.livejournal.com
Разбор данных, OCaml - Caml Programmer
http://caml-programmer.livejournal.com/230155.html
Разбор данных, OCaml - Caml Programmer. Разбор данных, OCaml. Фев 21, 2015 01:01 am. При разборе списков из S-выражений, написал сегодня функцию вида:. Let xxx = function hd: tl - Some (hd,tl) [] - None. Но как правильно её обозвать, не придумал. Может хаскелисты в курсе,. Чем-то мне она их монады напоминает. Дык это же Maybe вроде, не? Maybe - это конструктор типа option в OCaml, тут он применяется. Для возвращения результата выполнения функции. Но тут речь шла. Коде этим и пренебречь. Знакомы с языком ...
chaource.livejournal.com
Exercises in Curry-Howard correspondence - Journal de Chaource
http://chaource.livejournal.com/126401.html
Exercises in Curry-Howard correspondence - Journal de Chaource. 09 April 2015 @ 04:36 pm. Exercises in Curry-Howard correspondence. Formal logic seems to have lots of uses in computer science. One of these uses is to provide guidance about creating type systems for new programming languages with static types. In Haskell, functions can take arguments of unknown types. This is denoted by type signatures that contain type parameters, like this:. F : p - (p- q) - q. If we know that f has type. P - (p- q) - q.
xeno-by.livejournal.com
убунта, часть 3: софт - Excelsior
http://xeno-by.livejournal.com/43749.html
Убунта, часть 3: софт - Excelsior. Jun 22nd, 2011. Убунта, часть 3: софт. Часть 1: первый взгляд. Часть 4: интероп с виндой. Часть 5: обратно на винду. После трех недель опытной эксплуатации убунты могу сказать, что софт нашелся под все задачи, которые я привык выполнять на винде. Может быть, у вас есть идеи на эту тему? Под названием safe bash coding guidelines. В котором кроме последовательного гайда. С вариантами обхода проблемных мест. Дошло даже до маразма вроде сборки XML из командной строки (д...
SOCIAL ENGAGEMENT