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

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

Как измерить скорость света в домашних условиях, имея под рукой только шоколадку и микроволновку: https://twitter.com/CentrlPotential/status/1307760753265512448

Видимо, Яндекс не смог договориться с Олегом Нижниковым о тренингах для своих скалистов, поэтому просто купил Тинькофф 🤔
https://www.kommersant.ru/doc/4501811

ААААААААААААААА!
(via)

This picture is brought to you by Lithium Carbonate

Не смог пройти мимо такой красоты

[×] Ваше регулярное напоминание, что Профунктор Оптикс пидары

Ладно, теперь обратно к серьезным вещам.
Замечательные ребята из Kowainik (Дмитрий Коваников и Вероника Ромашкина) недавно написали шикарный пост про derivation strategies:
https://kowainik.github.io/posts/deriving
Очень рекомендую — они и пишут хорошо, и подробно разбирают темы. Один из топовых просветительских блогов по хаскелю в моем личном рейтинге!

Похоже, не весь запас хтони я еще исчерпал на сегодня.
(via)

Конференция DISC-2020 проводится онлайн. При конфе будет воркшоп по TLA+. Для зрителей есть бесплатная (но обязательная) регистрация: http://www.disc-conference.org/wp/disc2020/registration/.
Страница воркшопа: http://conf.tlapl.us/home/?

Отдельно хочу прокомментировать эту новость. TLA⁺ — это язык спецификации, основанный на темпоральной логике действий, что позволяет описывать и верифицировать корректность распределенных систем, моделируя их поведение во времени. Есть отличный доклад от команды Elasticsearch о том, как они с помощью модели на TLA⁺ нашли и исправили ошибку, которая воспроизводилась только в сложных высококонкурентных сценариях. Это уже не «фантазии академиков в башнях из слоновой кости», а самый что ни есть реальный, прагматичный и прикладной способ повышать надежность ПО.
В общем, если вы занимаетесь распределенными системами или системами реального времени, есть смысл поучаствовать. Кто знает, вдруг через какое-то время на месте ребят из Elastic будете именно вы рассказывать, как улучшили ваш проект с помощью методов формальной верификации 😉