Го сходка
Программирование с зависимыми типами на языке Idris
Экспандеры и их применения
Встречаемся на ст. метро Чернышевская в 15:00, потом идем в таврический сад.
Слоупоки могут позвонить на мой номер: +7 921 771 27 $(кубический корень из ника циферок) и голубок принесет текущие координаты.
Возможна дальней релокация на гик-пикник, для желающих.
tfw о сходках bnw уже знают на ресурсе, о котором нельзя говорить.