Tags: программирование

Ливанов, Холмс

Интервью с Виртом.

Здесь.
По-моему, просто чумовое и, как говорят, open-minded интервью. Там каждый ответ как кладезь знания.
Приведу небольшую цитату Вирта:

As long as programmers cherish their freedom not only to design
their own clever software, but also to modify adopted software
according to their likings, a proper design discipline remains unlikely.
And as long as companies secretly cherish complexity as an effective
protection against being copied, there is little hope for dramatic
improvements of the state of the art.
Ливанов, Холмс

ORA-00604 + ORA-12705

Блин, столько времени бился с тем, чтобы подружить oracle 10g XE и grails на русской винде, а всего-то надо было добавить две строчки в  startgrails.bat:

set JAVA_OPTS=%JAVA_OPTS% -Duser.language=EN
set JAVA_OPTS=%JAVA_OPTS% -Duser.region=US

Жаль только потраченного времени...
Ливанов, Холмс

Лекция Тони Хоара.

Сходил сегодня на открытую лекцию сэра Чарльза Энтони Ричарда Хоара в Политехнический музей, организованную совместно MS Research и Открытым Университетом Сколокво. Впечатления в общем хорошие. Лекция была простой, Хоар рассказывал о влияния Аристотеля(логика), Евклида (геометрия), Оккама(недетерминизм) и Лейбница(символическое мышление) на современный cs. Понравилось идея о том, что Евклид изобрел первый язык программирования, благодаря которому появилось возможность создавать верифицируемые программы - построение циркулем и линейкой.
Лекция продолжалась где-то час, затем с  пол-часа задавались вопросы различной степени интересности. В общем крайне интересное мероприятие, и хочется наедятся, что не последнее в своем роде.
Из минусов стоит отметить отсутствие кондиционера в лектории.
Вроде все.