У Филипа Ленссена найдена ссылка на подробное описание платформы, используемой в 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. Помимо собственно анонса, содержит некоторые интересные мысли о философии дизайна библиотек и областях исследования этой темы.