дыбр: науки и искусства
Apr. 4th, 2021 01:20 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
dmmGoogle Scholar suggested this paper to me:
"Adjoint Reactive GUI Programming", arxiv.org/abs/2010.12338
Обещают экономное и корректное reactive programming, и при том... Kripke–Joyal presheaf semantics !
Мой друг в прошлом году сделал несколько серий изящных картинок в Джулии, полученных "небиективной перестановкой пикселей". Я, наконец, оформил их как Julia Jupyter notebooks:
"Adjoint Reactive GUI Programming", arxiv.org/abs/2010.12338
Обещают экономное и корректное reactive programming, и при том... Kripke–Joyal presheaf semantics !
Мой друг в прошлом году сделал несколько серий изящных картинок в Джулии, полученных "небиективной перестановкой пикселей". Я, наконец, оформил их как Julia Jupyter notebooks:
no subject
Date: 2021-04-04 05:51 am (UTC)***
Последний автор этого текста, я на него ссылался пару раз уж точно в 2015-2016-м годах в препринтах.
У него ещё блог прикольный:
https://semantic-domain.blogspot.com/2021/02/five-and-half-derivatives-in-language.html