lytdybr

Как ни странно, но я считаю, что закончил редактировать основной текст учебника системного мышления. Мне страшно перечитывать и перередактировать его весь (тут у меня получилось не "кончаю, страшно перечесть", а "закончил, так и не перечитал"), но я вписал туда всё то новое, что хотел во все места, о которых вспомнил. Литературная редакция всего текста в мои планы не входила, а чеклист по новациям я закрыл. И стало определённо лучше! Поправлены термины обеспечения/создания, предмета интереса как важной характеристики, к деятельности/практике добавили синонимом-с-нюансами труд, подсказано про аннотирование типов и дана нотация ::, добавлено про агентов и актёров и намерения ушли агенту, даны ссылки на мыслительные практики интеллект-стека, стало теперь четыре основных разбиения системы вместо трёх, разделы про паттерны/ритмы во времени, поминание digital twins, адаптацию системной схемы проекта, вставлено упоминание active inference -- это не так уж мало для новой редакции. Теперь вот думаю, не развалилась ли там где-то конфигурация (скажем, половина абзаца осталась из версии 2020 года, а часть оказалась "поправленной по месту" и что-то где-то с чем-то перестало стыковаться). Дальше нужно принять трудное решение, по какому варианту идти: -- план А: отправить текущий текст книги в Ridero, и пока там будут верстать (вряд ли успеют к Рождеству, но можно попробовать), добавить упражнения по моделированию в онлайн-курс (для чего это всё, собственно, и затевалось). -- план Б: добавлять упражнения по моделированию, и потом внести в текст какие-то дополнительные примеры и пояснения. Ибо мало ли что ещё захочется досказать! Свеженькое от John Sowa (https://groups.google.com/g/ontology-summit/c/1wB8Jh_ivu0/m/rlIgHRDIAAAJ), в моих книжках (ОдО2021, СМ2020, ВМ2018 это не "знаки", но "описания", в русском языке таки "знак" имеет более узкое значение):

instead of the word "Data", I recommend the more general word "Signs". That term includes every kind of language, logic, patterns, notations, books, documents, web pages, representations, images, diagrams, virtual reality... independent of any media, substrate, or equipment on which the signs may be stored, displayed, processed, or transmitted. In fact, an ontology that does not include signs as a fundamental category is incapable of representing or talking about itself. Every theory of mathematics and logic is a formal system of signs that are related by formal signs called axioms and rules of inference. For an ontology that has a two-way split at the top (Signs and Physics), see slide 30 of http://www.jfsowa.com/talks/patolog4.pdf Those are the slides for day 4 of a short course on Patterns of Logic and Ontology. For the slides of the other days, see patlog1, 2, 3, and 5.

Примечательный разговор про то, как люди приходят в Julia, не находят там наследования (кроме как через обязательное использование абстрактных типов, которые никто не использует как обязательные), и уходят. Вот с этого места: https://t.me/JuliaLanguage/24624 (впрочем, этот вопрос подробно обсуждался и в предыдущие дни). И разговор вышел на то, с чего начинался когда-то чат по типам данных в языках программирования, моделирования, представления знаний и жизни: как моделировать реальный мир в структурах данных конкретного языка. Вот тут (начиная с реплики, что моделирование реального мира нельзя делать через иерархии и тем самым через наследование, и дальше там сразу вопрос про композицию вместо наследования с иерархией и мой ответ, что в системном мышлении сразу четыре иерархии по композиции, и одной иерархии поэтому нет по принципу): https://t.me/JuliaLanguage/24718 А ещё в сообществе Julia language мне встретилось максимальное количество людей, хорошо разбирающихся в байесовской статистике. Вот несколько интересных ссылок из тамошних разговоров последней пары дней: -- трёхчасовой семинар про причинное обновление/causal inference, https://www.youtube.com/watch?v=KNPYUVmY3NM -- курс на eDx (начинается сегодня, записалось 64тыс. человек): https://www.edx.org/course/causal-diagrams-draw-your-assumptions-before-your -- книжка Aubrey Clayton о том, как частотники когда-то давно победили байесианцев, и как это сейчас аукается (вышла в августе 2021): Bernoulli's Fallacy: Statistical Illogic and the Crisis of Modern Science, https://aubreyclayton.com/bernoulli, https://b-ok.cc/book/16914433/8d5ad4 А вот и Сатоши Накамото официально нашёлся: https://coingeek.com/bitcoin-creator-craig-wright-100-satoshi-nakamoto-says-kleiman-v-wright-jury/ ("- Ну что же, - задумчиво отозвался тот, - они - люди как люди. Любят деньги, но ведь это всегда было... Человечество любит деньги, из чего бы те ни были сделаны, из кожи ли, из бумаги ли, из бронзы или золота. Ну легкомысленны... ну, что ж... и милосердие иногда стучится в их сердца... обыкновенные люди... в общем, напоминают прежних... квартирный вопрос только испортил их... - и громко приказал: - Наденьте голову"). Перепостил в фейсбуке ещё одно моё фото из середины 90х с ещё одним фрагментом летописи по созданию российского рынка ценных бумаг, я там с Андреем Козловым у себя дома в Кузьминках, https://www.facebook.com/ailevenchuk/posts/10222117393577897.