Category: общество

Category was added automatically. Read all entries about "общество".

ICFP и чем я занимаюсь в Huawei

Я вроде обещал написать, когда появятся доступные результаты работы в Huawei. Так вот -- я только что вернулся с ICFP (!), где у нашей команды был доклад на одном из воркшопов. Впечатления потрясающие и от уровня организации, и от докладов, и от людей, которые там были. И от города Гётеборга, кстати, тоже :)

Программа конференции со ссылками на видео и тексты статей (воркшопы -- по ссылке affiliated events, наш доклад -- на Workshop on Generic Programming).

Кроме того, ядро фреймворка, над которым мы работаем, выложено в open-source (документация в docs/manual.md пока сыровата).

Ну и если хотите работать с нами и знаете Scala и/или C++ -- вакансии вроде есть :) Обращайтесь к Александру Слесаренко, только в октябре, когда он вернётся из отпуска.

Исключение подтверждает правило

igrok2 в воскресенье спросил в Твиттере, откуда взялась эта пословица. Ясно ведь, что в буквальном смысле — в котором её обычно и употребляют — она абсурдна. Оказывается, как и многие другие, она поменяла смысл на противоположный.

Идея происходит от защиты Цицероном Люция Корнелия Бальба Старшего, которого обвиняли в незаконном получении римского гражданства. Обвинитель привёл примеры договоров Рима с некоторыми племенами, которые запрещали давать их членам гражданство и предложил сделать вывод, что гадитанцам гражданства тоже давать нельзя. На что Цицерон ответил: «Quod si exceptio facit ne liceat, ubi non sit exceptum, ibi necesse est licere» («Поскольку это исключение делает принятие в гражданство незаконным, то отсутствие такого исключения необходимо делает его законным»).

В средние века юристы обобщили этот принцип до «exceptio probat regulam in casibus non exceptis» («исключение подтверждает правило в неисключённых случаях»). То есть если на в коридоре мехмата висит объявление «В День Пифагора занятия заканчиваются в 14:00», то мы знаем, что в другие дни они в 14:00 не заканчиваются (если, конечно, не висит соответствующее объявление). А если на улица стоит знак «В воскресенье парковка запрещена», то в среду под ним можно парковаться.

Потом последняя часть отпала и получилось знакомое «исключение подтверждает правило».