дыбр: науки и искусства

[dmm]

Google Scholar suggested this paper to me:

"Adjoint Reactive GUI Programming", arxiv.org/abs/2010.12338

Обещают экономное и корректное reactive programming, и при том... Kripke–Joyal presheaf semantics !

Мой друг в прошлом году сделал несколько серий изящных картинок в Джулии, полученных "небиективной перестановкой пикселей". Я, наконец, оформил их как Julia Jupyter notebooks:

Comments

[dmm]

The truth is: this paper is simply too difficult to read.

This is just a reminder why I never agreed to study this flavor of computer science.

And I am sure it has meaningful material inside, and I am sure people are capable of finding a better way of presenting it. But no, I don't agree to parse the text of this flavor in order to understand the details. That's one of the reasons we need an AI assistant: if people don't want to explain their results or don't know how to explain them, an artificial system should be able to digest them for us and to talk to us about those results in a way we can understand...