И так, на "Дне Проблем 2024" выступят
(*) П.Н. Советов (РТУ МИРЭА, Москва): Об обратной проекции Футамуры и новой реализации Рефала
(*) А.Н. Непейвода (МГТУ им. Н. Э. Баумана, Москва): Неуловимые формальные языки расширенных регулярок
(*) Д.А. Кондратьев (ИСИ СО РАН, Новосибирск): На пути к парадигмам задания спецификаций программ и мероприятие SpecifyThis 2024
(*) Л.В. Городняя (ИСИ СО РАН, Новосибирск): От сравнение языков программирования к пониманию истории и перспектив
(*) А. Недоря (Петербург): О технологическом суверенитете

Регламент выступлений 15 минут + до 10 минут на вопросы и обсуждение.

Семинар пройдет онлайн в Skype (можно смотреть в браузере) в понедельник 30 декабря с 14:00 до 16:00 по новосибирскому времени (10:00-12:00 мск).

До встречи завтра!

Всех с Новым Годом! Удачи и великих свершений. Россия вперёд!

Дорогие друзья, мы получили подтверждение нашей встречи в Санкт-Петербурге 16 января

📅 Дата и время: 16 января, 16:30
🎯 Тема встречи: Технологический суверенитет в инструментальных средствах
📍 Место: СПб, м. Невский проспект, Казанская ул., 3А, коворкинг KAZANSKAYA-PAGE
🔗 ССЫЛКА НА КАРТУ
🛋️ Переговорная: Лермонтов

Место забронировано на 4 часа

На месте, скажите, что вы на встречу в переговорную Лермонтов — сотрудники коворкинга осведомлены о мероприятии.

Мы будем на ресепшене к 16:30 и встретим первых участников! Ждем вас! 🤝✨

4-я и последняя статья про Тривиль. И это значит, что я вышел на оперативный простор.
https://www.ontonet.org/stati/разработка-языка-тривиль-часть-4-реализация

а это ссылка на всю серию: http://digital-economy.ru/temy/тривиль

Два года назад 8 февраля 2023 г. у нас на семинаре выступила Юлия Сергеевна Владимирова с докладом об истории троичной ЭВМ "Сетунь".

7 февраля 2025 г. исполняется 100 лет со дня рождения создателя троичных вычислительных машин "Сетунь" и "Сетунь 70" Николая Петровича Брусенцова.

МГУ организует конференцию, посвящённой 100-летию Н.П.Брусенцова. Конференция пройдет 7 февраля 2025 года, время с 14-00 до 19-00 в здании 2-го учебного корпуса МГУ на Ленинских горах.

Сегодня в прессе была опубликована статья, в которой упомянут Институт систем информатики им. А.П. Ершова СО РАН:

https://skillbox.ru/media/code/troichnyy-protsessor-utopiya-ili-tekhnologiya-budushchego/

В статье описан наследник отечественной троичной ЭВМ "Сетунь" и новый язык неявного параллелизма Тритон.

("Сегодня" = 9 апреля 2024 г.;-)

Цитата из приведенного интервью:
"Я надеюсь, что архитектура «Трит-2» у нас появится до 7 февраля 2025 года. Почему именно такая дата? Это 100-летие со дня рождения создателя «Сетуни» Н. П. Брусенцова. И очень бы хотелось успеть сделать тестовые образцы именно к этому времени."

Интересно, выполнен ли этот план? Будет ли презентация «Трит-2» на конференции?

Но до 16 января наверняка не успеют...

Раз уж зашел разговор об юбилеях - как мне напомнил Николай Шилов, 11 марта 2025 будет ровно 31 год с дня защиты моей кандидатской диссертации. Как мы все понимаем, 31 - это совершенно некруглое число в двоичной системе: 11111.
В ознаменовании сего факта, Николай предложил мне провести (в этот день) ретроспективно-рефлексивный семинар, на котором я расскажу, что я писал (и думал) 31 год назад про языки программирования, компиляторы и ООП и как это соотносится с тем, что я думаю об этом сейчас.

Могут ли в России пойти своим путем?

«Отбрасывание старого может упростить разработку нового в десятки и сотни раз», — написал эксперт в области разработки языков программирования и компиляторов, кандидат физико-математических наук Алексей Недоря.

Меньше чем за 9 календарных месяцев, минимальными усилиями (8 часов в неделю), написаны два компилятора, среда исполнения и библиотеки, суммарно 25 тысяч строк на трех языках программирования (Go, Тривиль, C99), сообщил он.

📖 Читать продолжение: https://rossaprimavera.ru/news/11bdbf97

@ia_rossa ✍️ #ИАКВ #ИАКВ_редакции

Может кого-то заинтересует...

Начинаем семинар накануне старого Нового года в понедельник 13 января в 14:00 мск (18:00 в Новосибирске).

Как было обещано во время "Дня Прблем 2024",
выступит Александр Иванович Легалов (Высшая школа экономики, Москва)

Тема: Технические приемы процедурно-параметрического программирования.

Аннотация: Доклад в продолжение предыдущего выступления на нашем семинаре "Процедурно-параметрический полиморфизм и его интеграция с языком программирования C" (29 мая 2024 г.). Проводится сопоставление базовой техники формирования данных и функций с объектно-ориентированным конструкциями. Помимо этого рассматриваются новые технические приемы написания программ с применением процедурно-параметрического полиморфизма.

Семинар пройдет онлайн в Skype (можно смотреть в браузере) .

Спасибо всем, кто вчера пришел на встречу! Было 22 человека и мы с трудом вместились в арендованную переговорку. Отдельное спасибо Саше Андрианову и всем, кто участвовал в организации.
Встреча была очень плотной и я пока не могу сформулировать внятно итоги, кроме одного - мы двигаемся и в очень верном направлении.
Если кто-то хочет написать свои впечатления, прошу не сдерживать прекрасные порывы...

Переношу в канал из комментария от noname nobody: "в контексте примеров из репозитория хотелось бы понять что автор вкладывает в понятие интесив. ЗЫ похоже на оберон на кириллице", так как тут есть о чем поговорить.
Какое умение разработчика языков программирования, на мой взгляд, является очень (если не самым) важным? Умение думать медленно, а именно умение рассматривать проблему с разных сторон, занудное стремление к точности выражений и к определению терминологии, пересмотр уже решенного, если появились новые данные, изучение опыта тех, на чьих плечах мы стоим, и т.д. Вот теперь исходя из думать медленно, отвечу на комментарий.
1) я не использую термин "интенсив" и не буду догадываться, что за этим стоит.
2) " похоже на оберон на кириллице" - хороший незаданный вопрос. Но для того, чтобы ответить на него, надо понять, что такое "Оберон" с точки зрения сущностных характеристик. Понятно, что смотреть надо не на синтаксис, он важен, но вторичен. Смотреть надо на семантику - статическую и динамическую. Если мы выпишем сущностные характеристики Оберона, скажем 5-10 штук, и, после этого, сопоставим их с характеристиками Тривиля, то мы сможем обосновано сказать - Тривиль - это Оберон, почти Оберон, совсем не Оберон.
Домашнее задание всем, кто хочет разрабатывать языки программирования: напишите в комментарии сущностные характеристики Оберона. Подсказка, одна из таких характеристик - сборка мусора.

Встреча «Ворчалки Питер» 16/01/2025
Впечатления - 1.
Суверенитет и дети

Приветствую честнУю компанию!
Первое - хочется сказать Всем большое спасибо за встречу.
Всем спасибо!
Для меня это было очень полезно.
Для фиксации мыслей и открытий попробую выложить основные образы в некую последовательность, чтобы далее можно было двигаться, накапливая качество.

Наш «Разговор» привлек много интересных людей и потихоньку стала вырисовываться большая картина, картина новой реальности, которую мы с Вами можем создать, а может и не создать.

Пожалуй, это было одним из Важных открытий для меня.

Как сказал Андрей Николаевич Чесноков: «- Нас нельзя будет не заметить, если мы будем что-то действительно делать».

Что же мы делали на встрече?

Мы общались, узнавали возможности и цели друг-друга, искали общее внутри одной большой задачи.
Эту задачу в самом начале разговора обозначил Алексей Евгеньевич Недоря: Технологический суверенитет в инструментальных средствах.

Суверенитет — полная независимость государства от других стран.

Казалось бы все мы понимаем что это задача важная, но возможно не все понимали что это задача которая нам под силу.

«Быстро это медленно»

Невозможно построить систему безопасности, управляемую систему, инфраструктуру ИТ-разработок без создания определенной среды, которая рождает специалистов. Я имею ввиду людей который не просто создадут новую реальность, но активно будут ее развивать и прилагать все усилия для того, чтобы их работа была не напрасной.

Сама идея «перпендикулярной операционной системы» заставляет задуматься о том, что начало работы лежит в наших детях, в садиках и школах, где они получают первые образы взаимодействия с цифровым миром.

Если эти первые образы заложены не нами, на чужих архитектурных и цифровых платформах, нам ничего не остается - как пожинать плоды, мы теряем идентичность в самом начале пути.

Вопрос подготовки кадров, был очень естественно затронут на нашей встрече, и в этом плане порадовал Виктор Минин, который рассказал про «белых хакеров» и «Летнюю школу».

Справка:
++++++++++++++
Летняя школа CTF
Ежегодная выездная школа для школьников и студентов, обучающихся по специальности «Информационная безопасность», участников российских CTF-команд, а также экспертов в области ИБ.

Сapture the Flag или CTF в ИБ — это соревнования в форме командной игры, главная цель которой — захватить «флаг» у соперника в приближенных к реальности условиям. Команды решают прикладные задачи, чтобы получить уникальную комбинацию символов (флаг). Далее участники отправляют флаг в специальную платформу и получают подтверждение, что задача решена верно или стоит попытаться дать ответ ещё раз.
++++++++++++++++

Подготовка и отбор тех, кто будет заниматься наукой через 5-10-25-100 лет нужно начинать вчера, и эта работа идет, что очень радует.

Пожалуй это первый срез, тех впечатлений который постараюсь выкладывать по частям, чтобы было проще переварить.

Буду рад любым комментариям и просьбам что-то осветить, что было на встрече.
В пределах разумного конечно.

Встреча «Ворчалки Питер» 16/01/2025
Впечатления - 2. Time to market


Как бы нам не хотелось признавать, но всё что нас нынче окружает: ПК, планшеты, телефоны, большие цифровые сети и системы, всё это создано на зависимой/чужой элементной базе и на чужом небезопасном софте.

В основе-основ лежит физическая архитектура и сами микропроцессоры, далее системы которые их обслуживают программно.

Можно ли создать свою независимую технологическую средУ от начала и до конечных устройств и программ для пользователя?

Конечно можно.
В целом задача инженера как раз таки состоит в создании новых сред, по-сути новых компьютеров и всего навесного софта вокруг них.

Почему этого не происходит?
Похоже утеряны простейшие моральные ориентиры, которые не позволяют заниматься наукой ради науки. Все занятия превратились в зарабатывание денег. Оно вроде не плохо, оно вроде верно.
Но!
Есть большая ошибка при таком целеполагании ждать научного прогресса и новых свершений в ИТ, так как простая формула «time to market» заставит брать готовые решения и делать что-то быстро, быстро зарабатывать.

При таком подходе, на карту принятия решения о том, что и как делать, неминуемо становятся две фигуры:
1. Что-то быстрое с прогнозным результатом в виде денег
2. Что-то долгое, настоящее, но без результата завтра или без его прогнозной успешности

Если не будут сформированы лаборатории, «шаражки», где люди занимаются наукой и строят новый цифровой мир, похоже нам вперед не продвинуться.

after party: проводы москвичей. Спасибо Евгению за фото

Возможно этот документ не вполне уместен, однако считаю, что он может быть интересным с точки зрения определения целей и смыслов. Зачем нам нужен суверенный технологический стек (операционные системы), инструментальные средства, новые языки программирования :)