Вчера стартовала бесплатная онлайн-конференция Haskell.Love. Сегодня с 16:00 на твиче начинаются доклады второго и заключительного дня: https://haskell.love/agenda-day-2

Из того, что лично я рекомендую не пропустить:
— Доклад Филип Уодлера «Propositions as Types» — материал старый, но просто за харизму докладчика стоит послушать ❤️
— Доклад Кристофера Фогта «Writing 2D games using super simple Haskell» — для тех, кто спрашивает «а что на этом вашем хаскеле вообще пишут?»
— Доклад Дерека Элкинса «Quotient Types + Behavioral Reflection = ?»
— Доклад Бартоша Милевского «Replacing functions with data» про технику дефункционализации…
— …либо доклад Габриэля Гонзалеса «How to market Haskell to a mainstream programmer», если интересен прикладной аспект хаскеля
— Доклад Ричайда Эйзенберга «Parameters of many Flavors»
— Ну и, наконец, доклад Эмили Пиллмор «Hulk SMASH: re-imagining the Maybe-monad and its design space»

Вчера тоже были крутые доклады — скажем, Вероника Ромашкина и Дмитрий Коваников представили офигенный Stan, Владислав Завьялов очень круто рассказал, как рассахариваются разные фичи хаскеля в GHC Core, а Андрес Лох поведал про Typed Template Haskell с использованием Staging (вот слайды).

А меня так бесит реакция на ^W в разных приложениях и браузерах

В Intellij Idea оно (сочетание) для инкрементального увеличивающегося выделения части слова под курсором - слова - обрамляющего выражения и так далее. Это настолько удобная фича, что её жмёшь уже бессознательно и тут херак -- и окно закрылось 😖

По привычке нажал ^R в плейграунде, чтобы заменить текст и страница перегрузилась стерев весь мой код >_<

Уверен, многие знают и любят эту фичу

Я ожидал какой-то другой развязки, из-за этого было особенно смешно😁

#prog

Блеск и нищета #kotlin

Не распознал сарказм, чёрт. Пора спать уже
===
Doctor Foland Dondoa:
payload = generate_payload(**locals(), exclude=['files'])

ЭТО БЛЯТЬ ГЕНИАЛЬНО

**locals()

Nick Linker:
Щас бы называть неконтролируемый эффект доступа к окружению гениальным 😑

Berkus Decker:
думаю это был сраказм

Doctor Foland Dondoa:
ну вот я бы до такого маразма не додумался
но есть гении однако
===
via https://t.iss.one/rust_offtopic/341279

Я поддержу растамана, anyhow когда вам нужно "по-быстрому", и thiserror когда вам нужно "правильно".

Всё кроме anyhow и thiserror #ненужно

Разве что fehler из любви к Лодочнику^W ok-wrapping

Неплохой обзор языков со статической типизацией и набором фич, которые поддерживают системы типов каждого из языков (и проблем, которые их системы типов содержат).
https://typing-is-hard.ch/

ожидания: бог алгоритмики
реальность: императивная макака

AMD + Rust = 🦄❤️
Ну во всяком случае работа по этому направлению становится активнее, что не может не радовать.

https://bheisler.github.io/post/state-of-gpgpu-in-rust/

^^^ Или лучше сказать, GPU + Rust, потому что в статье не только об OpenCL и Вулканах, а также и CUDA, которая как известно является проприетарной технологией Nvidia.

Submitted by @Strangerx

Вода из душа конечно вызывает ржавчину при попадании на bare-metal поверхности >.<

===
T-34 85:
ты гошник?

Bohdan Bessonov:
Я растер

Вернее я в душе растер но пока пишу на этих конченых плюсах

===
via https://t.iss.one/rust_offtopic/348729

Классическая книга, которую нужно почитать, но я не знаю, когда я её буду читать (никогда? нееееет 😱 Пока поставлю её следующей после текущей, (которая FRP)).

Открывая в произвольном месте я иногда отлично понимаю, о чём речь (по-видимому фоном где-то изучилось), но иногда совершенно не врубаюсь. Систематическое изучение не заменишь прыжками по вершкам, увы.

Сама книжка:
https://www.microsoft.com/en-us/research/wp-content/uploads/1987/01/slpj-book-1987-small.pdf