qnikst

Вот Wadler в Taste of Linear Logic пишет, что так же linear logic может использоваться в concurrency, но тут это не покрыто, мол читайте соответсвующую литературу, и ссылок не было. Никто не знает, чего по этой теме интересного почитать?

dluciv

Полез я, значит, на Сци-хаб, а он лежит. Полез я тогда на ЛибГен, а он тоже, падла лежит. Полез я тогда в Гугль, а он не лежит и кажет вот что: geektimes.ru
Сейчас у меня пашет только gen.lib.rus.ec.
Собственно интересно, а они как-то собираются продолжить своё существование в скрытосетях или, быть может, опубликовать более или менее разбитые по категриям и годам архивы?.. Мне кажется, что если подобный кусок халявы просто так возьмёт и исчезнет, то вселенную перекосит и Земля налетит на небесную ось.
Вы только не подумайте, я лишь с ознакомительными целями, и в статьях, которые берутся из таких мест, я читаю только введение и заключение. Ну и аннотацию и список литературы, они и так открыты всегда. А чтобы что-то между введением и заключением бесплатно читать — я не такой, ни-ни!

4DA

Норм такие темки с assembly2014:

[ wild demo ]
archive.assembly.org // эту забомбили за день на 100x7 светоидах, просто затоталила все остальные

[ demo ]
archive.assembly.org // красиво и возвышенно
archive.assembly.org // как обычн короч от немцев // концептуально
archive.assembly.org // попсовенько // цепляет поэтому первое место

[ 4k ]
archive.assembly.org

[ short film ]
archive.assembly.org // ппц трипово
archive.assembly.org // ржачненько, норм

4DA

Привет чят. Мы тут все забыли еще об одной огроменной дыре в современном железе, которую на данный момент залатать нельзя вообще никак. Это микрокод.

Сегодня про микрокод процессоров Intel неизвестно почти нихера.

Представим себе, что приезжает на очередной microcode update и:
* несколько инструкций начинают вести себя по-другому, например, начинаются протечки данных из кэшей;
* эксепшн передает управление не туда;
* отменяется проверка привилегированности некоторых инструкций.

Непаханое поле для эксплоитов из NSA

Вот тут народ что-то ковыряет и анализирует.
securiteam.com
inertiawar.com

Вот здесь толково изложено что из себя вообще представляет микрокод
в современных cpu:
security.stackexchange.com

qnikst

есть предложение коллективно разобрать книжку Окасаки. В смысле с какой-нить заданной скоростью (напр. главу в неделю, чтобы не мешать учебе/работе) читать её, задавая вопросы, отвечая на чужие, а так же задавая хитрые по вашему мнению вопрсы на понимание по прочитанному, ну и вопросы по упражнениям. Цель: дополнительная мотивация к чтению полезных книжек; добавление "внешниго" источник оценки степени понимания; плюс дополнительный шанс, что кто-то заметит важную пропущенную деталь; если кто все уже читал и знает, то может указать, что какая-то из вещей изменилась с момента написания книги, или особенности существующих библиотек реализующих ту или иную структуру. Просто предыдущие мои вопросы по книжке оставались совершенно без ответа.

Для координации жуйк с тегом, например *okasaki, для этого достаточен? или есть варианты лучше, гуглорассылки с документами или что-то такое?

omnivore

Редкие группы. Хорошие банды с непозволительно малым числом слушателей на ластфм

Carbonized. 4 988 слушателей. Проект участников Therion. Авангардный прог-дет метал

The Lotus. 2 316 слушателей. Отличный прог/пост метал. Единственный пока альбом 2010 года

Lebowski. 3 346 слушателей. Эталонный неопрог-рок из Польшы

gonin-ish. 1 930 слушателей. Японская прог-дет группа. Хитросплетения мелодий и очень необычный вокал

David Arthur Brown. 3 714 слушателей. Вокалист Brazzaville. Еще меланхоличнее и еще мелодичнее.

Steve Walsh. 1 615 слушателей. Клавишник Kansas. Отличный хард-рок с элементами прог-рока

Abstrakt Algebra. 2 092 слушателя. Проект участников Katatonia. Более агрессивно и не менее мелодично

Tardy Brothers. 2 900 слушателей. Проект участников Obituary. Классический дет-метал

Egida Aurea. 1 458 слушателей. Итальянский неофолк

А что вы такого редкого слушаете?