lytdybr
Сосредоточился и переписал сегодня одну видеолекцию из курса системного менеджмента в главу курса по методологии, уложился в десяток страниц. Если так пойдёт дело дальше, то завтра я допишу ещё одну главу -- и курс будет готов. Но меня уговаривают таки добавить в системную схему проекта альфу operations/service в область интересов целевой системы. И тогда схема будет абсолютно унифицированной в части того, "как смотреть на системы". Ибо в создателях есть альфа времени эксплуатации, а вот в целевой системе нет, у Якобсона всё заканчивалось разработкой, "работ" целевой системы (их планирования, отслеживания выполнения и т.д.) не было. Это мутноватое место, но я склонен в порядке эксперимента согласиться и внести альфу прямо вот в текущую версию, перерисовать все диаграммы. И прописать несколько абзацев текста (хотя там нужно будет ещё поработать над состояниями этой альфы и контрольными вопросами, они ж для общего случая). В любом случае, отдаю курс на тестирование уже на этой неделе, и в Ridero он тоже может уйти на этой неделе. Получается очень короткий курс, а книжку ожидаю где-то на 250 страниц. Потом, конечно, всё это будет пухнуть и пухнуть. Но я бы сейчас уменьшал объём материала, а не наращивал его.
Писать учебники -- это очень познавательно. Писал очень коротко про моды и поветрия (моды приходят, чтобы остаться, поветрия -- это мутации мемома, которые оказываются не слишком удачные и быстро уходят). Пример моды -- это мини-юбки, они пришли в первой половине 1960х. А пример поветрия -- это раскраска бровей, которая была в 20х годах прошлого века, ниспадающая наружу-вниз, а не к переносице, как сейчас. Сегодня "стилизация под двадцатые" легко распознаётся: брови намалёваны оказываются неправильно, ибо "настоящие из двадцатых" выглядят более чем странно, и их не решаются воспроизвести! Вот тут подробненько: https://www.youtube.com/watch?v=-pCECNvUs2Q (и оно много лучше более популярного https://www.youtube.com/watch?v=MCxx-ffyExM о том же самом, и вообще такого много. Рассказ о вымерших стилях, как рассказ о вымерших видах животных. Одно и то же, эволюция. Ко времени "роста/создания" добавляем другой масштаб -- "жизни", когда должен действовать естественный отбор, и потом ещё один масштаб -- "эволюции", чтобы отслеживать появление не мутаций в быстром времени, но новых видов).
Интересная работа по использованию больших языковых моделей для формализации математических задач, сформулированных на естественном языке: https://arxiv.org/abs/2205.12615. Our methodology results in a new state-of-the-art result on the MiniF2F theorem proving benchmark, improving the proof rate from 29.6% to 35.2%. Трудность в том, что в задачах по программированию сетку учат на каком-нибудь огромном GitHub, а в математике есть Archive of Formal Proofs, который only 180MB in size, that is less than 0.18% of the training data for the large language model Codex. Оказалось, что всё не так плохо, языковые модели как-то ухитряются неплохо формализовывать и в таких условиях. Что мне больше всего понравилось, так это раздел "6.2. Informalization: from Izabelle [формальный язык математических доказательств] to Natural Language". Я всё время настаиваю, что операция деформализации/рендеринга едва ли не более трудная, чем операция формализации/моделирования. Например, ещё в 2011 году, до всех этих нейросеток, https://ailev.livejournal.com/969337.html "нужен фордеф". Или в 2019 я обсуждал https://ailev.livejournal.com/1494762.html, там схематизация/моделирование/кодирование/формализация и обратные рендеринг/порождение/деформализация/элокуция/разворачивание схемы/нарративизация. И вот AI пополз в этом направлении. Вот пример:
На сегодняшнем заседании IT-группы радовались, что мы смогли таки прорвать финансовую блокаду и научились принимать деньги с зарубежных карт. Прошли первые зарубежные платежи за наши онлайн-курсы. Пока цены там указаны в рублях и идут конвертации по банковским курсам плательщиков, но скоро мы справимся и с выставлением и приёмом суммы в евро. А ещё у нас подросла ежедневная аудитория онлайн-курсов, это на сегодня где-то не менее 60 человек ежедневно (до войны это было порядка сотни человек, потом упали вполовину).
Завтра начинается самый крупный кизомба-фестиваль в Москве, Kizzafro, будет идти 1-7 июня 2022, https://vk.com/kizzafro. У меня ещё осенью был куплен на него билетик, хотел сделать себе мини-отпуск. Это всё будет в гостинице Космос на ВДНХ, практически круглосуточно (с 11 утра до 5 утра ежедневно). Как я буду выпускать курсы и совмещать это с фестивалем, не очень понимаю. Но уж как нибудь. Всё равно круглосуточно писать курсы, круглосуточно спать, круглосуточно танцевать не получится. Так что поделим 24 часа на три равных части и будем на это деление ориентироваться, не воспринимая его как догму.
UPDATE: обсуждение в сообществе по представлению знаний с https://t.me/typeslife/16541, обсуждение во фрифиде -- https://freefeed.net/ailev/d66d5568-4873-40b5-914f-224b97f146d1
Писать учебники -- это очень познавательно. Писал очень коротко про моды и поветрия (моды приходят, чтобы остаться, поветрия -- это мутации мемома, которые оказываются не слишком удачные и быстро уходят). Пример моды -- это мини-юбки, они пришли в первой половине 1960х. А пример поветрия -- это раскраска бровей, которая была в 20х годах прошлого века, ниспадающая наружу-вниз, а не к переносице, как сейчас. Сегодня "стилизация под двадцатые" легко распознаётся: брови намалёваны оказываются неправильно, ибо "настоящие из двадцатых" выглядят более чем странно, и их не решаются воспроизвести! Вот тут подробненько: https://www.youtube.com/watch?v=-pCECNvUs2Q (и оно много лучше более популярного https://www.youtube.com/watch?v=MCxx-ffyExM о том же самом, и вообще такого много. Рассказ о вымерших стилях, как рассказ о вымерших видах животных. Одно и то же, эволюция. Ко времени "роста/создания" добавляем другой масштаб -- "жизни", когда должен действовать естественный отбор, и потом ещё один масштаб -- "эволюции", чтобы отслеживать появление не мутаций в быстром времени, но новых видов).
Интересная работа по использованию больших языковых моделей для формализации математических задач, сформулированных на естественном языке: https://arxiv.org/abs/2205.12615. Our methodology results in a new state-of-the-art result on the MiniF2F theorem proving benchmark, improving the proof rate from 29.6% to 35.2%. Трудность в том, что в задачах по программированию сетку учат на каком-нибудь огромном GitHub, а в математике есть Archive of Formal Proofs, который only 180MB in size, that is less than 0.18% of the training data for the large language model Codex. Оказалось, что всё не так плохо, языковые модели как-то ухитряются неплохо формализовывать и в таких условиях. Что мне больше всего понравилось, так это раздел "6.2. Informalization: from Izabelle [формальный язык математических доказательств] to Natural Language". Я всё время настаиваю, что операция деформализации/рендеринга едва ли не более трудная, чем операция формализации/моделирования. Например, ещё в 2011 году, до всех этих нейросеток, https://ailev.livejournal.com/969337.html "нужен фордеф". Или в 2019 я обсуждал https://ailev.livejournal.com/1494762.html, там схематизация/моделирование/кодирование/формализация и обратные рендеринг/порождение/деформализация/элокуция/разворачивание схемы/нарративизация. И вот AI пополз в этом направлении. Вот пример:
На сегодняшнем заседании IT-группы радовались, что мы смогли таки прорвать финансовую блокаду и научились принимать деньги с зарубежных карт. Прошли первые зарубежные платежи за наши онлайн-курсы. Пока цены там указаны в рублях и идут конвертации по банковским курсам плательщиков, но скоро мы справимся и с выставлением и приёмом суммы в евро. А ещё у нас подросла ежедневная аудитория онлайн-курсов, это на сегодня где-то не менее 60 человек ежедневно (до войны это было порядка сотни человек, потом упали вполовину).
Завтра начинается самый крупный кизомба-фестиваль в Москве, Kizzafro, будет идти 1-7 июня 2022, https://vk.com/kizzafro. У меня ещё осенью был куплен на него билетик, хотел сделать себе мини-отпуск. Это всё будет в гостинице Космос на ВДНХ, практически круглосуточно (с 11 утра до 5 утра ежедневно). Как я буду выпускать курсы и совмещать это с фестивалем, не очень понимаю. Но уж как нибудь. Всё равно круглосуточно писать курсы, круглосуточно спать, круглосуточно танцевать не получится. Так что поделим 24 часа на три равных части и будем на это деление ориентироваться, не воспринимая его как догму.
UPDATE: обсуждение в сообществе по представлению знаний с https://t.me/typeslife/16541, обсуждение во фрифиде -- https://freefeed.net/ailev/d66d5568-4873-40b5-914f-224b97f146d1