Что-то давно не была #музыкальная_пауза на канале! Исправляюсь.

Внимание: дальше будет описание достаточно жесткого концерта сатанистов из группы Behemoth. Если такой контент для вас неприемлим, лучше почитайте диссертацию про формальную верификацию Rust или интервью замечательной Эмили Риль для журнала QuantaMagazine.

Вчера вечером прошел лайв-стрим концертного шоу In Absentia Dei группы Behemoth, и это был полный восторг! В предконцертном ролике Нергал рассказывал, что в качестве площадки они сняли помещение шикарной полуразрушенной евангелистской церкви X-XI веков. Как всегда, было много светотехники, огненных установок, горящих логотипов группы, дыма и крутых костюмов. Для трек-листа парни отобрали лучшие композиции как с последних двух альбомов, так и более старый материал — вплоть до песен с альбома Demigod. На ютьюбе Нергал обещал, что это будет уникальное шоу, и сдержал слово. Наверное, самая жесть происходила во время песни Ora Pro Nobis Lucifer — в помещение ввели девушку со связанными от бедер до коленей ногами, после чего ее кожу пронзили десятком крючьев с креплениями для веревок, и подняли метра на три в воздух в самом центре церкви. По сути, группа играла в алтарном углу перед распятой в воздухе обнаженной девушкой, и от этого просто бегали мурашки по коже. ИМХО, сейчас есть мало групп, которые могут позволить себе такие смелые эксперименты, и Behemoth уверенно держат планку качества. А концовка шоу была просто огненной в прямом и переносном смысле — под песню O Father, O Satan, O Sun на крыше церкви зажгли огонь, из окон вырывались языки пламени, а само исполнение перемежалось видеофрагментом скачущего на лошади мужчины в горящем балахоне. После такой программы парням будет непросто поддерживать такой же уровень лайв-шоу, и я очень надеюсь как-нибудь попасть на их выступление вживую.

Прекрасный тред с мини-видео, иллюстрирующими расслоение Хопфа:
https://twitter.com/vi_ne_te/status/1302273248634208258

*картинка с опоссумом*
https://twitter.com/fcuktv/status/1302876167423365120

Если вам нужна была еще одна причина не пользоваться сбером.
https://twitter.com/sberbank/status/1302843162533208065

Амнезиак класса D, я надеюсь.

https://twitter.com/a_konyaev/status/1303601736175759363

Сегодня с 13:00 и завтра с 11:00 будет проходить MuniHac! Программа очень интересная — будут как обычные доклады на темы от логирования до прикладного теорката, так и воркшопы по Miso, Liquid Haskell и много чему еще. Всё это счастье будет стримиться на ютьюб, но если кто-то захочет пообщаться с докладчиками и участниками, то для этого есть канал в Slack.

Сегодня в 20:00 будет сразу 2 доклада, которые вызывают особенный интерес:

1. Ричард Эйзенберг будет рассказывать о частичных конструкторах: https://www.youtube.com/watch?v=rqmCwpRXT_E
This talk will explore the possibility of explicitly partial type constructors, where we can declare loudly that types like Set work only with some type arguments, but not others. The design proposed improves error messages, simplifies type signatures, and allows instances like Functor over Sets.

2. Джейми Уиллис будет рассказывать о библиотеке для парсерных комбинаторов Parsley, основанной на селективных функторах — разработке Андрея Мохова со товарищи: https://www.youtube.com/watch?v=Zhu-cPY1eac
Selective functors give a ray of hope to the combinator world by generating a purely static structure eligable for analysis and staging, yielding high-performance parsers. This talk will focus on how working with Parsley is different to working with a normal monadic parser combinator library as well as touching on what makes it tick.

Весь плейлист MuniHac 2020 доступен здесь:
https://www.youtube.com/playlist?list=PLxxF72uPfQVTfDksvV4KPV5CxKnf0d_X3

Eto ya

(via https://twitter.com/SH00TER__/status/1304965904896200704)

Hey bro, nice coq

via https://twitter.com/notxcain/status/1306227410740936704

Впрочем, ничего нового

#музыкальная_пауза
Всем доброго утра, хорошего дня и замечательного настроения! 🖤
https://www.youtube.com/watch?v=p5F15p-WNv4

Вряд ли на меня подписаны даже wannabe хаскелисты, но, возможно, кому-нибудь будет интересно: сегодня в 20.00 по мск будет вебинар про рантайм Хаскеля. Обещают внутрянку и GC. Оставлю тут ссылку на оригинальный твит
https://twitter.com/serokell/status/1306537892186132480?s=19

Подвываю! (via)

Доклад был очень крутой и подробный (хотя Максим и утверждал, что он начального уровня) — разбирались этапы генерации STG и Cmm из пайплайна компиляции хаскеля. Жду запись, а пока ссылки на посты по данной теме из презентации:
— http://takenobu-hs.github.io/downloads/haskell_ghc_illustrated.pdf
— https://www.well-typed.com/blog/2014/05/understanding-the-stack/
— http://www.well-typed.com/blog/95/
— http://www.scs.stanford.edu/14sp-cs240h/slides/ghc-rts.pdf
— http://blog.ezyang.com/2011/04/tracing-the-compilation-of-hello-factorial/
— https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/generated-code
— https://gitlab.haskell.org/ghc/ghc/wikis/commentary/rts/storage/gc/remembered-sets
— https://github.com/well-typed/ghc-events-analyze

То ли контент для @ebanatics, то ли что-то, что можно направить в полезное русло… В любом случае, релиз TypeScript 4.1 обещает быть интересным 🤔
https://twitter.com/buildsghost/status/1301976526603206657

Выложили запись доклада: https://www.youtube.com/watch?v=vvLDerKtUWE
Очень рекомендую!

Бабка, неси пиявок, дед опять бушует!
https://twitter.com/unclebobmartin/status/1306963496026988545

Может хватит бухтеть и дестабилизировать ситуацию в хаскеле? Есть инфа от знающего человека, что у нас в хаскеле скоро ожидаются реальные изменения. После того, как Гранин напишет книгу, уничтожат таглесс файнл. Тогда везде и сформулируют боринг хаскель манифест. Скорость компиляции поднимут и будут держать, дженерики ничего не смогут сделать. Сейчас главное не бухтеть. А теперь самое главное! От нас требуется сидеть тихо. После того, как все сделают, все будет у нас хорошо. Всем устроят рекорды через точечку, как явистам - каждый будет кататься в иде. Главное сейчас сидеть тихо и не суетиться. Никаких линз, никаких кметтов. Просто переждать и всё будет хорошо, там все схвачено....