slepnev.blogspot.com
Vladimir Slepnev: Why I don't like laziness
http://slepnev.blogspot.com/2014/06/is-laziness-wrong-for-equality.html
Making simple questions needlessly complicated, and then simple again. Thursday, June 12, 2014. Why I don't like laziness. Some ppl think lazy functional programming is nicer than strict. At first I thought so as well, but now I think strict is nicer. Not for any engineering reasons, but from a purely mathematical point of view. Data Natural = Zero Successor Natural deriving Eq. Omega = Successor omega. So you might as well allow "deriving Eq" for many more types, like Bool - Bool. Sure, comparing tw...
fprog.ru
Russian Lambda Planet
http://fprog.ru/planet
Занимаюсь сейчас подготовкой к выступлению на SE-2016 https:/ se2016.inhacking.com/. Буду рассказывать о эволюции языков программирования и современном ландшафте области [Киев, 3 сентября]. Давно хотел куда-то вставить о Objective-C , думал в этом выступлении, но получается и так слишком много материала, непонятно удастся ли включить и эту тему(? Напишу пока в ЖЖ. Objective-C это первый язык, который возник "случайно", "сам по себе". Вот такая beautiful madness. 24 августа 2016, 12:28. Вроде компактнее у...
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. Третья Теорема Лавсана (о бесполезности статической типизации). Статическая типизация не добавляет ничего действительно полезного и только лишь отбирает время. Первый Принцип Пиздежа: выдавай гипотезу за теорему. А он что-нибудь осмысленное писал? А это свое утверждение доказывал как-нибудь? Только отбирает время" - это я бы перевел как "я не понял ни хера". Конкретно в этом треде или вообще? Называть записным дураком человека из интеллектуальной элиты, - моветон.
ru-icfpc.livejournal.com
FIN - ICFP Contest Russian
http://ru-icfpc.livejournal.com/5862.html
August 12th, 2013. Наш счёт 1301. Ориентировочно займём где-то 20-22 место. Код лежит на https:/ github.com/atemerev/icfpc20. А как у вас? 2013-08-12 12:42 am (UTC). По-моему, ничего скучнее в icfpc на моей памяти не было. Все мои потенциальные компаньоны, посмотрев на таск, свалили - в результате копал в одно рыло в общем-то. Не то чтобы со всех сил, но всё ж не смог себя уговорить совсем это занятие бросить - ни сразу, ни после лайтнинга, ни после анонса бонусов. У меня 1458 очков. У меня скромные 850.
ru-icfpc.livejournal.com
Ночь перед битвой. - ICFP Contest Russian
http://ru-icfpc.livejournal.com/5434.html
August 8th, 2013. Регистрация команд закрыта, теперь можно вступать только в существующие (или очень сильно попросить организаторов). Страничка, на которой будет задание и обновляться правила: http:/ icfpc2013.cloudapp.net/. Наша команда называется (unmatched, и содержит. Макса Горбунова и Романа Чепляку. 2013-08-08 10:09 am (UTC). Я, кстати, попросил, и меня зарегистрировали. Правда, я не уверен что у меня вообще будет время заниматься ICFPC в этот кон :(. 2013-08-08 10:28 am (UTC).
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. К сожалению, иногда возникают неприятности. Вот функция, которая берет список и выкидывает из него элементы стоящие на нечетных местах:. Только вот на бесконечном списке она ведет себя неподобающе. Ну вот примерно так.
sassa-nf.livejournal.com
політемігранти України - sassa_nf
http://sassa-nf.livejournal.com/49020.html
August 10th, 2015. Http:/ www.ntv.ru/novosti/1457521. Союз политэмигрантов и политзаключенных Украины. Участники держат флаги ДНР и ЛНР. 2015-08-11 03:59 am (UTC). А Украина уже официально не считает эти области своими? 2015-08-11 07:00 am (UTC). Просто постановочка вопроса такая - политэмигранты и политзаключенные. 2015-08-11 07:43 am (UTC). Еще одно проявление Стокгольмского синдрома? 2015-08-11 07:53 am (UTC). Powered by LiveJournal.com.
ru-icfpc.livejournal.com
ICFPC 2014 - ICFP Contest Russian
http://ru-icfpc.livejournal.com/6622.html
May 21st, 2014. This year, the contest starts on Friday 25 July 2014 at 12:00 UTC and ends on Monday 28 July 2014 at 12:00 UTC. There will be a lightning division, ending on Saturday 26 July 2014 at 12:00 UTC. 2014-05-21 05:40 am (UTC). 2014-05-21 05:47 am (UTC). 2014-05-21 03:03 pm (UTC). Не известно ещё кто будет contest'ом заниматься в этом году? 2014-05-21 05:07 pm (UTC). University of Oxford CS department and Well-Typed LLP. 2014-07-16 12:18 pm (UTC). Edited at 2014-07-16 12:19 pm (UTC).
chaource.livejournal.com
"ER = EPR" and the never-ending triumph of string theory - Journal de Chaource
http://chaource.livejournal.com/127538.html
ER = EPR" and the never-ending triumph of string theory - Journal de Chaource. 02 May 2015 @ 03:33 pm. ER = EPR" and the never-ending triumph of string theory. I've just heard about the latest craze in string theory, or to be more precise, in American science journalism. This is called "ER = EPR". A paper by Maldacena and Susskind, that, apparently, already deserves its own Wikipedia page. But then, many pop song hits also have their own Wikipedia pages.). So, what is this about? Maximally entangled blac...
SOCIAL ENGAGEMENT