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

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: