[Linkdump] Google platform, OCC, Automath, Library-centric d
У
Филипа Ленссена найдена ссылка на
подробное описание платформы, используемой в Google: Network topology, Main index, Server types, Server hardware and software, Server operation (часть этих сведений, естественно, только догадки)
У
Брэда Ньберга найдена ссылка на несколько Intel'овских статей на тему Occasionally Connected Computing — методологии построения приложений, требующих нерегулярного подключения к Интернету. Ссылки:
1.
Occasionally Connected Computing: The Developer's New Challenge
2.
Refreshing Data in Occasionally Connected Computing Applications: The Three-Level Approach
3.
и еще кое-что
Automath Archive: архив статей и других документов о проекте
Automath (1967 — начало 80х) — языке для формальной записи математических теорий и их проверки компьютером. (найдено на LtU)
Library-Centric Software Design LCSD'06 — анонс семинара по "библиотеко-центричной" разработке, который пройдет в рамках
OOPSLA'06. Помимо собственно анонса, содержит некоторые интересные мысли о философии дизайна библиотек и областях исследования этой темы.