Алексей Недоря
Всем привет, январь победил в голосовании, но решили даты сдвинуть - начиная с 13.01, чтобы не попадать на праздники. Просьба тем, кто собирается, написать об этом. Время ориентировочно - вечер, с 17 или 18 на 3 часа. Напишите в комментарии к этому посту…
Судя по ответам, лучшая дата для встречи 16.01 (четверг).
👍6
Тема встречи в Питере 16.01.2025 - технологический суверенитет в инструментальных средствах и она будет при активном участии:
https://ontonet.org/
https://ontonet.org/
🔥3👍2
Тема встречи в Питере 16.01.2025 - технологический суверенитет в инструментальных средствах и она будет при активном участии:
https://ontonet.org/
https://ontonet.org/
👍3
Вроде бы совсем не о программировании, но очень даже о нем, родимом.
Forwarded from Кухня Роджерса
Сегодня поговорим о сложном (я рожал этот текст долго, тема гигантская)
https://alexandr-rogers.livejournal.com/1834675.html
https://alexandr-rogers.livejournal.com/1834675.html
Livejournal
Проблема сложности
Наконец я собрался с духом, чтобы поговорить об одной из главных проблем современности проблеме сложности. Я уже затрагивал эту проблему в некоторых текстах, посвящённых управлению, но очень поверхностно. Пришла пора описать её глубже и подробнее (лонгрид…
👍2🔥1
Forwarded from Nikolay V. Shilov
И так, на "Дне Проблем 2024" выступят
(*) П.Н. Советов (РТУ МИРЭА, Москва): Об обратной проекции Футамуры и новой реализации Рефала
(*) А.Н. Непейвода (МГТУ им. Н. Э. Баумана, Москва): Неуловимые формальные языки расширенных регулярок
(*) Д.А. Кондратьев (ИСИ СО РАН, Новосибирск): На пути к парадигмам задания спецификаций программ и мероприятие SpecifyThis 2024
(*) Л.В. Городняя (ИСИ СО РАН, Новосибирск): От сравнение языков программирования к пониманию истории и перспектив
(*) А. Недоря (Петербург): О технологическом суверенитете
Регламент выступлений 15 минут + до 10 минут на вопросы и обсуждение.
Семинар пройдет онлайн в Skype (можно смотреть в браузере) в понедельник 30 декабря с 14:00 до 16:00 по новосибирскому времени (10:00-12:00 мск).
До встречи завтра!
(*) П.Н. Советов (РТУ МИРЭА, Москва): Об обратной проекции Футамуры и новой реализации Рефала
(*) А.Н. Непейвода (МГТУ им. Н. Э. Баумана, Москва): Неуловимые формальные языки расширенных регулярок
(*) Д.А. Кондратьев (ИСИ СО РАН, Новосибирск): На пути к парадигмам задания спецификаций программ и мероприятие SpecifyThis 2024
(*) Л.В. Городняя (ИСИ СО РАН, Новосибирск): От сравнение языков программирования к пониманию истории и перспектив
(*) А. Недоря (Петербург): О технологическом суверенитете
Регламент выступлений 15 минут + до 10 минут на вопросы и обсуждение.
Семинар пройдет онлайн в Skype (можно смотреть в браузере) в понедельник 30 декабря с 14:00 до 16:00 по новосибирскому времени (10:00-12:00 мск).
До встречи завтра!
👍7
Всех с Новым Годом! Удачи и великих свершений. Россия вперёд!
🔥8🎉6👍4❤2👏1
Дорогие друзья, мы получили подтверждение нашей встречи в Санкт-Петербурге 16 января
📅 Дата и время: 16 января, 16:30
🎯 Тема встречи: Технологический суверенитет в инструментальных средствах
📍 Место: СПб, м. Невский проспект, Казанская ул., 3А, коворкинг KAZANSKAYA-PAGE
🔗 ССЫЛКА НА КАРТУ
🛋️ Переговорная: Лермонтов
Место забронировано на 4 часа
На месте, скажите, что вы на встречу в переговорную Лермонтов — сотрудники коворкинга осведомлены о мероприятии.
Мы будем на ресепшене к 16:30 и встретим первых участников! Ждем вас! 🤝✨
📅 Дата и время: 16 января, 16:30
🎯 Тема встречи: Технологический суверенитет в инструментальных средствах
📍 Место: СПб, м. Невский проспект, Казанская ул., 3А, коворкинг KAZANSKAYA-PAGE
🔗 ССЫЛКА НА КАРТУ
🛋️ Переговорная: Лермонтов
Место забронировано на 4 часа
На месте, скажите, что вы на встречу в переговорную Лермонтов — сотрудники коворкинга осведомлены о мероприятии.
Мы будем на ресепшене к 16:30 и встретим первых участников! Ждем вас! 🤝✨
Yandex Maps
Kazanskaya Page, coworking, Saint Petersburg, Kazanskaya Street, 3 — Yandex Maps
Rating: 5.0. 133 reviews, 115 photos. Go to website, view the phone number, working hours, entrance on the map and plot a route in Yandex Maps.
👍6🔥5👌1
4-я и последняя статья про Тривиль. И это значит, что я вышел на оперативный простор.
https://www.ontonet.org/stati/разработка-языка-тривиль-часть-4-реализация
https://www.ontonet.org/stati/разработка-языка-тривиль-часть-4-реализация
Консорциум Онтосеть
Разработка языка Тривиль. Часть 4. Реализация
Статья является заключительной в серии статей, описывающих разработку языка программирования Тривиль и его реализацию. В предыдущих статьях речь шла о разработке собственно языка. Эта статья...
👍5🔥4❤1
Forwarded from Nikolay V. Shilov
Два года назад 8 февраля 2023 г. у нас на семинаре выступила Юлия Сергеевна Владимирова с докладом об истории троичной ЭВМ "Сетунь".
7 февраля 2025 г. исполняется 100 лет со дня рождения создателя троичных вычислительных машин "Сетунь" и "Сетунь 70" Николая Петровича Брусенцова.
МГУ организует конференцию, посвящённой 100-летию Н.П.Брусенцова. Конференция пройдет 7 февраля 2025 года, время с 14-00 до 19-00 в здании 2-го учебного корпуса МГУ на Ленинских горах.
7 февраля 2025 г. исполняется 100 лет со дня рождения создателя троичных вычислительных машин "Сетунь" и "Сетунь 70" Николая Петровича Брусенцова.
МГУ организует конференцию, посвящённой 100-летию Н.П.Брусенцова. Конференция пройдет 7 февраля 2025 года, время с 14-00 до 19-00 в здании 2-го учебного корпуса МГУ на Ленинских горах.
conf.msu.ru
100-летие со дня рождения создателя троичных ЭВМ Н.П. Брусенцова
Научно-практическая юбилейная конференция, посвящённая 100-летию со дня рождения создателя троичных ЭВМ Н.П. Брусенцова / Москва, Россия, МГУ, 7 - 7 Фев 2025
👍3🔥1
Forwarded from Dmitry Kondratyev
Сегодня в прессе была опубликована статья, в которой упомянут Институт систем информатики им. А.П. Ершова СО РАН:
https://skillbox.ru/media/code/troichnyy-protsessor-utopiya-ili-tekhnologiya-budushchego/
В статье описан наследник отечественной троичной ЭВМ "Сетунь" и новый язык неявного параллелизма Тритон.
https://skillbox.ru/media/code/troichnyy-protsessor-utopiya-ili-tekhnologiya-budushchego/
В статье описан наследник отечественной троичной ЭВМ "Сетунь" и новый язык неявного параллелизма Тритон.
Skillbox
Троичный процессор: утопия или технология будущего?
Почему компьютерам перестало хватать единиц и нулей и каким будет российский троичный процессор «Тайфун».
👍1
Forwarded from Nikolay V. Shilov
Nikolay V. Shilov
Сегодня в прессе была опубликована статья, в которой упомянут Институт систем информатики им. А.П. Ершова СО РАН: https://skillbox.ru/media/code/troichnyy-protsessor-utopiya-ili-tekhnologiya-budushchego/ В статье описан наследник отечественной троичной ЭВМ…
("Сегодня" = 9 апреля 2024 г.;-)
Forwarded from Nikolay V. Shilov
Nikolay V. Shilov
Сегодня в прессе была опубликована статья, в которой упомянут Институт систем информатики им. А.П. Ершова СО РАН: https://skillbox.ru/media/code/troichnyy-protsessor-utopiya-ili-tekhnologiya-budushchego/ В статье описан наследник отечественной троичной ЭВМ…
Цитата из приведенного интервью:
"Я надеюсь, что архитектура «Трит-2» у нас появится до 7 февраля 2025 года. Почему именно такая дата? Это 100-летие со дня рождения создателя «Сетуни» Н. П. Брусенцова. И очень бы хотелось успеть сделать тестовые образцы именно к этому времени."
Интересно, выполнен ли этот план? Будет ли презентация «Трит-2» на конференции?
"Я надеюсь, что архитектура «Трит-2» у нас появится до 7 февраля 2025 года. Почему именно такая дата? Это 100-летие со дня рождения создателя «Сетуни» Н. П. Брусенцова. И очень бы хотелось успеть сделать тестовые образцы именно к этому времени."
Интересно, выполнен ли этот план? Будет ли презентация «Трит-2» на конференции?
Ворчалки о программировании
Дорогие друзья, мы получили подтверждение нашей встречи в Санкт-Петербурге 16 января 📅 Дата и время: 16 января, 16:30 🎯 Тема встречи: Технологический суверенитет в инструментальных средствах 📍 Место: СПб, м. Невский проспект, Казанская ул., 3А, коворкинг…
Но до 16 января наверняка не успеют...
Раз уж зашел разговор об юбилеях - как мне напомнил Николай Шилов, 11 марта 2025 будет ровно 31 год с дня защиты моей кандидатской диссертации. Как мы все понимаем, 31 - это совершенно некруглое число в двоичной системе: 11111.
В ознаменовании сего факта, Николай предложил мне провести (в этот день) ретроспективно-рефлексивный семинар, на котором я расскажу, что я писал (и думал) 31 год назад про языки программирования, компиляторы и ООП и как это соотносится с тем, что я думаю об этом сейчас.
В ознаменовании сего факта, Николай предложил мне провести (в этот день) ретроспективно-рефлексивный семинар, на котором я расскажу, что я писал (и думал) 31 год назад про языки программирования, компиляторы и ООП и как это соотносится с тем, что я думаю об этом сейчас.
👍10🔥4⚡1🎉1🙏1
Forwarded from ИА Красная Весна
Могут ли в России пойти своим путем?
«Отбрасывание старого может упростить разработку нового в десятки и сотни раз», — написал эксперт в области разработки языков программирования и компиляторов, кандидат физико-математических наук Алексей Недоря.
Меньше чем за 9 календарных месяцев, минимальными усилиями (8 часов в неделю), написаны два компилятора, среда исполнения и библиотеки, суммарно 25 тысяч строк на трех языках программирования (Go, Тривиль, C99), сообщил он.
📖 Читать продолжение: https://rossaprimavera.ru/news/11bdbf97
@ia_rossa ✍️ #ИАКВ #ИАКВ_редакции
«Отбрасывание старого может упростить разработку нового в десятки и сотни раз», — написал эксперт в области разработки языков программирования и компиляторов, кандидат физико-математических наук Алексей Недоря.
Меньше чем за 9 календарных месяцев, минимальными усилиями (8 часов в неделю), написаны два компилятора, среда исполнения и библиотеки, суммарно 25 тысяч строк на трех языках программирования (Go, Тривиль, C99), сообщил он.
📖 Читать продолжение: https://rossaprimavera.ru/news/11bdbf97
@ia_rossa ✍️ #ИАКВ #ИАКВ_редакции
👍6🔥1
Forwarded from Nikolay V. Shilov
Начинаем семинар накануне старого Нового года в понедельник 13 января в 14:00 мск (18:00 в Новосибирске).
Как было обещано во время "Дня Прблем 2024",
выступит Александр Иванович Легалов (Высшая школа экономики, Москва)
Тема: Технические приемы процедурно-параметрического программирования.
Аннотация: Доклад в продолжение предыдущего выступления на нашем семинаре "Процедурно-параметрический полиморфизм и его интеграция с языком программирования C" (29 мая 2024 г.). Проводится сопоставление базовой техники формирования данных и функций с объектно-ориентированным конструкциями. Помимо этого рассматриваются новые технические приемы написания программ с применением процедурно-параметрического полиморфизма.
Семинар пройдет онлайн в Skype (можно смотреть в браузере) .
Как было обещано во время "Дня Прблем 2024",
выступит Александр Иванович Легалов (Высшая школа экономики, Москва)
Тема: Технические приемы процедурно-параметрического программирования.
Аннотация: Доклад в продолжение предыдущего выступления на нашем семинаре "Процедурно-параметрический полиморфизм и его интеграция с языком программирования C" (29 мая 2024 г.). Проводится сопоставление базовой техники формирования данных и функций с объектно-ориентированным конструкциями. Помимо этого рассматриваются новые технические приемы написания программ с применением процедурно-параметрического полиморфизма.
Семинар пройдет онлайн в Skype (можно смотреть в браузере) .
👍4
Спасибо всем, кто вчера пришел на встречу! Было 22 человека и мы с трудом вместились в арендованную переговорку. Отдельное спасибо Саше Андрианову и всем, кто участвовал в организации.
Встреча была очень плотной и я пока не могу сформулировать внятно итоги, кроме одного - мы двигаемся и в очень верном направлении.
Если кто-то хочет написать свои впечатления, прошу не сдерживать прекрасные порывы...
Встреча была очень плотной и я пока не могу сформулировать внятно итоги, кроме одного - мы двигаемся и в очень верном направлении.
Если кто-то хочет написать свои впечатления, прошу не сдерживать прекрасные порывы...
👍9🔥3🙏1