Лекции по функциональному программированию на Haskell

В этом году наконец решил, как давно планировал, не просто писать лекции по Haskell на доске, а сделать нормальные слайды.

Первые 4 лекции выложены на https://github.com/alexeyr/miet-haskell-course/, остальные будут по ходу семестра.

Рядом с Казанью: Болгар или Свияжск?

В Твиттере спрашивал, но ответа не получил, может, тут получится. Если кто-то был в Болгаре и в Свияжске, где понравилось больше? Или если в одном из них, но сильно понравилось или наоборот, тоже буду рад услышать.

Итоги года

Главное и наиболее запомнившееся в этом году, к сожалению -- то, как много и сильно болел (хотя каждый раз недолго) :(

Главное положительное -- доклад на FHPC. Ну и то, что с сентября наконец со здоровьем стало лучше.

Итог по тренировкам: 80 кг жим стоя, 117,5 жим лёжа, 147,5 становая, 177,5 приседания. То есть в целом удалось вернуться к тем результатам, которые были до начала болезней в феврале, или чуть превысить их. Если бы не потерянные полгода... Ну буду надеяться на следующий.

Всех с Новым годом!
  • Current Mood
    hopeful hopeful

Первый черновой вариант сценария "Назад в будущее"

http://www.scifiscripts.com/scripts/back_to_the_future_original_draft.html

Отец Марти, чемпион мира по боксу в среднем весе. Плюс Кока-Кола как ключевой ингредиент для путешествий во времени. Не знаю, может, все уже знают, а я вот не видел. Тем более, что с днём как раз совпадение :)

Ректор МИФИ о новых абитуриентах, рейтингах и союзе религии и науке в университете

Ссылка.
Избранные фрагменты:
На мой взгляд, тому есть несколько причин. Во-первых, традиционные в России конфессии, и прежде всего православие, как государствообразующая религия, несут в себе некий генетический код, который, благодаря историческому решению святого великого князя Владимира, более 1000 лет тому назад сформировал неповторимые, уникальные черты нации. Именно с этого момента мы сделали свой цивилизационный выбор. Наша российская общность – огромная ценность народа и государства. В отличие от Запада на Руси, в России, в Советском Союзе приоритетами всегда были не материальные блага, не потребительство, а духовное начало, понимание того, что есть нечто, что выше материального довольствия.

Загадка: где больше христиан, в РФ или в США? И где религия играет реально большую роль?
Настоящее научное познание не может ограничивать себя каким-то одним методом. В данном случае мощнейшим инструментом миропознания являются религия, богословие – которые вместе с наукой в ее традиционном понимании смогли бы создавать более адекватную многомерную картину понимания мира.

Научное познание не должно ограничиваться научным методом. Логично.
В итоге человечество приходит к массовому увлечению оккультизмом, вплоть до откровенного сатанизма. Свидетельство тому и истории с НЛО, и феномен научной фантастики, и жанра фэнтези – современной формы оккультных верований. То есть позиции науки, стоящей на атеистических, примитивно-материалистических позициях, приводят именно к этой, сатанинской форме религиозности!

Ему сложно представить, что можно читать художественную литературу, не веря в написанное? Или есть ещё какие-то толкования?

Веб-сериалы на английском

Как-то получилось, что в последнее (или не очень) время закончились многие веб-сериалы (литературные web-serial, а не видео web-series), которые я читал. Решил составить список ссылок, может, кому пригодится :)

Harry Potter and the Methods of Rationality -- самый популярный, есть даже русский перевод.

Ra.

Worm и Pact (одного автора, но не связаны друг с другом).

Fall of Doc Future и Skybreaker's Call (это первые две части трилогии).

The Two Year Emperor.

Git: submodule и subtree

Спрошу и тут: вы используете git submodule или git subtree? Или что-то ещё? Особенно интересует поддержка в IDEA (я сам в основном из командной строки работаю, но большинство команды нет).

Нашёл ещё gitslave (он к нашему случаю не подходит) и git subrepo (выглядит интересно и развивается, но вот информации по нему мало).

Умер Михаил Успенский

Один из моих любимых авторов :(

Originally posted by afranius at R.I.P.
Умер Михаил Успенский.
Больше, чем он -- цитат и мемов подарил нам, пожалуй, только Лукин: от "Чугунного Всадника" (чуть менее чем полностью) до "...Этот боцман дочь его была".
И -- он был очень хорошим человеком. Правильным.

Результаты цикла тренировок

Осенью тренировки шли так себе, но под конец исправился :) Жим стоя 77,5, становая 155, жим лёжа 112,5, приседание 167,5. То есть по нормативам уже на грани II разряда. На грани потому что всё-таки это результаты не на соревнованиях и не в один день. Но по крайней мере кажется, что стоит разобраться, как и где можно в соревнованиях поучаствовать :)