[00:53:00] <valexey> http://www.opennet.ru/opennews/art.shtml?num=31416
[00:54:08] <valexey> "Многие пытаются оптимизировать циклы для повышения производительности, в то время как часто на её уровень больше влияют проблемы ввода/вывода."
[08:55:43] <valexey> "Надо показать, что минимализм языка не ограничивает возможностей программиста. Если этот минимализм выстроен грамотно и найден минимальный и в то же время логически завершенный язык, то это дает процедуру построения строгой, хорошо проверяемой архитектуры программы."
[09:41:32] <geniepro> http://www.reddit.com/r/haskell/comments/ja27r/sel4_a_formally_verified_version_of_the_l4/
[09:47:14] <geniepro> > "Надо показать, что минимализм языка не ограничивает возможностей программиста. Если этот минимализм выстроен грамотно и найден минимальный и в то же время логически завершенный язык, то это дает процедуру построения строгой, хорошо проверяемой архитектуры программы."

так как, удалось показать?
[09:55:15] <valexey> geniepro: показать что?
[09:55:38] <geniepro> "Надо показать, что минимализм языка не ограничивает возможностей программиста."
[09:56:16] <valexey> хез. это ж аффтар хабаровского учебника по КП хочет показать :-)
[09:56:28] <geniepro> vvp?
[09:56:30] <valexey> видимо в следующих редакциях будет показывать :-)
[09:56:31] <valexey> угу
[10:03:21] <valexey> блин. в этом убогом ObjC даже очереди нет.
[10:47:49] <geniepro> Hugs> :t ((.)$(.))
(.) $ (.) :: (a -> b -> c) -> a -> (d -> b) -> d -> c
Hugs> ((.)$(.)) (+) 3 (*2) 5
13

жуть какая )))
3 + 2 * 5 == (+ 3 (* 2 5))
[10:49:05] <valexey> к чему так извращаться? :-
[10:49:07] <valexey> )
[10:52:22] <geniepro> pointfree-style же. бесточечная запись, полная точек ))
[10:53:43] <valexey> ну это понятно, но зачем? :-)
[10:53:57] <valexey> запись от этого короче не становится, понятней тоже
[10:54:51] <geniepro> http://kreed131.blogspot.com/2011/08/pointfree.html
[10:55:23] <geniepro> ну в каких-то случаях может и лучше. просто это же комбинаторная логика
[11:01:11] <geniepro> и самое главное-то -- сиськи же!!!111
[11:10:07] <valexey> я знаю что такое бесточечный стиль
[15:53:33] <geniepro> http://lenta.ru/articles/2011/07/22/lion/
дауж ну и говнище эта ваша макось ))
[17:19:10] <valexey> лев сырой
[18:27:30] <vlad2> Про расшифровку РАРа тоже ходила легенда, что те "кому надо" расшифровали за секунды (нетривиальный пароль).
[21:37:18] <genieprox> это наверное в старом раре. щас-то там aes-256 -- фиг расшифруешь ))
[21:37:48] <genieprox> млин, я так опустился -- пасмарел несколько серий сейлормун ))))
[23:01:50] <vlad2> Хе-хе ;) Я тоже как-то смотрел, не парься ;)
[23:02:05] <vlad2> Помню там песенка была прикольная, заедающая :)
[23:44:41] <vlad2> Мда, опять message bus лезет...