Уроки L4

21.04.2016 18:39:26

Австралийская НИКТА в лице тт. Хейзера и Элфинстоуна некоторое время назад выкатила отличную работу, описывающую двадцатилетнее развитие микроядер Эльчетыре. Очень люблю такое — видно, с чего начали, какие проблемы в разное время возникали, как они решались, к чему пришли. Интересно даже не само микроядро (хотя с Фисташкой я даже непосредственно сталкивался лет так семь назад), а наблюдение за реальной эволюцией системы.

Ситуация осложнена тем, что эльчетвёртых ядер довольно много, есть заметно фрагментированное семейство. И в этом семействе, в первую очередь, разумеется, педалируется то направление, которым занимались авторы, а именно, верифицируемое ядро ЭсЕЭльчетыре. Но это работе не мешает, да и мне самому эта вариация нравится больше всех, галочка формальной верификации очень уж красивая.

Beyond Java: An Infrastructure for High-Performance Mobile Code on the World Wide Web

21.04.2006 17:23:03

Только что дочитал сабж. Очень жалею, что не завершил ранее, текста немного, но реально еще раз показывает, насколько в глубокой заднице находится наша замечательная IT-индустрия. Год публикации, чисто для справки, 1997.

Хотя еще больше это показывает то, какие технологии были разработаны в рамках семейства Oberon и когда. Динамическая реоптимизация всей системы — в каком-то уголку сознания у меня давно такие мыслишки шатаются, а тут на тебе — уже сделано. Эх.

Профессор

20.04.2006 13:47:09

Как меня это умиляет:

Профессор Дартмутского колледжа (штат Нью-Гемпшир, США) Виктор Петренко разработал…

Математический мозг

14.03.2006 11:00:53

Да, мозг — это страшно.

Ученым из Университи-колледжа в Лондоне удалось определить область мозга, связанную с неспособностью человека к счету, а также выявить различия в локализации процессов счета дискретных и непрерывных величин.

Про науку

05.02.2006 14:35:56

Как-то позитивно сегодня день задался, вот еще интересный материал.