https://www.youtube.com/watch?v=LT4AP7CUMAw

Любопытный доклад, показывает кое-какие тонкие моменты.

— Почему ты непрерывно изучаешь какую-то математику?!
— Вовсе нет, я изучаю дискретную математику!

https://mlajtos.mu/posts/new-kind-of-paper

Идеи о том чтобы в конце концов просто писать на планшете, а он понимал что ты пишешь и вычислял всё что можно, витают в воздухе ещё со времён Palm Pilot. Будет отлично, если автор "дожмёт" свой "подход к снаряду" до юзабельного вида. Плюс, интересные комментарии относительно APL. 😊

Помните, может быть, в прошлом году я писал о том, как Facebook пытался закрыть проект исследователей Нью-Йоркского университета о дезинформации? Так вот, у истории есть продолжение – доступа к данным социальной сети у исследователей по всей видимости больше нет, так как приложение Ad Observer для изучения дезинформации показалось Facebook нарушающим пользовательскую приватность.

На это уже откликнулись много правозащитных организаций, и вот Mozilla в своем блоге прямо пишут, что эти обвинения ложные. Приложение никакой личной информации не собирает и правилам платформы, касающимся приватности, не противоречит: разработчики Mozilla сами проверили Ad Observer, и вообще оно в открытом доступе.

(пост в блоге еще любопытен тем, что есть ссылки на другие случаи того, как Facebook противостоит академической свободе исследования)

А 13 августа этого года другая инициатива по подотчетности алгоритмов AlgorithmWatch был вынужден остановить свой проект по исследованию Instagram после угроз от Facebook. Им угрожают судом, а в суде некоммерческой организации против огромной транснациональной компании, как кажется, примерно понятно, кто победит. AlgorithmWatch уже сделали много крутых отчетов, посмотрите особенно ежегодные Automating Society + много всего про алгоритмы в госсекторе.

https://www.youtube.com/watch?v=_7ZtISeGyCY
The Augmentation of Douglas Engelbart | Full Documentary

A must watch for pretty much everybody I think.

https://secretgeek.github.io/html_wysiwyg/html.html

WOW, this is seriously cool! 😃
Thanks @goldsteinq for linking to it.

Should take note of https://nimbletext.com/ 😏

https://www.springer.com/gp/book/9783319430645

Алан Кей изрядно (и по делу) раскритиковал эту книгу, но она тем не менее может быть очень интересна и полезна инженерам, практикующим и/или преподающим низкоуровневую (системную) разработку. 😊

https://zellij.dev/about/

Что-то среднее между tmux и terminal-based IDE. Любопытно, но сам не пробовал. Also #rust #wasm #wasi

https://static.stillinbeta.com/cold-iron/cold_iron/

Так и не могу до конца понять этот прикол. Они что-то реально делают? Или это чисто "вычислительный оккультизм"?

Набитый но открытый рюкзак Сплав Seed M2 (если правильно помню модель) чем-то похож на "яйцо" зеноморфа, из которого уже выпрыгнул лицехват... 🤔

https://blog.khinsen.net/posts/2020/12/10/the-structure-and-interpretation-of-scientific-models/
and
https://blog.khinsen.net/posts/2021/01/08/the-structure-and-interpretation-of-scientific-models-part-2/
for you not to miss it.

Kind of critique of current fashion for sticking Machine Learning models into every hole and insight into two kinds of scientific models and their importance. With a parallel to specifications and implementations in programming.

Yeah, this is good. Should #save for an occasion. 😁

http://rescience.github.io/

Cool and very respectable initiative!

https://blog.khinsen.net/posts/2020/05/05/wanted-a-hierarchically-modular-software-architecture/
A hierarchically modular software architecture
Me: хотеть.

Перекликается с проблематикой, затронутой в https://t.me/plcomp/72

Пишут, что https://people.cs.uchicago.edu/~shanlu/paper/hotos19_azure.pdf

found that 21% of the cloud outages resulted from inconsistent data format assumptions across different software components and versions

Good luck with dynamically typed languages.
(Сам я, конечно, не читал что там пишут 😁)

https://zuckermaninstitute.columbia.edu/innovation-scholar-zenna-tavares-wants-give-machines-common-sense

Кто-то плотно занимается counterfactual reasoning. Звучит многообещающе. Я слышал, у них открыты вакансии.

https://hal.archives-ouvertes.fr/hal-02117588/document
"Dealing With Software Collapse" (aka "bit rot").

The paper talks about situation with Scientific Software but pretty relevant to all of Software Development. The author introduces the notion of time scale of changes in a project and suggests different "collapse mitigation strategies" based on the estimated scale of the project and prospective dependencies.

The author concludes with a personal story dealing with collapse of Scientific Python ecosystem years before Python 3 became a must. Which was rather surprising for me and is pretty concerning.

More innovation!
While browsing a Github repository, press the period key . . This opens the repository in a full-fledged VS Code-based web editor for easy browsing, pushing changes and evaluating PRs. More info.

https://doi.org/10.1017/S0956796821000113
"How to design co-programs" by Jeremy Gibbons

Статья призывает расширить подход How to Design Programs (aka HtDP, серия курсов, обучающих студентов программированию с нуля, плюс два издания одноимённой книги: https://htdp.org/ если кто не знает) за счёт введения понятия ко-рекурсивных функций и соответствующих паттернов для их построения.

Говоря по-простому, ко-рекурсивные функции — это такие, которые строят свой результат "по кусочкам", используя конструкторы соответствующего (алгебраического) типа данных, вместо того (или вместе с тем) чтобы разбирать входные данные "на кусочки" при помощи сопоставления с образцом (aka [datatype] pattern matching).

Я безусловно согласен с Гиббонсом в том, что ко-рекурсивные функции — очень полезный инструмент в арсенале разработчика, особенно, начинающего. Тем не менее, на мой взгляд, эта тема требует намного более тщательной методической проработки чтобы органично встроиться в общую канву HtDP.

Более того, самая интересная часть этой статьи — ещё одна статья, которая не была написана, к сожалению. 😊 В середине повествования Гиббонс обсуждает "генеративную рекурсию" (generative recursion, термин из HtDP), и показывает как функции (изначально) в форме общей генеративной рекурсии могут быть представлены в виде композиции структурно-рекурсивной и ко-рекурсивной функции (так же известной как "иломорфизм" или "хиломорфизм" — hylomorphism). К сожалению, за кадром остаются самые важные и интересные вопросы: как понять, что данную конкретную функцию можно представить в виде такой композиции, или придётся использовать генеративную рекурсию общего вида? как выбрать подходящую промежуточную структуру для рекурсии и ко-рекурсии? Возможно, эти вопросы удастся прояснить тем, кто интегрирует тему ко-рекурсивных функций в свои учебные программы. 😊