21.04.2016 18:39:26
Австралийская НИКТА в лице тт. Хейзера и Элфинстоуна некоторое время назад выкатила отличную работу, описывающую двадцатилетнее развитие микроядер Эльчетыре. Очень люблю такое — видно, с чего начали, какие проблемы в разное время возникали, как они решались, к чему пришли. Интересно даже не само микроядро (хотя с Фисташкой я даже непосредственно сталкивался лет так семь назад), а наблюдение за реальной эволюцией системы.
Ситуация осложнена тем, что эльчетвёртых ядер довольно много, есть заметно фрагментированное семейство. И в этом семействе, в первую очередь, разумеется, педалируется то направление, которым занимались авторы, а именно, верифицируемое ядро ЭсЕЭльчетыре. Но это работе не мешает, да и мне самому эта вариация нравится больше всех, галочка формальной верификации очень уж красивая.
Метки: анализ, микроядро, наука, ссылка, эль4
Комментариев нет »
09.03.2016 14:57:33
Внезапно на ВиМе всплыл некогда читанный текст, причём с указанием в качестве оригинала некоего Ordo Illuminati, при том, что «Гугл» считает самой правильной ссылкой по словам «индустриальная археология» журнал dm-kalashnikov, ссылающийся на 13lad, где честно дана ссылка на оригинал перевода от ahitech. При этом, разумеется, изначально я этот текст читал на каком-то совершенно другом ресурсе, который так сходу даже и найти не удалось.
Текст прекрасен. Заметно, что тема особенно близка программистам. На каждой итерации наблюдаются отличные комментарии.
Метки: анализ, ссылка
Комментариев нет »
07.04.2014 10:16:10
Рассказ Алексея Березина трёхлетней давности как-то прошёл мимо меня, а он прекрасен, явно писан с натуры. С удовольствием наверстал упущенное. Как оказалось, нынче есть ещё и две экранизации: наша и импортная.
Метки: программирование, проектирование, ссылка
Комментариев нет »
15.08.2008 00:04:16
Признаюсь, впервые увидел это слово сегодня у тов. Ройзмана. Мерзость жуткая, но считаю необходимым отдублировать, поскольку такую дрянь иногда полезно видеть, мозги прочищает. Вторую ссылку не смотреть особо впечатлительным, остальным удерживать завтрак/обед/ужин в себе.
Гниющие заживо. Как это происходит.
И как это выглядит.
Метки: наркотик, ссылка
Комментариев нет »
08.08.2008 09:43:46
Нечто похожее я высказал ещё вчера. Боюсь, профессор прав.
А так бодро ж/д войска в Абхазию вводили…
P.S. Однако, дело пошло, не только ж/д войска у нас есть ;).
P.P.S. Ну и, тов. Дюков по теме.
P.P.P.S. И Беркем, как водится, доходчив.
Метки: политика, ссылка
Комментариев нет »
22.07.2008 23:08:18
Камрад SadKo таки довёл дело до логического завершения .
Респект Benq. Ещё больший респект Владимиру.
P.S. Скопипастил сюда ещё некоторые соображения, которые оставил в комменте:
При всей безусловной важности и приятности этого события, я бы предостерёг от некоторых поспешных выводов.
Самая главная засада во всей процедуре возврата в том, что MS её не регламентирует, а _целиком и полностью_ отдаёт на откуп поставщикам. Поэтому, сформулировать универсальную процедуру возврата и пытаться её реализовывать несколько неправильно. Поставщик _вправе_ заявить, что его процедура возврата предусматривает возврат ноутбука целиком. Я не вижу как это противоречило бы EULA.
Именно поэтому Benq обоснованно заслуживает респекта (превед анонимным идиотам). И, конечно, мега-респект Владимиру за _первый_ прецедент возврата Windows в России.
Надо просто трезво понимать, что это _не_ доказательство того, что ОС не является неотъемлемой частью продаваемого компьютера. Это, в моём понимании, требует доказательства на другом, судебном уровне. Если таковое было бы проведено, то да, тогда можно было бы говорить о прецеденте (даже с тем, что не прецедентная правовая система) и какой-то универсальной процедуре возврата применительно к _любому_ производителю.
Если я в чём-то неправ с юридической стороны, поправьте. В моём понимании, как-то так.
А пока можно сказать только то, что не все производители педерасты и, в случае необходимости, голосовать рублём.
Метки: виндоус, деньги, ноутбук, ссылка
1 Комментарий »
18.07.2008 14:08:08
Несколько порадовавших ссылочек.
Тов. Вассерман со статьёй «Требуется предельная предусмотрительность«. Просто шикарно.
Интересное и забавное от тов. Сырникова.
И мозгоглюки, они же «cognitive biases«, которые заботливо сведены в удобный список.
Метки: ссылка
Комментариев нет »
09.03.2008 22:21:35
Кажется есть определённый класс людей, которым на попе ровно ну никак не усидеть. Надо куда-то ехать, надо что-то видеть. В поисках разной информации на тему предстоящей поездки наткнулся на два презабавнейших проекта: Геокэшинг и Confluence.
Суть первого в размещении в разных местах тайников с последующими поисками их другими участниками. Понятно, что запихнуть стараются куда-нибудь получше, чтобы искать было интереснее и/или даже познавательнее, порадовали тайники в районе разных ДОТ-ов.
Второй ещё забавнее, все помнят ширину/долготу из географии и какой замечательной сеткой покрывается наш глобус? А почему бы не отметиться в пересечении целочисленных широт и долгот? Вот и поехали. Естественно, что точки при этом попадают в самые разные места, что, кажется, делает эту затею тем более интересной.
А мы, стало быть, готовимся к ПоБеГам. 🙂
Метки: поездка, ссылка, странное
Много комментариев (2) »
15.01.2008 19:42:26
Очень забавно.
Одна проблема, uClibc тоже не в лучшем состоянии.
Метки: глибси, красноглазие, си, ссылка, юсилибси
Комментариев нет »