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

[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]

This is the last image in https://nbviewer.jupyter.org/github/anhinga/julia-notebooks/blob/main/grimoire-team/exercise-3.ipynb

which is the third notebook linked from README.md here: https://github.com/anhinga/julia-notebooks/tree/main/grimoire-team

[juan_gandhi]

Я вот что-то тоже замечаю, что слово "предпучок" входит в моду.

[dmm]

Это очень хорошо. Как раз правильная степень общности...

***

Последний автор этого текста, я на него ссылался пару раз уж точно в 2015-2016-м годах в препринтах.

У него ещё блог прикольный:

https://semantic-domain.blogspot.com/2021/02/five-and-half-derivatives-in-language.html

[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...

[dmm]

Animated version:

https://github.com/anhinga/julia-notebooks/tree/main/grimoire-team/animated_gifs