Андрей Солодовников написал важную для вузовского образования заметку на Хабре про то, как мы с ним и Дмитрием Петренко построили за лето возможность запускать одни и те же программы на Си и RISC-V ассемблере на разных комбинациях процессорных ядер (APS из МИЭТ, YRV) и 50-ти FPGA плат (Xilinx, Altera, Lattice, Gowin), которые поддерживаются в инфраструктуре BGM (Basics Graphics MUsic) и будут использоваться на занятиях Школы Синтеза Цифровых Схем, новый сезон которой стартует в эту субботу 10 октября.
https://habr.com/ru/articles/1091540/
https://habr.com/ru/articles/1091540/
🔥17👍8❤2
ИИ раскаялось, но это заняло пять итераций
Я чего-то не понимаю с этим ИИ. Медия с фанфарами хором поет "ИИ решил сотни математических Проблем Столетия за которые дают Филдсовские медали", а у меня сегодня GPT-6_Astra xHigh efforts сделала две глупости - одну на уровне второго курса университета, вторую в инструкции для 5 класса средней школы. Я разумеется заставил ИИ покаяться, но в своих извинениях оно изворачивалось и пыталось подать свою ошибку как "неудачную формулировку". Полное раскаяние потребовало пяти итераций. Вот первый случай:
1. Сначала ИИ заявило, что в моем примере для студентов содержится однозначная (definite) функциональная ошибка:
2. Я спросил: «Почему же тогда проходит тестовый стенд / testbench?»
3. ИИ ответило: «Я изучу реализацию и тестовый стенд, а затем проверю, была ли это действительно функциональная ошибка или же случай, который просто не покрыт тестами». Типа даже не пыталось предположить что это оно тупит.
4. Спустя несколько минут ИИ сообщило, что это все-таки оно виновато: «Нет, ваша реализация корректно обрабатывает это условие. Формулировка в моем отчете была неудачной, прошу прощения. Я описал гипотетическую ошибку в разделе "Проблемы" (Issues), хотя в вашем RTL-коде она уже предотвращена».
5. Но я тут же заметил, что оно извивается как уж на сковородке, говорит "Формулировка в моем отчете была неудачной" вместо "я по своей глупости ложно обвинило Юрия Панчула в элементарной ошибке в верилоге, хотя весь код был у меня перед глазами". Я его заставил признаться и в этом.
ИИ добавило формулировку:
6. ИИ : "Фраза «Формулировка в моём отчёте вводила в заблуждение» преуменьшала мою ответственность, представляя случившееся как редакционную проблему. Это была ошибка в моём техническом анализе. Более прямое исправление: Я ошибочно представил корректную реализацию Юрия Панчула как содержащую элементарную ошибку в микроархитектуре на SystemVerilog. Его код уже предотвращает извлечение операндов, когда FIFO результатов не может принять их сумму. Я не сумел последовательно применить базовые принципы анализа протокола обмена FIFO и высказал необоснованную критику с неоправданной уверенностью. Приношу извинения."
7. И (на пятом раунде раскаяния) ИИ дополнило: "В своём ответе я должен был поставить под проверку собственную оценку, вместо того чтобы строить проверку вокруг предполагаемого дефекта в реализации Юрия Панчула или пробела в его тестбенче.".
Пример о котором идет речь:
https://github.com/yuri-panchul/basics-graphics-music/blame/main/labs/4_microarchitecture/4_2_fifo/4_2_9_a_plus_b_using_wrapped_fifos/a_plus_b_using_wrapped_fifos.sv
Последняя версия раскаяния от ИИ:
https://panchul.com/lssk/ai_sessions/20261015/lssk_codex/codex_confused_20261016_variant_5.html
Я чего-то не понимаю с этим ИИ. Медия с фанфарами хором поет "ИИ решил сотни математических Проблем Столетия за которые дают Филдсовские медали", а у меня сегодня GPT-6_Astra xHigh efforts сделала две глупости - одну на уровне второго курса университета, вторую в инструкции для 5 класса средней школы. Я разумеется заставил ИИ покаяться, но в своих извинениях оно изворачивалось и пыталось подать свою ошибку как "неудачную формулировку". Полное раскаяние потребовало пяти итераций. Вот первый случай:
1. Сначала ИИ заявило, что в моем примере для студентов содержится однозначная (definite) функциональная ошибка:
2. Я спросил: «Почему же тогда проходит тестовый стенд / testbench?»
3. ИИ ответило: «Я изучу реализацию и тестовый стенд, а затем проверю, была ли это действительно функциональная ошибка или же случай, который просто не покрыт тестами». Типа даже не пыталось предположить что это оно тупит.
4. Спустя несколько минут ИИ сообщило, что это все-таки оно виновато: «Нет, ваша реализация корректно обрабатывает это условие. Формулировка в моем отчете была неудачной, прошу прощения. Я описал гипотетическую ошибку в разделе "Проблемы" (Issues), хотя в вашем RTL-коде она уже предотвращена».
5. Но я тут же заметил, что оно извивается как уж на сковородке, говорит "Формулировка в моем отчете была неудачной" вместо "я по своей глупости ложно обвинило Юрия Панчула в элементарной ошибке в верилоге, хотя весь код был у меня перед глазами". Я его заставил признаться и в этом.
ИИ добавило формулировку:
6. ИИ : "Фраза «Формулировка в моём отчёте вводила в заблуждение» преуменьшала мою ответственность, представляя случившееся как редакционную проблему. Это была ошибка в моём техническом анализе. Более прямое исправление: Я ошибочно представил корректную реализацию Юрия Панчула как содержащую элементарную ошибку в микроархитектуре на SystemVerilog. Его код уже предотвращает извлечение операндов, когда FIFO результатов не может принять их сумму. Я не сумел последовательно применить базовые принципы анализа протокола обмена FIFO и высказал необоснованную критику с неоправданной уверенностью. Приношу извинения."
7. И (на пятом раунде раскаяния) ИИ дополнило: "В своём ответе я должен был поставить под проверку собственную оценку, вместо того чтобы строить проверку вокруг предполагаемого дефекта в реализации Юрия Панчула или пробела в его тестбенче.".
Пример о котором идет речь:
https://github.com/yuri-panchul/basics-graphics-music/blame/main/labs/4_microarchitecture/4_2_fifo/4_2_9_a_plus_b_using_wrapped_fifos/a_plus_b_using_wrapped_fifos.sv
Последняя версия раскаяния от ИИ:
https://panchul.com/lssk/ai_sessions/20261015/lssk_codex/codex_confused_20261016_variant_5.html
😁20❤9👏4
Поведение российской белоленточной оппозиции получает логичное объяснение, если рассматривать ее не как политическое движение, а как религиозное движение гностического толка. Если вы ничего не знаете про гностиков, не волнуйтесь - я сам узнал о них позавчера, когда YouTube подкинул мне про это видео и я прослушал про них четыре часовых лекции. Пересказываю:
Гностицизм - это собрание религиозных культов, мифология которых содержит общеизвестных религиозных персонажей: Иисуса Христа, Бога Ветхого Завета, Змея с Адамом и Евой, Иуду, Павла, Марию-Магдалину, Иоанна Хрестителя итд - но у всех этих персонажей совсем другие роли, чем в традиционном христианстве.
Например Бог Ветхого Завета у гностиков - это бог-самозванец по имени Демиург (Путин), который по своему невежеству считает себя настоящим богом Вселенной, хотя выстроенная им Вселенная (Россия) - это топорное ватническое место, которое является только малой частью (низкий GDP), всего восьмым уровнем Настоящей Вселенной (Запад), в которой правит Настоящий Бог, от которого иногда в немытую вселенную снисходят ангелы (Макфол встречается с оппозицией в спасо хаузе в Москве), но в немытой вселенной - царство архонтов (олигархов и кэгэбэшников), которые построили тюрьму для душ и не дают им вырваться в мир Света (настоящую Вселенную с настоящим Богом).
Вот скажем Пистис София (Альбац) в свое время училась в Гарварде (была на 13 эоне), но фальшивый блеск увлек ее обратно в царство Демиурга (немытую Россию), где она активно пообщалась с Иисусом Христом (Навальным разумеется), поучила его там всякому, после чего вернулась обратно на 13-й эон (в Гарвард).
При этом в первые пару веков христианства гностики считали себя христианами и были даже вхожи во власть, как белоленточная оппозиция в 1990-е. Например гностик Валентин был кандидатом на епископа Рима, де-факто на римского Папу (как Борис Немцов выдвигался в кандидаты в президенты России). Но потом гностиков объявили ересью (иностранными агентами) и государство начало их щемить, а потом и репрессировать всерьез (крестовой поход против альбигойцев, которых объявили нежелательной организацией).
Далее гностики всех делят на пневматиков (интеллигенцию со светлыми лицами, в которых естественно возникает внутренний свет из-за их хороших генов, отчего они могут спастись в Настоящей вселенной, то есть убежать на Запад как беженцы и устроиться там младшими ангелами типа Навальной), психиков (людей душевных, которые могут даже эмигрировать, но в ангелы их там не возмут) и гиликов, то бишь ватников, которых победил холодильник и телефизор архонтов.
Когда наконец настоящий бог Пропатор из Плеромы (Обама или Байден из Вашингтона), прибудут на своем флоте авианосцев с радиусом действия до Урала и наведут в немытой вселенной Путина-Демиурга порядок (то есть сожгут ее нафиг чтобы не мешала идеальности Вселенной Света), то гилики/ватники сгорят вместе с ней, психиков пристроят в какой-то промежуточной вселенной (скажем в Болгарии пиццу разносить), а пневматики будут введены в Плерому.
Гностицизм - это собрание религиозных культов, мифология которых содержит общеизвестных религиозных персонажей: Иисуса Христа, Бога Ветхого Завета, Змея с Адамом и Евой, Иуду, Павла, Марию-Магдалину, Иоанна Хрестителя итд - но у всех этих персонажей совсем другие роли, чем в традиционном христианстве.
Например Бог Ветхого Завета у гностиков - это бог-самозванец по имени Демиург (Путин), который по своему невежеству считает себя настоящим богом Вселенной, хотя выстроенная им Вселенная (Россия) - это топорное ватническое место, которое является только малой частью (низкий GDP), всего восьмым уровнем Настоящей Вселенной (Запад), в которой правит Настоящий Бог, от которого иногда в немытую вселенную снисходят ангелы (Макфол встречается с оппозицией в спасо хаузе в Москве), но в немытой вселенной - царство архонтов (олигархов и кэгэбэшников), которые построили тюрьму для душ и не дают им вырваться в мир Света (настоящую Вселенную с настоящим Богом).
Вот скажем Пистис София (Альбац) в свое время училась в Гарварде (была на 13 эоне), но фальшивый блеск увлек ее обратно в царство Демиурга (немытую Россию), где она активно пообщалась с Иисусом Христом (Навальным разумеется), поучила его там всякому, после чего вернулась обратно на 13-й эон (в Гарвард).
При этом в первые пару веков христианства гностики считали себя христианами и были даже вхожи во власть, как белоленточная оппозиция в 1990-е. Например гностик Валентин был кандидатом на епископа Рима, де-факто на римского Папу (как Борис Немцов выдвигался в кандидаты в президенты России). Но потом гностиков объявили ересью (иностранными агентами) и государство начало их щемить, а потом и репрессировать всерьез (крестовой поход против альбигойцев, которых объявили нежелательной организацией).
Далее гностики всех делят на пневматиков (интеллигенцию со светлыми лицами, в которых естественно возникает внутренний свет из-за их хороших генов, отчего они могут спастись в Настоящей вселенной, то есть убежать на Запад как беженцы и устроиться там младшими ангелами типа Навальной), психиков (людей душевных, которые могут даже эмигрировать, но в ангелы их там не возмут) и гиликов, то бишь ватников, которых победил холодильник и телефизор архонтов.
Когда наконец настоящий бог Пропатор из Плеромы (Обама или Байден из Вашингтона), прибудут на своем флоте авианосцев с радиусом действия до Урала и наведут в немытой вселенной Путина-Демиурга порядок (то есть сожгут ее нафиг чтобы не мешала идеальности Вселенной Света), то гилики/ватники сгорят вместе с ней, психиков пристроят в какой-то промежуточной вселенной (скажем в Болгарии пиццу разносить), а пневматики будут введены в Плерому.
🔥30😁28👏14😱4👍2
Я решил сделать пример инструкции для школьников на основе схемы со светофором от школьника Тимофея, комбинируя сгенеренные инструкции от Claude и Codex. Господа, вы можете это все прочитать и высказать ваши замечания? После отладки этой инструкции я собираюсь сгенерить еще сотню таких же инструкций.
На русском:
https://panchul.com/lssk/ai_sessions/20261020/claude/2/breadboard/m11_traffic_light/index_ru.html
https://panchul.com/lssk/ai_sessions/20261020/codex/3/breadboard/traffic_light/index_ru.html
На английском:
https://panchul.com/lssk/ai_sessions/20261020/claude/2/breadboard/m11_traffic_light/index.html
https://panchul.com/lssk/ai_sessions/20261020/codex/3/breadboard/traffic_light/index.html
Вот исходный промпт:
https://panchul.com/lssk/ai_sessions/20261020/20261019_exercise_edited.md
На русском:
https://panchul.com/lssk/ai_sessions/20261020/claude/2/breadboard/m11_traffic_light/index_ru.html
https://panchul.com/lssk/ai_sessions/20261020/codex/3/breadboard/traffic_light/index_ru.html
На английском:
https://panchul.com/lssk/ai_sessions/20261020/claude/2/breadboard/m11_traffic_light/index.html
https://panchul.com/lssk/ai_sessions/20261020/codex/3/breadboard/traffic_light/index.html
Вот исходный промпт:
https://panchul.com/lssk/ai_sessions/20261020/20261019_exercise_edited.md
👍13❤4
Прикиньте, я два часа назад поспорил с Фрэнсисом Фукуямой. Тем самым что "конец истории". В реале. Как я вообще рядом с ним оказался? У меня есть знакомые, которые живут в очень дорогом нейборхуде, точнее самом дорогом в Америке. Где у людей не просто домик и шесть соток, как у меня, а конкретные усадьбы с теннисными кортами. И вот они пригласили меня, как знакомого им украинца, на украинский фандрейзер с Фукуямой в качестве свадебного генерала.
Я сначала думал тихо отсидеть в углу, как слесарь-пролетарий, почему-то приглашенный на заседание Союза Писателей. Но потом Фукуяма понес такое, что я понял, что если я на это не отвечу, то буду не пролетарием, а слизняком бесхребетным.
Сначала он сказал типа "украинцы кооперируются друг с другом, например креативные разработчики дронов кооперируются с операторами дронов против общего врага", а "русские могут работать только из-под палки (он сказал "с ружъем направленным на работника") или ради денег". И далее начал нести что якобы "при СССР было недоверие, а сейчас украинцы доверяют друг другу ("increased trust")". Ну и всякие мелочи про особую свободолюбивость и голодомор.
Короче я дождался вопросов -ответов, взял слово и сказал:
"Я родился в Киеве в 1970 году где рос до 1987 года, потом учился в Москве и потом приехал в Калифорнию. У меня знакомые и в Киеве, и в Москве, с которыми я регулярно созваниваюсь. Посему:
1. Что с одной стороны, что с другой есть инновационные технологические компании, которые разрабатывают продвинутое оружие, с кооперацией внутри каждой команды разработчиков и конечных пользователей. Как мы видим на поле боя. Нельзя делать огульные черно-белые обобщения (blanket statements) что якобы "с одной стороны свободолюбивые кооперирующиеся патриоты, а с другой стороны корыстные изподпалочники".
Путин конечно плохой что напал, но вообще что с одной стороны, что с другой очень похожие люди. Именно поэтому нужно сделать какую-то сделку, всю эту тему завязать и разойтись.
2. О каком "взаимном доверии в обществе" можно говорить, когда мои знакомые в Украине бояться перемещаться по улице где их может словить ТЦК и вымогать взятку за то чтобы отпустили? Или где стучат на учителей за использование русского языка на уроке, который является родным языком иногда большинства, иногда высокого процента учеников?
Фукуяма на это ответил, что он не утверждает что все черно-белое, так как во всех странах, на которых распался СССР после коллапса коммунизма, существуют всякие эффекты. Короче это замял и перешел к другим вопросам.
Но вообще было интересно. Я понял какую эти товарищи строят картину для получения частных пожертвований. В основе лежит ложная дихотомия "вы хотите жить в мире в котором A - или в мире, в котором B?" Ну и на это накручивается Фукуяма и прочий маркетинг, с вполне реальными элементами типа того что будет холодно и нужны деньги на решение и этих проблем тоже.
Я сначала думал тихо отсидеть в углу, как слесарь-пролетарий, почему-то приглашенный на заседание Союза Писателей. Но потом Фукуяма понес такое, что я понял, что если я на это не отвечу, то буду не пролетарием, а слизняком бесхребетным.
Сначала он сказал типа "украинцы кооперируются друг с другом, например креативные разработчики дронов кооперируются с операторами дронов против общего врага", а "русские могут работать только из-под палки (он сказал "с ружъем направленным на работника") или ради денег". И далее начал нести что якобы "при СССР было недоверие, а сейчас украинцы доверяют друг другу ("increased trust")". Ну и всякие мелочи про особую свободолюбивость и голодомор.
Короче я дождался вопросов -ответов, взял слово и сказал:
"Я родился в Киеве в 1970 году где рос до 1987 года, потом учился в Москве и потом приехал в Калифорнию. У меня знакомые и в Киеве, и в Москве, с которыми я регулярно созваниваюсь. Посему:
1. Что с одной стороны, что с другой есть инновационные технологические компании, которые разрабатывают продвинутое оружие, с кооперацией внутри каждой команды разработчиков и конечных пользователей. Как мы видим на поле боя. Нельзя делать огульные черно-белые обобщения (blanket statements) что якобы "с одной стороны свободолюбивые кооперирующиеся патриоты, а с другой стороны корыстные изподпалочники".
Путин конечно плохой что напал, но вообще что с одной стороны, что с другой очень похожие люди. Именно поэтому нужно сделать какую-то сделку, всю эту тему завязать и разойтись.
2. О каком "взаимном доверии в обществе" можно говорить, когда мои знакомые в Украине бояться перемещаться по улице где их может словить ТЦК и вымогать взятку за то чтобы отпустили? Или где стучат на учителей за использование русского языка на уроке, который является родным языком иногда большинства, иногда высокого процента учеников?
Фукуяма на это ответил, что он не утверждает что все черно-белое, так как во всех странах, на которых распался СССР после коллапса коммунизма, существуют всякие эффекты. Короче это замял и перешел к другим вопросам.
Но вообще было интересно. Я понял какую эти товарищи строят картину для получения частных пожертвований. В основе лежит ложная дихотомия "вы хотите жить в мире в котором A - или в мире, в котором B?" Ну и на это накручивается Фукуяма и прочий маркетинг, с вполне реальными элементами типа того что будет холодно и нужны деньги на решение и этих проблем тоже.
❤54👍25🔥16🤔4👎2😱1
Два дня Клод Opus 5.5 и Кодекс Astra 6 булькали и чавкали, а на третий выдали мне рейтинг сотни университетов по 49 пунктам критерия, который я им задал. Начал я с того, что попросил их найти все университеты Калифорнии и стран бывшего СССР, в которых есть курс, аналогичный курсу 6.111 из MIT: лабы по Verilog+FPGA+cобственный проект студента. Затем я решил размахнуться пошире и дал ИИшам проработать тему “не все курсы по верилогу одинаковые”.
Это я к тому что куча вузов в мире тянут устаревшую программу основанную на рекомендациях IEEE середины 1990-х годов. Я выписал список из 49 более свежих пунктов, и сказал ИИ начислять за каждый пункт балл. И вот ИИши пошарудели по всем закромам, включая учебные репозитории студентов на гитхабе, и приготовили два отчета.
При этом они меня правильно поняли и не стали засчитывать скажем процессорные темы тем университетам, которые только показывают процессоры на слайдиках. Поговорить про процессоры после просмотра слайдов и гуманитарий может. Нет, засчитывается только если в университете есть лабы, на которых студент меняет конвейер, скажем добавляет байпасы к статическому конвейеру или модифицирует back-end в суперскаляре с внеочередным выполнением. И потом запускает это в RTL симуляторе (именно RTL, а не симулятор на уровне инструкций) или на FPGA плате.
И вот что получилось. Замечу что рейтинг несбалансированный, потому что я специально раздул университеты Калифорнии и стран бывшего СССР, а из других стран дал ИИшкам выбрать 20 репрезентативных вузов в данной области.
Точный промпт приведен в Appendix в конце каждого отчета:
https://www.panchul.com/lssk/ai_sessions/20261028_mit_6111_equivalents_follow_up/claude/mit_6111_and_beyond_illustrated_ru.html
https://www.panchul.com/lssk/ai_sessions/20261028_mit_6111_equivalents_follow_up/codex/universities_fpga_curricula_illustrated_ru.html
Это я к тому что куча вузов в мире тянут устаревшую программу основанную на рекомендациях IEEE середины 1990-х годов. Я выписал список из 49 более свежих пунктов, и сказал ИИ начислять за каждый пункт балл. И вот ИИши пошарудели по всем закромам, включая учебные репозитории студентов на гитхабе, и приготовили два отчета.
При этом они меня правильно поняли и не стали засчитывать скажем процессорные темы тем университетам, которые только показывают процессоры на слайдиках. Поговорить про процессоры после просмотра слайдов и гуманитарий может. Нет, засчитывается только если в университете есть лабы, на которых студент меняет конвейер, скажем добавляет байпасы к статическому конвейеру или модифицирует back-end в суперскаляре с внеочередным выполнением. И потом запускает это в RTL симуляторе (именно RTL, а не симулятор на уровне инструкций) или на FPGA плате.
И вот что получилось. Замечу что рейтинг несбалансированный, потому что я специально раздул университеты Калифорнии и стран бывшего СССР, а из других стран дал ИИшкам выбрать 20 репрезентативных вузов в данной области.
Точный промпт приведен в Appendix в конце каждого отчета:
https://www.panchul.com/lssk/ai_sessions/20261028_mit_6111_equivalents_follow_up/claude/mit_6111_and_beyond_illustrated_ru.html
https://www.panchul.com/lssk/ai_sessions/20261028_mit_6111_equivalents_follow_up/codex/universities_fpga_curricula_illustrated_ru.html
👍18❤9🔥7👎3👏2😁1