Открытая лекция Сэра Тони Хоара: «Величайшие идеи компьютерной науки»

Анонимусов не пускают, регистрацию требуют.

> Набигать с криками «aspx», «microsoft» и т.д. не обязательно

Правильно. «Сколково» вполне достаточно

видео будет?

Интересно, отнесет ли он CSP к этим идеям.

Не знаю, но надеюсь что будет.

А видео будет?

«Сколково - величайшие идеи распила»

Я один не знаю, что это за сэр такой?

> Я один не знаю, что это за сэр такой?

в школе не проходили «быструю сортировку»?

Представь себе! Хотя я знаю, что это. Так что нет, ты не умнее меня

> Так что нет, ты не умнее меня

конечно, не переживай

просто этот комментарий насчет школы. к чему бы он? можно подумать, что ты сам её не закончил и интересуешься. а косательно сэра, надо заглянуть в википедию

> к чему бы он?

у нас «быстрая сортировка»( сортировка Хоара ) была в школьном курсе по информатике

Ну ты прям крутой. А у нас был ворд.

у нас тоже был ворд

Здравствуйте, я попал на школьный ресурс? Расскажите как пропатчить.. (с)

> Я один не знаю, что это за сэр такой?

Похоже, да.

> Здравствуйте, я попал на школьный ресурс?

да

Расскажите как пропатчить.. (с)

это к анимешникам

> Я один не знаю, что это за сэр такой?
В контексте данной лекции важно, что это один из еще живых основателей формальных методов верификации программ.

Ога, прочитал уже

>Открытого университета «Сколково»

«Открытый» — это в смысле находится на открытом воздухе?

Там уже ЛОР-эффект IRL, но обещают видеотрансляцию.