bravit-about


Гео и язык канала: не указан, не указан
Категория: не указана



Гео и язык канала
не указан, не указан
Категория
не указана
Статистика
Фильтр публикаций


Ну и, традиционно, анонсы: 25 января делаю доклад на f(by) в Минске по теории типов её использовании в реализации компилятора GHC, а 22 марта — в Берлине на BobKonf буду рассказывать о программировании на уровне типов в Haskell. Если всё сложится удачно, то 22–23 апреля поучаствую в конференции AppsConf в Москве, поговорим с разработчиками мобильных приложений под Android и iOS о программировании в функциональном стиле. Возможно, будет ещё кое-что интересное! Stay tuned.


Я пишу этот пост на пути из Юджина в Нью-Йорк. Закачивается пятимесячная программа Фулбрайта (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 января.

Главное, о чём я сейчас мечтаю — сохранить трекинг времени и спортзал после возвращения в Ростов. Боюсь, это будет трудно. В спортзал постараюсь сходить в Нью-Йорке, не хочется, чтобы эта неделя не пропадала. В конце-концов, мне нужно отметиться в приложении!. В моей гостинице спортзал, по счастью, есть.




Репост из: argent_smith
Популярная вводная лекция Виталия Брагилевского о теории алгоритмов (или вычислений): https://www.youtube.com/watch?v=PK1YzLdTqXc


Репост из: Igal Tabachnik
[извиняюсь за оффтопик] Здравствуйте! Хочу сообщить что книга Бартоша Милевски наконец-то доступна в печати! Вот вам, кому интересно) https://twitter.com/hmemcpy/status/1054089875526504452


Вот ещё отличная книжка!


В издательстве Manning Publications отличная Deal of the Day с тремя книжками: Haskell in Depth, Get Programming with Haskell и Type-driven Development with Idris. Можно воспользоваться 50%-й скидкой по промокоду DOTD101718 на все три книжки. В двух не своих я, кстати, упомянут в благодарностях, а в Get programming был ещё и technical proofer. Очень их рекомендую.


Репост из: Как завести канал в Телеграме, если ты дно
Прочитал очень длинный текст сегодня, очень устал


Репост из: Как стать учёным, если ты дно
Часто бывают такие дни, когда наукой не очень получается заниматься. Сегодня краткая подборочка того, чем можно заняться вокруг науки, чтобы кажется и совесть не мучила, и полезно было, и не требовалась бы такая лютая концентрация, которая нужна при чтении статей.

Самое моё любимое: видосики. И тут могут быть совершенно разные видосики, даже научпоп на ютубе про что-то связанное с вашей научной областью. Ещё можно смотреть видео с курсов разных университетов, например, Стэнфорда, либо с научных школ и конференций. Да и про Coursera, Stepik и мой любимый Лекториум тоже прошу не забывать. И не обязательно смотреть лекции по темам, неизвестным для вас. Я, например, периодически пересматриваю по пятому разу какие-то лекции, потому что часто забываю какие-то идеи напрочь. С тем, что повторение это мать учения, я более чем согласна.

Ещё я очень люблю читать бложики разных учёных. Во-первых они часто пишут на интересные научные темы кратко, сжато, по делу и с примерами. То есть, не читая статей, можно сразу понять, в чём фишка какого-то нового результата, как и к чему применяется какая-то новая техника. Во-вторых там всегда освещено то, что сейчас в тренде в области.

Дополнительно к этому в бложиках учёных, в их твиттерах часто можно встретить посты поддержки, советы, да просто истории из жизни, про то, как у них что-то не получалось, как они падали лицом в грязь. Мне это даёт надежду, ведь я знаю, что в итоге у этих людей всё хорошо. Когда я узнала этим летом, что студенты из MIT совершенно обычные люди, их не тошнит радугой и они не генерируют постоянно доказательства, я была в шоке. Когда узнаёшь, что успешные (по общепринятым меркам) люди совершенно такие же как и ты — тоже ленятся, тоже частенько фейлят — то это очень успокаивает (может зря). А то всё время кажется, что вот у кого у кого, а у того великого учёного точно никогда не было проблем в карьере. Но на деле оказывается, что дно жизни видали в каком-то виде все.

Ещё всегда можно обновить своё резюме, улучшить или создать свой сайт, пофиксить все личные документы (я, например, пытаюсь вести дневничок того, что я делаю, что интересное прочитала, про что хочу ещё почитать, какие идеи из других доказательств мне показались интересными и применимыми к моим задачам). Ещё можно поотправлять заявки на стажировки/позиции или написать письма, которые давно страшно или лень отправить. Все эти дела не требуют серьёзной умственной нагрузки, но, безусловно, являются частью работы учёного.

Ну и самый лайтовый вид рабочей прокрастинации для меня: уборка рабочего пространства. Тут можно и разобраться, какие вкладки в браузере закрыть, от какой рассылки на почту наконец отписаться, какие опросы нужно было сто лет назад пройти, но я не прошла. Куча мелких дел. Жизнь учёных непроста, и лишний ежедневный поток неинтересных новостей, некрасивых фотографий, скучных твитов, лично меня, люто утомляет. Поэтому такой вид отдыха я отдельно рекомендую даже когда мозг готов работать на полную.


Репост из: Смирнов
Не писал давно про сбор денег для Медиазоны. Наш издатель уже две недели в больнице с отравлением, так себе повод форсить наш краудфандинг (или я просто не умею и стесняюсь). Хотя когда Верзилов придет в себя окончательно, он конечно спросит: ну сколько донатов собрали?

А нисколько за две недели не собрали, отрицательный рост. Было 894 тысячи, стало 893 тысячи. У кого-то карта кончилась, у кого-то на ней нет денег. Мы продолжаем работать в обычном режиме, несмотря на отравление. Ведем онлайны с суда в Барнауле и с очередного ареста Навального, пишем заметки про ментов, которые пытают и которых пытают.

И нам очень нужна ваша помощь, подписывайтесь на Медиазону. Очень хочется хотя бы до 900 тысяч ежемесячных платежей дойти в сентябре. Спасибо всем, кто помогает: https://donate.zona.media/?utm_source=smirnov&utm_campaign=first&utm_medium=telegram


Репост из: The Catcher in the Sky
#Ростов друзья, организаторы пишут, что успех этого события важен для продолжения их дела. Мне хочется, чтобы проект k-ino.ru жил в Ростове. Приходите посмотреть на Сэма Клебанова и фильм Такеши Китано
https://www.facebook.com/100000432952509/posts/2252681578089585/


Репост из: Медиазона
Это корреспондент Швец. Не хочу никого обидеть, но обрадоваться, оказавшись в Валуйках, можно только в том случае, только если вы до этого провели 16 часов в душном и пыльном купе с семейством, непрерывно поглощающим пахучую пищу, а в коридор выйти нельзя, потому что там воняет рыбой.

Чтобы все-таки никого не обидеть, я буду сейчас признаваться в собственном непрофессионализме — расскажу, как не смог написать полноценный репортаж. Короче, Валуйки — это районный центр в Белгородской области, там рядом поселок Уразово, где после убийства и изнасилования маленькой девочки, по слухам, были цыганские погромы (или что-то очень близкое к этому), и куда я приперся этим воскресным утром.

Значит, в полвосьмого утра на пустой площади одни менты, к ним выходит глава администрации. Я говорю, а покажите, где у вас дома горели? Он говорит, а покажите вашу пресс-карту и паспорты, вы не экстремист? Я такой: в смысле? Он такой: хуисле. Короче, пришлось отдать ему документы.

Потом разные его подчиненные меня возили по поселку, там в тексте есть совершенно безумные разговоры и мой фаворит — дед, который заходит в главе администрации в кабинет с конфетами и садится на шпагат, потому что полнолуние (хотя на самом деле это не подтвердилось).

Причем остальные местные со мной разговаривать не хотят совсем, хотя я даже пытался шокать и говорить с фрикативным «гэ»; даже не знаю, что выдавало во мне чужака. Я надеялся найти какого-нибудь забулдыгу, чтобы он мне все рассказал за бутылку водки. Тогда можно было бы написать предупреждение: корреспонденту «Медиазоны» пришлось отплатить за услуги гида бутылкой водки. Но я не нашел ни одного забулдыги, это даже странно — в какой-то момент даже начинает походить на фильм Hot Fuzz (он же «Типа крутые легавые»), там тоже про такую пасторальную деревню, в которой ВСЕ НЕ ТАК ПРОСТО.

Короче, в какой-то момент я просто-напросто заметил за собой слежку («для вашей же безопасности») и попросил этих шпионов довезти меня до райцентра. Там мы с ними попили пива, они мне так и сказали: «Димон, ты ебанутый». А потом говорят, что раз уж я в Валуйках, то мне обязательно надо купить что-нибудь производства местного ликеро-водочного завода. Ладно, дошли до магазина, продавщица посоветовала клюквенную настойку «Железная леди». Только я оплатил, она говорит: с «Железной леди» вы, конечно, зря, она уже не та, надо было водку брать.

Клянусь перед всеми читателями «Медиазоны»: еще раз окажусь в Валуйках — только водка. «Железную леди» я не пил и не знаю, буду ли.

Ну то есть вообще как. Там в тексте есть про убийство и погромы (или их отсутствие) и про отъезд цыган, формально все есть. Но вообще, был бы я храбрее, я бы провел в этом Уразово больше времени и собрал бы больше информации. Был бы я умнее — я бы придумал, как еще можно написать эту историю. Был бы я взрослее — я бы обошелся без идиотских шуточек. Но я юн, глуп и тюфяк


До Нью-Йорка полчаса, а я недоумеваю, как можно не донатить @mediazzzona...


Пишу этот пост, пролетая над Атлантикой, благодаря сервису Дельты с бесплатным доступом к мессенджерам во время полёта. Лечу я в Нью-Йорк, откуда через несколько дней отправлюсь в Юджин, в университет Орегона, где будет проходить моя пятимесячная стажировка по гранту Фулбрайта. Формальная цель стажировки — разработка курса формальной верификации программного обеспечения. Что будет по факту узнаем попозже. Согласно условиям гранта после возвращения я должен буду читать разработанный курс в России, всячески распространяя полученные в США знания. За время пребывания в США постараюсь также плотно поработать над книгой, потому что после возвращения домой меня ожидает спрессованная в один семестр годовая нагрузка. Спасибо, ЮФУ.


Репост из: The Catcher in the Sky
Надеюсь, многие смогут посетить семинар на Мехмате ЮФУ в пятницу, в 16:00:
http://forum.mmcs.sfedu.ru/t/seminar-po-yazykam-programmirovaniya-i-kompilyatoram/938/92?u=ulysses
В программе — мы с @bravit_about!


А ещё мы постараемся сделать прямую трансляцию на ютуб-канале https://www.youtube.com/bravit111


А у Manning «Deal of the Day»: можно прикупить одновременно Get Programming with Haskell и Haskell in Depth с промокодом dotd070918au!


О, и промокод на 50%-ную скидку к запуску подкатили: mlbragilevsky
https://www.manning.com/books/haskell-in-depth


Manning Publications наконец-то запустили программу раннего доступа (MEAP) к моей книге Haskell in Depth: https://www.manning.com/books/haskell-in-depth. Это означает, что книга пока в черновике, она будет постепенно дополняться и обновляться. Главное, что процесс пошёл. Издатель предполагает завершить работу над книгой к осени 2019 года, хотя я надеюсь, что получится гораздо раньше.



Показано 20 последних публикаций.

366

подписчиков
Статистика канала