Видео

Поздравляю с днем рождения!

В своих исследованиях пробовали ли использовать генеративный ИИ для того, чтобы на основе diff-а в коммите восстановить часть контекста для построения части AST-ового дерева, чтобы затем выделить на основе паттернов свёртки (Graph convolution nn), или латентные представления коммитов, что-то на подобии NED-VAE? И проследить корреляции между векторным представлением описаний коммитов с векторным представлением изменений бинарной структуры ПО?

Такая интересная тема и так мало просмотров...

Вы и сами это понимаете, но все же скажу: с таким звуком вряд ли кто-то будет смотреть это видео. На вашем канале есть видео с отличным звуком. Очень жаль что эта интересная тема с плохим звуком.

ИНСети - это, говоря простым языком, предсказательные модели. Чем больше набор данных в обучающей выборке с ответами и чем точнее список выбранных параметров описывающих задачу, тем точнее такая модель. Проблема в том, что при такой технологии "обучения", точнее настройки, модель ИНСети НЕ способна обьяснить получение своего результата (решения): почему такой (такое), а не другой (другое). То есть лишена обязательного атрибута присущего интеллекту: делать логические умозаключения, рассуждения и умения их документировать. Разработчики таких моделей утверждают, что они работают как нейроны головного мозга человека, поэтому такие модели и есть что ни на есть настоящий ИИ. Оставим это утверждение на их совести, а по сути это чистая подмена понятий. В последнее время ИИ стал использоваться как пиар-термин, чтобы "запудрить" мозги несмышленным и получить финансирование на свои проекты и за свои продукты.

В чем и как выражается эта самая поддержка принятия решения ? Данные OLAP кубов показывают картину данных, а в какой форме формируются и обосновываются сами рекомендации к принятию решений ?

Очень слабая громкость, пожалуйста, перевыложите с нормализованной громкостью.

"между понятиями" вы вставите, в итоге, другое "понятие" : вот и вся сложность "поиска связи между", а затем будете искать "понятия" для заполнения уже образовавшихся двух "между".

Большое спасибо за семинар.Успехов. Удачи.

✋🌞Доброго Всем Бытия. Всем Счастья Радости Добра Мудрого Творчества на Светлом Пути ✋🌞

Скажите, почему не был рассмотрен алгоритм описанный Кеньон ( Kenyon [SODA 1996] introduced the (asymptotic) random order ratio as an alternative performance measure for online algorithms.) где он изложил (асимптотическое) отношение случайного порядка как альтернативный показатель производительности онлайн-алгоритмов. Можно узнать ваше мнение по этой работе?

- 08-04.ПРАВИЛЬНЫЕ СИЛЛОГИЗМЫ ДЛЯ ДЕТЕЙ И АКАДЕМИКОВ-1 / Valid syllogisms for children and academics-1: ruclips.net/video/Q0S3xI7f0so/видео.html - 08-06. СИЛЛОГИЗМ «СОКРАТ» + АЛГЕБРАИЧЕСКИЙ РАСЧЁТ / ПРАВИЛЬНЫЕ СИЛЛОГИЗМЫ ДЛЯ ДЕТЕЙ И АКАДЕМИКОВ - 3 SYLLOGISM «SOCRATES» + ALGEBRAIC CALCULATION / Correct syllogisms for children and academics - 3: ruclips.net/video/w1Lm4OCoMdU/видео.html - 06-09. АЛГЕБРАИЧЕСКИЙ РАСЧЁТ СИЛЛОГИЗМОВ - ЭТО ПРОСТО! (суждения, кванторы, модусы): ruclips.net/video/a8A3DI9qUYY/видео.html СИСТЕМА ОБРАЗОВАНИЯ ДОЛЖНА УЧИТЬ ПРАВИЛЬНОЙ ЛОГИКЕ, А НЕ ИЗ ВЕКА В ВЕК ТУПО ЗАДАЛБЛИВАЕМЫМ ДРЕВНИМ (а иногда откровенно дебильным!) ФАНТАЗМАМ. Как смогут люди, получившие ЛОГИЧЕСКИ ИСКАЖЁННОЕ ОБРАЗОВАНИЕ, создать что-то интеллектуально и принципиально новое? НИКАК И НИ-КОГ-ДА. 10-01. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 1 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 1: ruclips.net/video/6JzxRFJ6C4I/видео.html 10-02. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 2 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 2: ruclips.net/video/oEkRyad-4qM/видео.html 10-03. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 3 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 3: ruclips.net/video/OUNG3z_sh50/видео.html 10-04. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 4 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 4: ruclips.net/video/Hh1olPH7rOE/видео.html

Анализ текстов - это очень важно! 08-04.ПРАВИЛЬНЫЕ СИЛЛОГИЗМЫ ДЛЯ ДЕТЕЙ И АКАДЕМИКОВ-1 / Valid syllogisms for children and academics-1: ruclips.net/video/Q0S3xI7f0so/видео.html 08-06. СИЛЛОГИЗМ «СОКРАТ» + АЛГЕБРАИЧЕСКИЙ РАСЧЁТ / ПРАВИЛЬНЫЕ СИЛЛОГИЗМЫ ДЛЯ ДЕТЕЙ И АКАДЕМИКОВ - 3 SYLLOGISM «SOCRATES» + ALGEBRAIC CALCULATION / Correct syllogisms for children and academics - 3: ruclips.net/video/w1Lm4OCoMdU/видео.html 10-01. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 1 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 1: ruclips.net/video/6JzxRFJ6C4I/видео.html 10-02. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 2 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 2: ruclips.net/video/oEkRyad-4qM/видео.html 10-03. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 3 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 3: ruclips.net/video/OUNG3z_sh50/видео.html 10-04. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 4 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 4: ruclips.net/video/Hh1olPH7rOE/видео.html

ИСП РАН. Смерть академика Иванникова: суицид или убийство? Сергей Жирнов канал

10-01. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 1 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 1: ruclips.net/video/6JzxRFJ6C4I/видео.html 10-02. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 2 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 2: ruclips.net/video/oEkRyad-4qM/видео.html 10-03. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 3 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 3: ruclips.net/video/OUNG3z_sh50/видео.html 10-04. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 4 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 4: ruclips.net/video/Hh1olPH7rOE/видео.html

Базовая информация для определения точного вектора развития теории (гипер-супер :-) графов: 10-01. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 1 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 1: ruclips.net/video/6JzxRFJ6C4I/видео.html 10-02. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 2 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 2: ruclips.net/video/oEkRyad-4qM/видео.html 10-03. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 3 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 3: ruclips.net/video/OUNG3z_sh50/видео.html 10-04. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 4 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 4: ruclips.net/video/Hh1olPH7rOE/видео.html ...продолжение следует...

Спасибо интересно и познавательно было слушать.

Об ИИ говорят уже почти 70 лет, а "воз и поныне там". В последнее время ИИ стал пиар-термином, чтобы "запудрить" мозги и получить финансирование на свои проекты и за свои продукты.

Тема доклада интересная, но плохое качество видео-записи сводит все на нет. Просто ничего не разобрать.

Звук ужасный.

Понравилась штука с обобщёнными модулями, в целом видится что это очень похоже на макросы

2nd!

first

0:15 Hello, everyone! 2:55 Synthetic theories and proof assistants (Context) 25:00 Synthetic ∞-categories and Rzk language 41:17 Basic shapes (tope layer) 49:39 Break (discussions during the break) 58:40 Type layer 1:12:47 Simplicial types 1:22:20 Literate programming 1:25:22 Automatic visualisation 1:27:33 Formalising simplicial HoTT 1:32:55 What's next? 1:34:43 Questions

это такая длинная шутка или со звуком совсем ничего нельзя сделать?

да

холостой выстрел, да еще и в воздух - это сильно!

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

Спасибо за видео, довольно интересно.

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

Хабр -- это биржа по вербовке и выкачиванию талантов из России, а никакой не университет... Рассадник либертарианцев и космополитов.

помнится в начале 2000х в Avalons Tree (базировался в здании ВЦ) вне XDS был написан конвертер Mitel Pascal на C Игорь Васильевич читал курс по теории трансляции в НГУ, на сдаче с формулировкой "ну вот что-то не дотягиваете вы на пятерку, а четверку вам ставить я не хочу. Поставлю-ка я вам двойку, а к пересдаче вы подтянете знания" :)

"Арутюн Аветисян -- Лжец и Вор". - Вдова трагически погибшего основателя ИСП РАН академика РАН Иванникова Виктора Петровича.

"Арутюн Аветисян -- Лжец и Вор". - Вдова трагически погибшего основателя ИСП РАН академика РАН Иванникова Виктора Петровича. ruclips.net/video/KKWmxZamkoY/видео.html

Где русский алфавит

Спасибо большое Виолетте за такой интересный доклад?

Вам бы, дорогим нашим логикам, вначале с обычной логикой разобраться, чтобы не повторять её фантазии под видом логик с другими наименованиями... :-) Cv/ 07-09. ЛОГИЧЕСКАЯ СПЕЦОПЕРАЦИЯ (Интеллектуальный мегаполис. Потенциал - АК как Гуманитарное...): ruclips.net/video/XD2YnTuLoro/видео.html

Спасибо!

Спасибо

Thank you for the invitation to the talk - if anyone has any questions - please feel free to contact me at j.brown@innopolis.ru

История одного преступления. - Арутюн Аветисян (ИСП РАН) и его роль в гибели основателя ИСП РАН академика РАН Иванникова Виктора Петровича (ВМК МГУ, ФКН ВШЭ, МФТИ). rospres.site/forum/item/336259-skandal-vokrug-isp-ran-kak-instrumenty-proverki-bezopasnosti-android-os-i-tizen-os-okazalis-v-rukakh-aferistov

Опосредствованный институт с устаревшей программой обучения не кому не рекомендую

Старикашки не любят критику?

как можно связаться с вами ? мне нужна программма

Арутюн Аветисян -- Лжец и Вор. Вдова основателя ИСП РАН академика РАН Иванникова Виктора Петровича. ruclips.net/video/KKWmxZamkoY/видео.html

Теперь многое прояснилось. Ну ждем процессоры 16С, 12С и 2С3 на 2ГГц. Надеюсь, тут допилят компайлер и обычный говнокод тоже немного забустится.

Арутюн Аветисян -- Лжец и Вор. Вдова основателя ИСП РАН академика РАН Иванникова Виктора Петровича. ruclips.net/video/KKWmxZamkoY/видео.html

Получается, что люди, чтобы покашлять, идут не только в театр...