https://twitter.com/mobileunderhood/status/1216048110096568321 давно так не выл в голос. Кто этого клоуна допустил вести андерхуд — вопрос открытый.

Я сегодня стал жертвой мошенников по схеме, которая и достаточного параноидального человека обманет.

Поступает входящий с номера, который принадлежит Альфа-банку — +7 495 878-88-78. Говорят, что по карте была сомнительная операция, сработала антифрод-система, карта будет заблокирована и нужно оформить операции по компенсации с резервного счета. При этом мошенники называют паспортные данные (ФИО, дату рождения), а также первые и последние 4 цифры карты. Просят в ответ для подтверждения личности назвать полный номер карты и срок действия. После этого несколькими платежами осуществляется перевод денег со счета — для этого они просят «подтвердить до копейки» сумму на текущем счету. Подтверждение осуществляется в режиме AVR, а не напрямую «оператору» — т.е. они как-то переводят напрямую на альфовского робота, похоже. При этом «оператор» прекрасно владеет информацией касательно Альфа-банка, отвечает на все вопросы по перевыпуску карт, к примеру.

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

По всей видимости, была утечка перс. данных клиентов Альфы — номера телефона, паспортные данные, частичные номера карт. Будьте бдительны.

А девчонка в коробчонке — министр образования

JetBrains выпустил опен-сорсный шрифт JetBrains Mono, оптимизированный для чтения кода: https://www.jetbrains.com/lp/mono/

Также для новых подписчиков напоминаю, что у меня есть своя сборка шрифта Иосевка — увеличенная на 10% по ширине с включенными лигатурами для хаскеля/жс/скалы.
Брать тут: https://news.1rj.ru/str/randomstuffilike/155
А тут пакеты для арча: https://news.1rj.ru/str/randomstuffilike/161 (мало ли)

#музыкальная_пауза
Настроение: https://youtu.be/Q4v1_oHdHO8

Доклад крутейшего Олега Нижникова из Тинькофф про стрелки и симметричные моноидальные категории: https://www.youtube.com/watch?v=i-A7XiJ_1sk
Ну а я чуток упоролся и транслировал пример из его доклада на тайпскрипт: https://codesandbox.io/s/arrows-ts-hu13d

P.S. Кстати, в codesandbox есть мой шаблон, содержащий fp-ts и его экосистему, в том числе и kleisli-ts, для быстрой проверки гипотез на функциональном TS: https://codesandbox.io/s/functional-typenoscript-template-e156q

Тильда как проект на этом закончилась: https://twitter.com/nesteliza_/status/1217899385092222977

Кто там плакал, что «ФП сложна, математика трудно, жс проста»? Книга «A Brief Course of Modern Math for Programmers» даст ответы на ваши вопросы.
Ревью от прекрасного Оскара Понса можно найти здесь, например.

А за ручку с камерой с AliExpress все равно сядешь ты.
https://meduza.io/news/2020/01/18/tsentr-e-chetyre-mesyatsa-snimal-na-skrytuyu-kameru-spalnyu-aktivistki-otkrytoy-rossii-eto-delalos-s-razresheniya-suda

Статья «Profunctor optics, a categorical update» от Эмили Пиллмор, Бартоша Милевского и многих других крутых исследователей:
https://arxiv.org/pdf/2001.07488.pdf

There's maniacs. There's psychos. Then, there's this guy:
https://twitter.com/alex_christofi/status/1219564301029138432

via @zalozy

Eto ya

Открыточка @datstuff

Продолжение вот этой работы.

Profunctor optics and traversals
Mario Román
https://arxiv.org/abs/2001.08045
Optics are bidirectional accessors of data structures; they provide a powerful abstraction of many common data transformations.
This abstraction is compositional thanks to a representation in terms of profunctors endowed with an algebraic structure called Tambara module.
There exists a general definition of optic in terms of coends that, after some elementary application of the Yoneda lemma, particularizes in each one of the basic optics.
Traversals used to be the exception; we show an elementary derivation of traversals and discuss some other new derivations for optics.
We relate our characterization of traversals to the previous ones showing that the coalgebras of a comonad that represents and split into shape and contents are traversable functors.
The representation of optics in terms of profunctors has many different proofs in the literature; we discuss two ways of proving it, generalizing both to the case of mixed optics for an arbitrary action.
Categories of optics can be seen as Eilenberg-Moore categories for a monad described by Pastro and Street.
This gives us two different approaches to composition between profunctor optics of different families:
using distributive laws between the monads defining them, and using coproducts of monads.
The second one is the one implicitly used in Haskell programming; but we show that a refinement of the notion of optic is required in order to model it faithfully.
We provide experimental implementations of a library of optics in Haskell and partial Agda formalizations of the profunctor representation theorem.
#paper