Forwarded from Медиазона
Это корреспондент Швец. Не хочу никого обидеть, но обрадоваться, оказавшись в Валуйках, можно только в том случае, только если вы до этого провели 16 часов в душном и пыльном купе с семейством, непрерывно поглощающим пахучую пищу, а в коридор выйти нельзя, потому что там воняет рыбой.
Чтобы все-таки никого не обидеть, я буду сейчас признаваться в собственном непрофессионализме — расскажу, как не смог написать полноценный репортаж. Короче, Валуйки — это районный центр в Белгородской области, там рядом поселок Уразово, где после убийства и изнасилования маленькой девочки, по слухам, были цыганские погромы (или что-то очень близкое к этому), и куда я приперся этим воскресным утром.
Значит, в полвосьмого утра на пустой площади одни менты, к ним выходит глава администрации. Я говорю, а покажите, где у вас дома горели? Он говорит, а покажите вашу пресс-карту и паспорты, вы не экстремист? Я такой: в смысле? Он такой: хуисле. Короче, пришлось отдать ему документы.
Потом разные его подчиненные меня возили по поселку, там в тексте есть совершенно безумные разговоры и мой фаворит — дед, который заходит в главе администрации в кабинет с конфетами и садится на шпагат, потому что полнолуние (хотя на самом деле это не подтвердилось).
Причем остальные местные со мной разговаривать не хотят совсем, хотя я даже пытался шокать и говорить с фрикативным «гэ»; даже не знаю, что выдавало во мне чужака. Я надеялся найти какого-нибудь забулдыгу, чтобы он мне все рассказал за бутылку водки. Тогда можно было бы написать предупреждение: корреспонденту «Медиазоны» пришлось отплатить за услуги гида бутылкой водки. Но я не нашел ни одного забулдыги, это даже странно — в какой-то момент даже начинает походить на фильм Hot Fuzz (он же «Типа крутые легавые»), там тоже про такую пасторальную деревню, в которой ВСЕ НЕ ТАК ПРОСТО.
Короче, в какой-то момент я просто-напросто заметил за собой слежку («для вашей же безопасности») и попросил этих шпионов довезти меня до райцентра. Там мы с ними попили пива, они мне так и сказали: «Димон, ты ебанутый». А потом говорят, что раз уж я в Валуйках, то мне обязательно надо купить что-нибудь производства местного ликеро-водочного завода. Ладно, дошли до магазина, продавщица посоветовала клюквенную настойку «Железная леди». Только я оплатил, она говорит: с «Железной леди» вы, конечно, зря, она уже не та, надо было водку брать.
Клянусь перед всеми читателями «Медиазоны»: еще раз окажусь в Валуйках — только водка. «Железную леди» я не пил и не знаю, буду ли.
Ну то есть вообще как. Там в тексте есть про убийство и погромы (или их отсутствие) и про отъезд цыган, формально все есть. Но вообще, был бы я храбрее, я бы провел в этом Уразово больше времени и собрал бы больше информации. Был бы я умнее — я бы придумал, как еще можно написать эту историю. Был бы я взрослее — я бы обошелся без идиотских шуточек. Но я юн, глуп и тюфяк
Чтобы все-таки никого не обидеть, я буду сейчас признаваться в собственном непрофессионализме — расскажу, как не смог написать полноценный репортаж. Короче, Валуйки — это районный центр в Белгородской области, там рядом поселок Уразово, где после убийства и изнасилования маленькой девочки, по слухам, были цыганские погромы (или что-то очень близкое к этому), и куда я приперся этим воскресным утром.
Значит, в полвосьмого утра на пустой площади одни менты, к ним выходит глава администрации. Я говорю, а покажите, где у вас дома горели? Он говорит, а покажите вашу пресс-карту и паспорты, вы не экстремист? Я такой: в смысле? Он такой: хуисле. Короче, пришлось отдать ему документы.
Потом разные его подчиненные меня возили по поселку, там в тексте есть совершенно безумные разговоры и мой фаворит — дед, который заходит в главе администрации в кабинет с конфетами и садится на шпагат, потому что полнолуние (хотя на самом деле это не подтвердилось).
Причем остальные местные со мной разговаривать не хотят совсем, хотя я даже пытался шокать и говорить с фрикативным «гэ»; даже не знаю, что выдавало во мне чужака. Я надеялся найти какого-нибудь забулдыгу, чтобы он мне все рассказал за бутылку водки. Тогда можно было бы написать предупреждение: корреспонденту «Медиазоны» пришлось отплатить за услуги гида бутылкой водки. Но я не нашел ни одного забулдыги, это даже странно — в какой-то момент даже начинает походить на фильм Hot Fuzz (он же «Типа крутые легавые»), там тоже про такую пасторальную деревню, в которой ВСЕ НЕ ТАК ПРОСТО.
Короче, в какой-то момент я просто-напросто заметил за собой слежку («для вашей же безопасности») и попросил этих шпионов довезти меня до райцентра. Там мы с ними попили пива, они мне так и сказали: «Димон, ты ебанутый». А потом говорят, что раз уж я в Валуйках, то мне обязательно надо купить что-нибудь производства местного ликеро-водочного завода. Ладно, дошли до магазина, продавщица посоветовала клюквенную настойку «Железная леди». Только я оплатил, она говорит: с «Железной леди» вы, конечно, зря, она уже не та, надо было водку брать.
Клянусь перед всеми читателями «Медиазоны»: еще раз окажусь в Валуйках — только водка. «Железную леди» я не пил и не знаю, буду ли.
Ну то есть вообще как. Там в тексте есть про убийство и погромы (или их отсутствие) и про отъезд цыган, формально все есть. Но вообще, был бы я храбрее, я бы провел в этом Уразово больше времени и собрал бы больше информации. Был бы я умнее — я бы придумал, как еще можно написать эту историю. Был бы я взрослее — я бы обошелся без идиотских шуточек. Но я юн, глуп и тюфяк
Forwarded from The Catcher in the Sky (Artem Pelenitsyn)
#Ростов друзья, организаторы пишут, что успех этого события важен для продолжения их дела. Мне хочется, чтобы проект k-ino.ru жил в Ростове. Приходите посмотреть на Сэма Клебанова и фильм Такеши Китано
https://www.facebook.com/100000432952509/posts/2252681578089585/
https://www.facebook.com/100000432952509/posts/2252681578089585/
Facebook
Eugene Mironyuk
Друзья! У нас 21-го в гостях Сэм Клебанов с последним релизом проекта "Кино без границ" - премьерой фильма Такеши Китано "Последний беспредел". Кроме самого фильма - это еще и интересный разговор с...
Forwarded from Смирнов
Не писал давно про сбор денег для Медиазоны. Наш издатель уже две недели в больнице с отравлением, так себе повод форсить наш краудфандинг (или я просто не умею и стесняюсь). Хотя когда Верзилов придет в себя окончательно, он конечно спросит: ну сколько донатов собрали?
А нисколько за две недели не собрали, отрицательный рост. Было 894 тысячи, стало 893 тысячи. У кого-то карта кончилась, у кого-то на ней нет денег. Мы продолжаем работать в обычном режиме, несмотря на отравление. Ведем онлайны с суда в Барнауле и с очередного ареста Навального, пишем заметки про ментов, которые пытают и которых пытают.
И нам очень нужна ваша помощь, подписывайтесь на Медиазону. Очень хочется хотя бы до 900 тысяч ежемесячных платежей дойти в сентябре. Спасибо всем, кто помогает: https://donate.zona.media/?utm_source=smirnov&utm_campaign=first&utm_medium=telegram
А нисколько за две недели не собрали, отрицательный рост. Было 894 тысячи, стало 893 тысячи. У кого-то карта кончилась, у кого-то на ней нет денег. Мы продолжаем работать в обычном режиме, несмотря на отравление. Ведем онлайны с суда в Барнауле и с очередного ареста Навального, пишем заметки про ментов, которые пытают и которых пытают.
И нам очень нужна ваша помощь, подписывайтесь на Медиазону. Очень хочется хотя бы до 900 тысяч ежемесячных платежей дойти в сентябре. Спасибо всем, кто помогает: https://donate.zona.media/?utm_source=smirnov&utm_campaign=first&utm_medium=telegram
Медиазона
Спасите «Медиазону». Нам без вас не выжить!
Forwarded from Как стать учёным, если ты дно
Часто бывают такие дни, когда наукой не очень получается заниматься. Сегодня краткая подборочка того, чем можно заняться вокруг науки, чтобы кажется и совесть не мучила, и полезно было, и не требовалась бы такая лютая концентрация, которая нужна при чтении статей.
Самое моё любимое: видосики. И тут могут быть совершенно разные видосики, даже научпоп на ютубе про что-то связанное с вашей научной областью. Ещё можно смотреть видео с курсов разных университетов, например, Стэнфорда, либо с научных школ и конференций. Да и про Coursera, Stepik и мой любимый Лекториум тоже прошу не забывать. И не обязательно смотреть лекции по темам, неизвестным для вас. Я, например, периодически пересматриваю по пятому разу какие-то лекции, потому что часто забываю какие-то идеи напрочь. С тем, что повторение это мать учения, я более чем согласна.
Ещё я очень люблю читать бложики разных учёных. Во-первых они часто пишут на интересные научные темы кратко, сжато, по делу и с примерами. То есть, не читая статей, можно сразу понять, в чём фишка какого-то нового результата, как и к чему применяется какая-то новая техника. Во-вторых там всегда освещено то, что сейчас в тренде в области.
Дополнительно к этому в бложиках учёных, в их твиттерах часто можно встретить посты поддержки, советы, да просто истории из жизни, про то, как у них что-то не получалось, как они падали лицом в грязь. Мне это даёт надежду, ведь я знаю, что в итоге у этих людей всё хорошо. Когда я узнала этим летом, что студенты из MIT совершенно обычные люди, их не тошнит радугой и они не генерируют постоянно доказательства, я была в шоке. Когда узнаёшь, что успешные (по общепринятым меркам) люди совершенно такие же как и ты — тоже ленятся, тоже частенько фейлят — то это очень успокаивает (может зря). А то всё время кажется, что вот у кого у кого, а у того великого учёного точно никогда не было проблем в карьере. Но на деле оказывается, что дно жизни видали в каком-то виде все.
Ещё всегда можно обновить своё резюме, улучшить или создать свой сайт, пофиксить все личные документы (я, например, пытаюсь вести дневничок того, что я делаю, что интересное прочитала, про что хочу ещё почитать, какие идеи из других доказательств мне показались интересными и применимыми к моим задачам). Ещё можно поотправлять заявки на стажировки/позиции или написать письма, которые давно страшно или лень отправить. Все эти дела не требуют серьёзной умственной нагрузки, но, безусловно, являются частью работы учёного.
Ну и самый лайтовый вид рабочей прокрастинации для меня: уборка рабочего пространства. Тут можно и разобраться, какие вкладки в браузере закрыть, от какой рассылки на почту наконец отписаться, какие опросы нужно было сто лет назад пройти, но я не прошла. Куча мелких дел. Жизнь учёных непроста, и лишний ежедневный поток неинтересных новостей, некрасивых фотографий, скучных твитов, лично меня, люто утомляет. Поэтому такой вид отдыха я отдельно рекомендую даже когда мозг готов работать на полную.
Самое моё любимое: видосики. И тут могут быть совершенно разные видосики, даже научпоп на ютубе про что-то связанное с вашей научной областью. Ещё можно смотреть видео с курсов разных университетов, например, Стэнфорда, либо с научных школ и конференций. Да и про Coursera, Stepik и мой любимый Лекториум тоже прошу не забывать. И не обязательно смотреть лекции по темам, неизвестным для вас. Я, например, периодически пересматриваю по пятому разу какие-то лекции, потому что часто забываю какие-то идеи напрочь. С тем, что повторение это мать учения, я более чем согласна.
Ещё я очень люблю читать бложики разных учёных. Во-первых они часто пишут на интересные научные темы кратко, сжато, по делу и с примерами. То есть, не читая статей, можно сразу понять, в чём фишка какого-то нового результата, как и к чему применяется какая-то новая техника. Во-вторых там всегда освещено то, что сейчас в тренде в области.
Дополнительно к этому в бложиках учёных, в их твиттерах часто можно встретить посты поддержки, советы, да просто истории из жизни, про то, как у них что-то не получалось, как они падали лицом в грязь. Мне это даёт надежду, ведь я знаю, что в итоге у этих людей всё хорошо. Когда я узнала этим летом, что студенты из MIT совершенно обычные люди, их не тошнит радугой и они не генерируют постоянно доказательства, я была в шоке. Когда узнаёшь, что успешные (по общепринятым меркам) люди совершенно такие же как и ты — тоже ленятся, тоже частенько фейлят — то это очень успокаивает (может зря). А то всё время кажется, что вот у кого у кого, а у того великого учёного точно никогда не было проблем в карьере. Но на деле оказывается, что дно жизни видали в каком-то виде все.
Ещё всегда можно обновить своё резюме, улучшить или создать свой сайт, пофиксить все личные документы (я, например, пытаюсь вести дневничок того, что я делаю, что интересное прочитала, про что хочу ещё почитать, какие идеи из других доказательств мне показались интересными и применимыми к моим задачам). Ещё можно поотправлять заявки на стажировки/позиции или написать письма, которые давно страшно или лень отправить. Все эти дела не требуют серьёзной умственной нагрузки, но, безусловно, являются частью работы учёного.
Ну и самый лайтовый вид рабочей прокрастинации для меня: уборка рабочего пространства. Тут можно и разобраться, какие вкладки в браузере закрыть, от какой рассылки на почту наконец отписаться, какие опросы нужно было сто лет назад пройти, но я не прошла. Куча мелких дел. Жизнь учёных непроста, и лишний ежедневный поток неинтересных новостей, некрасивых фотографий, скучных твитов, лично меня, люто утомляет. Поэтому такой вид отдыха я отдельно рекомендую даже когда мозг готов работать на полную.
Forwarded from Как завести канал в Телеграме, если ты дно
Прочитал очень длинный текст сегодня, очень устал
В издательстве Manning Publications отличная Deal of the Day с тремя книжками: Haskell in Depth, Get Programming with Haskell и Type-driven Development with Idris. Можно воспользоваться 50%-й скидкой по промокоду DOTD101718 на все три книжки. В двух не своих я, кстати, упомянут в благодарностях, а в Get programming был ещё и technical proofer. Очень их рекомендую.
Forwarded from Igal Tabachnik
[извиняюсь за оффтопик] Здравствуйте! Хочу сообщить что книга Бартоша Милевски наконец-то доступна в печати! Вот вам, кому интересно) https://twitter.com/hmemcpy/status/1054089875526504452
Twitter
Igal Tabachnik
Category Theory for Programmers by @BartoszMilewski is now complete, and available for purchase in hardcover! 396 pages, 6"x9", full color print! As always, the PDF is free, and available online! Hardcover: https://t.co/2nsnzq1dFu PDF: https://t.co/UzrVSy9IyV
Forwarded from argent_smith
Популярная вводная лекция Виталия Брагилевского о теории алгоритмов (или вычислений): https://www.youtube.com/watch?v=PK1YzLdTqXc
YouTube
Вводная лекция по теории алгоритмов
Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.
Forwarded from The Catcher in the Sky (Artem Pelenitsyn)
Livejournal
Техническое письмо на английском
В этом семестре (осень 2018) я опять стал студентом. Значительную часть моей учебной нагрузки составили задания, предмет которых можно обозначить как техническое письмо на английском языке. Здесь я хотел бы отметить некоторые особенности этого предмета, которые…
Я пишу этот пост на пути из Юджина в Нью-Йорк. Закачивается пятимесячная программа Фулбрайта (Fulbright Faculty Development Program), благодаря которой я провёл пять месяцев в Университете Орегона. Остаётся двухдневный финальный семинар В Нью-Йорке, и в среду я вылетаю домой в Россию.
Формальная цель программы — разработка курса для своего университета, в моём случае это курс теории языков программирования на основе Coq. Эта цель, впрочем, слабо контролируется, достаточно было просто составить силлабус. Главное же в программе, как я это понимаю, это именно Faculty Development. Интересно, что в Университете Орегона Coq не любят (не путайте с летней школой OPLSS!), поэтому по существу там помочь особо не могли. Зато там есть люди, которые занимаются Хаскелем, тоже тема мне не чужая. Впрочем, это всё я понимал заранее, поэтому рассматривал участие в программе скорее как саббатикал.
Работал я под руководством Зены Ариолы. Прослушал пару местных курсов: Principles of Programming Languages для бакалавров и Structure of Programming Languages для магистрантов первого года и начинающих PhD-студентов. Общался с местной профессурой на разные темы, например, обсуждал разработку учебных планов. Ну и, разумеется, разрабатывал курс (сделал силлабус!).
Самый главный результат в плане развития оказался неожиданным: я начал считать рабочее время! Много раз пытался сделать это раньше, но ничего не выходило. А сейчас вдруг получилось. Благодаря этому я точно знаю, что за эти пять месяцев проработал 662 часа. Это именно рабочее время, я выключал трекинг, когда отвлекался на твиттер, да и написание этого поста работой я не считаю! Собственно, видно, что я много бездельничал. 662 часа — это всего 83 восьмичасовых рабочих дня, а по календарю их должно было быть 101! И это при том, что на кампусе я был по 12 часов в день обычно. Правда, я немного попутешествовал по Штатам (в том числе и в рабочее время), был в Сиэтле, Портленде (два раза!), Солт-Лейк-Сити и Йеллоустоунском национальном парке (всего полтора дня!), Сан-Франциско и окрестностях, Лос-Анджелесе и Лас-Вегасе (+ Большой Каньон), Бостоне. Делал доклады в Бостоне (на Хаскель-митапе и на семинаре по языкам программирования в Northeastern University) и Портленде (Galois). Подготовка к докладам и сами доклады, кстати, считались рабочим временем!
Если смотреть на рабочее время в разрезе конкретных проектов, которыми я занимался, то видно, что это был именно саббатикал. Больше всего времени, 226 часов, ушло на редактирование русского перевода Get Programming with Haskell (Программируй на Haskell, ДМК Пресс, вышла в ноябре 2018). Ещё 200 часов ушло на работу над моей книгой, Haskell in Depth. Вещами, связанными с фулбрайтовской программой (посещение курсов, выяснение особенностей процесса обучения, участие в локальных семинарах, подготовка отчётов и доклада на финальном семинаре), я занимался 80 часов. Ещё 46 часов ушло на проект с названием SFEDU. Что бы это могло быть… 12 часов я занимался (общественной) работой по GHC Steering Committee. 6 часов ушло на планирование работы! Остаётся что-то около 90 часов — это «разное», там подготовка стрима по теории алгоритмов (16 часов!), заявки на разные доклады и всякие другие мелочи, которые я посчитал работой. Впереди два полных дня семинара (это будет рабочее время, так что ещё часов 14 в проект Fulbright добавится) с участием представителей госдепа, они проверяют, не зря ли потратили деньги американских налогоплательщиков. Я делаю доклад во вторник.
Ещё одно достижение в рамках этого без преувеличения life-changing experience: у меня получилось регулярно ходить в спортзал (это не работа!). Я там был ровно 30 раз с 1 октября по 5 января.
Главное, о чём я сейчас мечтаю — сохранить трекинг времени и спортзал после возвращения в Ростов. Боюсь, это будет трудно. В спортзал постараюсь сходить в Нью-Йорке, не хочется, чтобы эта неделя не пропадала. В конце-концов, мне нужно отметиться в приложении!. В моей гостинице спортзал, по счастью, есть.
Формальная цель программы — разработка курса для своего университета, в моём случае это курс теории языков программирования на основе Coq. Эта цель, впрочем, слабо контролируется, достаточно было просто составить силлабус. Главное же в программе, как я это понимаю, это именно Faculty Development. Интересно, что в Университете Орегона Coq не любят (не путайте с летней школой OPLSS!), поэтому по существу там помочь особо не могли. Зато там есть люди, которые занимаются Хаскелем, тоже тема мне не чужая. Впрочем, это всё я понимал заранее, поэтому рассматривал участие в программе скорее как саббатикал.
Работал я под руководством Зены Ариолы. Прослушал пару местных курсов: Principles of Programming Languages для бакалавров и Structure of Programming Languages для магистрантов первого года и начинающих PhD-студентов. Общался с местной профессурой на разные темы, например, обсуждал разработку учебных планов. Ну и, разумеется, разрабатывал курс (сделал силлабус!).
Самый главный результат в плане развития оказался неожиданным: я начал считать рабочее время! Много раз пытался сделать это раньше, но ничего не выходило. А сейчас вдруг получилось. Благодаря этому я точно знаю, что за эти пять месяцев проработал 662 часа. Это именно рабочее время, я выключал трекинг, когда отвлекался на твиттер, да и написание этого поста работой я не считаю! Собственно, видно, что я много бездельничал. 662 часа — это всего 83 восьмичасовых рабочих дня, а по календарю их должно было быть 101! И это при том, что на кампусе я был по 12 часов в день обычно. Правда, я немного попутешествовал по Штатам (в том числе и в рабочее время), был в Сиэтле, Портленде (два раза!), Солт-Лейк-Сити и Йеллоустоунском национальном парке (всего полтора дня!), Сан-Франциско и окрестностях, Лос-Анджелесе и Лас-Вегасе (+ Большой Каньон), Бостоне. Делал доклады в Бостоне (на Хаскель-митапе и на семинаре по языкам программирования в Northeastern University) и Портленде (Galois). Подготовка к докладам и сами доклады, кстати, считались рабочим временем!
Если смотреть на рабочее время в разрезе конкретных проектов, которыми я занимался, то видно, что это был именно саббатикал. Больше всего времени, 226 часов, ушло на редактирование русского перевода Get Programming with Haskell (Программируй на Haskell, ДМК Пресс, вышла в ноябре 2018). Ещё 200 часов ушло на работу над моей книгой, Haskell in Depth. Вещами, связанными с фулбрайтовской программой (посещение курсов, выяснение особенностей процесса обучения, участие в локальных семинарах, подготовка отчётов и доклада на финальном семинаре), я занимался 80 часов. Ещё 46 часов ушло на проект с названием SFEDU. Что бы это могло быть… 12 часов я занимался (общественной) работой по GHC Steering Committee. 6 часов ушло на планирование работы! Остаётся что-то около 90 часов — это «разное», там подготовка стрима по теории алгоритмов (16 часов!), заявки на разные доклады и всякие другие мелочи, которые я посчитал работой. Впереди два полных дня семинара (это будет рабочее время, так что ещё часов 14 в проект Fulbright добавится) с участием представителей госдепа, они проверяют, не зря ли потратили деньги американских налогоплательщиков. Я делаю доклад во вторник.
Ещё одно достижение в рамках этого без преувеличения life-changing experience: у меня получилось регулярно ходить в спортзал (это не работа!). Я там был ровно 30 раз с 1 октября по 5 января.
Главное, о чём я сейчас мечтаю — сохранить трекинг времени и спортзал после возвращения в Ростов. Боюсь, это будет трудно. В спортзал постараюсь сходить в Нью-Йорке, не хочется, чтобы эта неделя не пропадала. В конце-концов, мне нужно отметиться в приложении!. В моей гостинице спортзал, по счастью, есть.
Ну и, традиционно, анонсы: 25 января делаю доклад на f(by) в Минске по теории типов её использовании в реализации компилятора GHC, а 22 марта — в Берлине на BobKonf буду рассказывать о программировании на уровне типов в Haskell. Если всё сложится удачно, то 22–23 апреля поучаствую в конференции AppsConf в Москве, поговорим с разработчиками мобильных приложений под Android и iOS о программировании в функциональном стиле. Возможно, будет ещё кое-что интересное! Stay tuned.
По просьбе администраторов программы Фулбрайта в России написал небольшой отчёт и решил, что вполне можно выложить его и здесь. Публикую заодно и свои слайды с заключительного семинара в Нью-Йорке (их можно смотреть параллельно тексту, потому что именно так я его и писал!): https://bit.ly/bravit-fulbright. Особенно сильно это всё должно смотреться после вчерашнего заявления. Пожалуй, некоторая связь действительно есть!
==================
Мне кажется, что я ещё долго буду осознавать результаты и подводить итоги моего пятимесячного пребывания в США по Программе Фулбрайта. Я был распределён в Университет Орегона, который расположен в небольшом городке Юджин (Eugene, ударение на второй слог!), однако США не ограничились для меня только этим городком. За это время я успел побывать в Портленде, Сан-Франциско, Сиэтле, Солт-Лейк-Сити, Лос-Анджелесе, Лас-Вегасе, Бостоне и Нью-Йорке, а также посетил Йеллоустоунский национальный парк и насладился потрясающими видами Большого Каньона. Удивительно, насколько удобно путешествовать по Штатам, ведь все эти поездки легко уложились в праздничные и выходные дни.
Я считаю чрезвычайно важным и то, что мне удалось стать частью семьи в доме, где я снимал комнату: я участвовал в традиционной забаве вырезания по тыкве и рождественской раздаче подарков, обсуждал массу интереснейших вопросов от еды до политики, от истории до общественных отношений. Я открыл для себя потрясающее разнообразие кухонь (что касается еды, то в США очень легко найти вообще всё). Я купался в культуре коротких разговоров (small talks), общаясь с водителями и кассирами, студентами и преподавателями, просто случайными людьми на улицах. Наконец, я впервые услышал и постарался запомнить неимоверное количество английских слов и выражений.
Разумеется, самой важной составляющей моего пребывания в США было профессиональное развитие: как работает американский университет, как разрабатываются учебные планы, как набираются студенты, как профессора готовят курсы, как читаются лекции, как ведутся лабораторные и практические занятия — моё любопытство во всех этих вопросах удовлетворялось практически ежедневно. Мой научный руководитель — профессор Зена Ариола — была постоянно на связи, рекомендуя мне людей и курсы, которые могли бы быть мне полезны. Я занимался разработкой курса по теории языков программирования (интересно, что мои первоначальные цели и планы существенно изменились под влиянием курсов, читаемых в Университете Орегона). Ещё находясь в США, я подал заявку на чтение курса в рамках Летней школы по информатике, которая будет проходить в конце июня 2019 года в Новосибирске — заявка оказалась успешной и именно там мои наработки по программе Фулбрайта будут впервые представлены слушателям Школы.
Ещё одним очень важным результатом Программы Фулбрайта — результатом вводного и заключительного семинаров в Нью-Йорке — оказалось то, что я научился писать силлабусы курсов. Силлабус, в отличие от разного рода рабочих программ дисциплин, которые так любят у нас в России, — это документ, чрезвычайно полезный как преподавателю, так и студентам. Это действительно рабочий документ, который содержит только самую необходимую информацию, он помогает планировать и реализовывать курс, он отвечает на существенные вопросы и позволяет быстро понять, что этот курс собой представляет. К сожалению, нашей системе образования пока очень далеко до понимания важности такого рода описаний курсов, мы стремимся к чему-то совсем другому.
Я очень благодарен Программе Фулбрайта и всем её сотрудникам в России и США. Пожалуй, её влияние на мою жизнь мало с чем сравнимо, и мне ещё предстоит его оценить.
==================
==================
Мне кажется, что я ещё долго буду осознавать результаты и подводить итоги моего пятимесячного пребывания в США по Программе Фулбрайта. Я был распределён в Университет Орегона, который расположен в небольшом городке Юджин (Eugene, ударение на второй слог!), однако США не ограничились для меня только этим городком. За это время я успел побывать в Портленде, Сан-Франциско, Сиэтле, Солт-Лейк-Сити, Лос-Анджелесе, Лас-Вегасе, Бостоне и Нью-Йорке, а также посетил Йеллоустоунский национальный парк и насладился потрясающими видами Большого Каньона. Удивительно, насколько удобно путешествовать по Штатам, ведь все эти поездки легко уложились в праздничные и выходные дни.
Я считаю чрезвычайно важным и то, что мне удалось стать частью семьи в доме, где я снимал комнату: я участвовал в традиционной забаве вырезания по тыкве и рождественской раздаче подарков, обсуждал массу интереснейших вопросов от еды до политики, от истории до общественных отношений. Я открыл для себя потрясающее разнообразие кухонь (что касается еды, то в США очень легко найти вообще всё). Я купался в культуре коротких разговоров (small talks), общаясь с водителями и кассирами, студентами и преподавателями, просто случайными людьми на улицах. Наконец, я впервые услышал и постарался запомнить неимоверное количество английских слов и выражений.
Разумеется, самой важной составляющей моего пребывания в США было профессиональное развитие: как работает американский университет, как разрабатываются учебные планы, как набираются студенты, как профессора готовят курсы, как читаются лекции, как ведутся лабораторные и практические занятия — моё любопытство во всех этих вопросах удовлетворялось практически ежедневно. Мой научный руководитель — профессор Зена Ариола — была постоянно на связи, рекомендуя мне людей и курсы, которые могли бы быть мне полезны. Я занимался разработкой курса по теории языков программирования (интересно, что мои первоначальные цели и планы существенно изменились под влиянием курсов, читаемых в Университете Орегона). Ещё находясь в США, я подал заявку на чтение курса в рамках Летней школы по информатике, которая будет проходить в конце июня 2019 года в Новосибирске — заявка оказалась успешной и именно там мои наработки по программе Фулбрайта будут впервые представлены слушателям Школы.
Ещё одним очень важным результатом Программы Фулбрайта — результатом вводного и заключительного семинаров в Нью-Йорке — оказалось то, что я научился писать силлабусы курсов. Силлабус, в отличие от разного рода рабочих программ дисциплин, которые так любят у нас в России, — это документ, чрезвычайно полезный как преподавателю, так и студентам. Это действительно рабочий документ, который содержит только самую необходимую информацию, он помогает планировать и реализовывать курс, он отвечает на существенные вопросы и позволяет быстро понять, что этот курс собой представляет. К сожалению, нашей системе образования пока очень далеко до понимания важности такого рода описаний курсов, мы стремимся к чему-то совсем другому.
Я очень благодарен Программе Фулбрайта и всем её сотрудникам в России и США. Пожалуй, её влияние на мою жизнь мало с чем сравнимо, и мне ещё предстоит его оценить.
==================
Уже в третий раз еду читать курс в Computer Science клубе при ПОМИ РАН, очень уж мне там нравится. В этот раз 2-3 марта буду рассказывать про вывод типов вообще и в компиляторе GHC в частности: https://bit.ly/spb-type-inference.
👏1
Forwarded from Как стать учёным, если ты дно
Приближение лета особенно ярко чувствуется с приближением дедлайнов для подачи на разные летние школы. Вот здесь большой список школ в разных областях Computer Science: https://goo.gl/dG12d4
Среди них есть две классные школы в России с кучей селебрити:
• Russian Workshop on Complexity and Model Theory (https://mipt.ru/education/chairs/dm/conferences/workshop-june-9-11-moscow-2019.php)
• Computer Science Summer in Russia (CSSR) (https://cssr.nsu.ru/school/)
Ещё очень рекомендую эту школу в Швеции:
• Swedish Summer School in Computer Science (S3CS)(https://s3cs.eecs.kth.se/).
Я ездила на S3CS пару лет назад и осталась очень довольной: есть гранты, организация отличная, лекторы супер-топовые. Ну и лекции проходят в загородном спа-отеле с басиком, сауной, бесплатным питанием. Если вы терзаете себя вопросом: «Да что хорошего в карьере учёного?!», то в Швеции недельку вы себя терзать не будете.
Среди них есть две классные школы в России с кучей селебрити:
• Russian Workshop on Complexity and Model Theory (https://mipt.ru/education/chairs/dm/conferences/workshop-june-9-11-moscow-2019.php)
• Computer Science Summer in Russia (CSSR) (https://cssr.nsu.ru/school/)
Ещё очень рекомендую эту школу в Швеции:
• Swedish Summer School in Computer Science (S3CS)(https://s3cs.eecs.kth.se/).
Я ездила на S3CS пару лет назад и осталась очень довольной: есть гранты, организация отличная, лекторы супер-топовые. Ну и лекции проходят в загородном спа-отеле с басиком, сауной, бесплатным питанием. Если вы терзаете себя вопросом: «Да что хорошего в карьере учёного?!», то в Швеции недельку вы себя терзать не будете.
Thiago Serra
Summer 2019 schools on data analytics, discrete math, machine learning, networks, optimization, and other relevant topics in operations…
This post covers relevant schools happening between April and September of 2019. If you know of other schools that are not listed here, please reach out to me. Like in previous semesters, I will ke…
Forwarded from Computer Science клуб (Ivan Bliznets)
Есть пара новостей. Во-первых, 2 марта откроется новый семестр в Computer Science клубе! Выбирайте, пожалуйста, интересные вам курсы и приходите. И знакомых приводите. Вход в клуб по-прежнему открыт для всех желающих (регистрация не требуется)!
Сайт клуба compsciclub.ru
Во-вторых уже доступно видео лекции "Машинное обучение в Яндексе", которая прошла 16 февраля. https://compsciclub.ru/courses/csseminar/2019-spring/classes/4474/
Сайт клуба compsciclub.ru
Во-вторых уже доступно видео лекции "Машинное обучение в Яндексе", которая прошла 16 февраля. https://compsciclub.ru/courses/csseminar/2019-spring/classes/4474/
В прошедший уикенд я читал лекции в CS-клубе при ПОМИ РАН по выводу типов в системе Хиндли-Милнера и компиляторе GHC (https://compsciclub.ru/courses/types/2019-spring/). Утром второго дня я получил от Amazon'а письмо, начинавшееся со слов «Hello Vitaly Bragilevsky,
Are you looking for something in our Computers & Technology Software Books department? If so, you might be interested in these items».
В теме письма при этом значилось «Types and Programming...», а в списке были настолько близкие к тематике курса книги, что я решил начать лекцию с зачитывания полученного списка. Честно говоря, я был удивлён качеством рекомендации. Разумеется, я все эти книги прекрасно знаю, но получить такую подборку от искусственного интеллекта было очень приятно. Чаще приходится месяцами наблюдать рекомендации относительно покупки чайника сразу после приобретения чайника, ведь всем известно, что люди всегда покупают по два чайника.
Один из слушателей попросил меня продублировать список здесь, что я с удовольствием и делаю.
1) Types and Programming Languages, Benjamin C. Pierce
Азбука нашего дела. Здорово, что есть (замечательный!) русский перевод (https://newstar.rinet.ru/~goga/tapl/), в котором мне в числе прочих выписана благодарность, которой я очень горжусь.
2) Purely Functional Data Structures, Chris Okasaki
Приятная книга, помогающая понять все сложности и интересности работы со структурами данных в чисто функциональном программировании. В книге примеры на ML, но есть приложение с реализациями на Haskell. Есть и русский перевод, я был его редактором: https://dmkpress.com/catalog/computer/programming/functional/978-5-97060-233-1/
3) Basic Category Theory for Computer Scientists, Benjamin C. Pierce
Как признаётся сам автор, ему захотелось изучить теорию категорий, поэтому он и написал эту книжку. Написана она почти 30 лет назад, Пирс тогда был совсем молодым. Книжка очень тонкая (всего 114 страниц), что очень приятно.
4) The Little Typer, Daniel P. Friedman, David Thrane Christiansen
Приятный (несколько игровой) способ изучить зависимые типы. Предисловие от Боба Харпера и послесловие от Коннора МакБрайда говорят сами за себя. Книжка новая, вышла в сентябре 2018 года.
5) Structure and Interpretation of Computer Programs, Harold Abelson, Gerald Jay Sussman, Julie Sussman
Ну, тут всё ясно, классика. Есть русский перевод: https://newstar.rinet.ru/~goga/sicp/sicp.pdf. Кстати, у книг 1, 2, 5 есть один общий переводчик — замечательный Георгий Бронников, мы все должны быть ему благодарны.
6) Practical Foundations for Programming Languages, Robert Harper
Актуальная библия теории типов. Текст сложный: этой осенью я участвовал в семинаре, в рамках которого делались доклады по этой книге. Так вот студенты всячески пытались с неё свинтить, заменяя на более простые источники. Ну, действительно сложно.
7) The Art of Computer Programming, Volumes 1-4A, Donald E. Knuth
Тут искусственный интеллект немного лопухнулся, но книжка всё равно важная!
8) Type Theory and Formal Proof: An Introduction, Rob Nederpelt, Herman Geuvers
Неплохой современный учебник по теории типов (2014 год) от Cambridge University Press, достаточно высокий уровень, но написано относительно просто.
9) The Little Prover, Daniel P. Friedman, Carl Eastlund
Индуктивные доказательства во всей красе и снова в игровом стиле. Предисловие от Маттиаса Феллайзена, тоже не последний человек, зря рекомендовать книгу не будет.
Внезапно оказалось, что я смотрел только часть письма, а внизу была ссылка на полный список рекомендаций. В полном списке также нашлись Type-driven Development in Idris от Эдвина Брейди (тоже с благодарностью мне!), Compilers: Principles, Techniques, and Tools от Ахо, Лэм, Сети и Ульмана, и почему-то Рефакторинг от Мартина Фаулера. Перестарался искусственный интеллект всё-таки, зря хвалил.
Are you looking for something in our Computers & Technology Software Books department? If so, you might be interested in these items».
В теме письма при этом значилось «Types and Programming...», а в списке были настолько близкие к тематике курса книги, что я решил начать лекцию с зачитывания полученного списка. Честно говоря, я был удивлён качеством рекомендации. Разумеется, я все эти книги прекрасно знаю, но получить такую подборку от искусственного интеллекта было очень приятно. Чаще приходится месяцами наблюдать рекомендации относительно покупки чайника сразу после приобретения чайника, ведь всем известно, что люди всегда покупают по два чайника.
Один из слушателей попросил меня продублировать список здесь, что я с удовольствием и делаю.
1) Types and Programming Languages, Benjamin C. Pierce
Азбука нашего дела. Здорово, что есть (замечательный!) русский перевод (https://newstar.rinet.ru/~goga/tapl/), в котором мне в числе прочих выписана благодарность, которой я очень горжусь.
2) Purely Functional Data Structures, Chris Okasaki
Приятная книга, помогающая понять все сложности и интересности работы со структурами данных в чисто функциональном программировании. В книге примеры на ML, но есть приложение с реализациями на Haskell. Есть и русский перевод, я был его редактором: https://dmkpress.com/catalog/computer/programming/functional/978-5-97060-233-1/
3) Basic Category Theory for Computer Scientists, Benjamin C. Pierce
Как признаётся сам автор, ему захотелось изучить теорию категорий, поэтому он и написал эту книжку. Написана она почти 30 лет назад, Пирс тогда был совсем молодым. Книжка очень тонкая (всего 114 страниц), что очень приятно.
4) The Little Typer, Daniel P. Friedman, David Thrane Christiansen
Приятный (несколько игровой) способ изучить зависимые типы. Предисловие от Боба Харпера и послесловие от Коннора МакБрайда говорят сами за себя. Книжка новая, вышла в сентябре 2018 года.
5) Structure and Interpretation of Computer Programs, Harold Abelson, Gerald Jay Sussman, Julie Sussman
Ну, тут всё ясно, классика. Есть русский перевод: https://newstar.rinet.ru/~goga/sicp/sicp.pdf. Кстати, у книг 1, 2, 5 есть один общий переводчик — замечательный Георгий Бронников, мы все должны быть ему благодарны.
6) Practical Foundations for Programming Languages, Robert Harper
Актуальная библия теории типов. Текст сложный: этой осенью я участвовал в семинаре, в рамках которого делались доклады по этой книге. Так вот студенты всячески пытались с неё свинтить, заменяя на более простые источники. Ну, действительно сложно.
7) The Art of Computer Programming, Volumes 1-4A, Donald E. Knuth
Тут искусственный интеллект немного лопухнулся, но книжка всё равно важная!
8) Type Theory and Formal Proof: An Introduction, Rob Nederpelt, Herman Geuvers
Неплохой современный учебник по теории типов (2014 год) от Cambridge University Press, достаточно высокий уровень, но написано относительно просто.
9) The Little Prover, Daniel P. Friedman, Carl Eastlund
Индуктивные доказательства во всей красе и снова в игровом стиле. Предисловие от Маттиаса Феллайзена, тоже не последний человек, зря рекомендовать книгу не будет.
Внезапно оказалось, что я смотрел только часть письма, а внизу была ссылка на полный список рекомендаций. В полном списке также нашлись Type-driven Development in Idris от Эдвина Брейди (тоже с благодарностью мне!), Compilers: Principles, Techniques, and Tools от Ахо, Лэм, Сети и Ульмана, и почему-то Рефакторинг от Мартина Фаулера. Перестарался искусственный интеллект всё-таки, зря хвалил.
Единственная неизвестная мне книга из всего списка: A Programmer's Introduction to Mathematics Paperback – November 27, 2018 by Dr. Jeremy Kun. Какая-то самопально изданная книжка от сотрудника Гугла, получившего PhD от Университета Иллинойса в Чикаго. Не буду проверять, что там такое, и вам не рекомендую.
Очень быстро появились видеозаписи моих лекций «Вывод типов от Хиндли — Милнера до GHC 8.8» 2–3 марта в CS-клубе при ПОМИ РАН: https://www.youtube.com/playlist?list=PLvPsfYrGz3wuVAGhNf6-i7uafXg56oqM5. Спасибо Лекториуму (https://www.youtube.com/user/OpenLektorium)! Информация по курсу (в том числе слайды): https://compsciclub.ru/courses/types/2019-spring/about/
YouTube
Вывод типов от Хиндли — Милнера до GHC 8.8
Share your videos with friends, family, and the world
