ar
Feedback

لا تقع ضحية للمخادعين! تيليمتريو يكتشف ويُميّز هذه القنوات 👉 إذا كنت تريد رؤية العلامة، اشترك

Юрий Панчул

Юрий Панчул

الذهاب إلى القناة على Telegram

uArch от сохи и жизнь русского украинца в Калифорнии

إظهار المزيد
روسيا311 071الفئة غير محددة
1 078
المشتركون
+124 ساعات
+27 أيام
+730 أيام

جارٍ تحميل البيانات

سحابة العلامات
لا توجد بيانات
هل تواجه مشاكل؟ يرجى تحديث الصفحة أو الاتصال بمدير الدعم الخاص بنا.
الإشارات الواردة والصادرة
---
---
---
---
---
---
جذب المشتركين
أكتوبر '26
أكتوبر '26
+279
في 1 قنوات
سبتمبر '260
في 1 قنوات
Get PRO
أغسطس '260
في 1 قنوات
Get PRO
يوليو '260
في 0 قنوات
Get PRO
يونيو '260
في 1 قنوات
Get PRO
مايو '260
في 4 قنوات
Get PRO
أبريل '260
في 0 قنوات
Get PRO
مارس '260
في 1 قنوات
Get PRO
فبراير '260
في 0 قنوات
Get PRO
يناير '260
في 1 قنوات
Get PRO
ديسمبر '250
في 1 قنوات
Get PRO
نوفمبر '250
في 1 قنوات
Get PRO
أكتوبر '250
في 0 قنوات
Get PRO
سبتمبر '250
في 0 قنوات
Get PRO
أغسطس '250
في 1 قنوات
Get PRO
يوليو '250
في 0 قنوات
Get PRO
يونيو '250
في 1 قنوات
Get PRO
مايو '250
في 0 قنوات
Get PRO
أبريل '250
في 0 قنوات
Get PRO
مارس '250
في 0 قنوات
Get PRO
فبراير '250
في 0 قنوات
Get PRO
يناير '250
في 0 قنوات
Get PRO
ديسمبر '24
+9
في 0 قنوات
Get PRO
نوفمبر '24
+15
في 0 قنوات
Get PRO
أكتوبر '24
+34
في 0 قنوات
Get PRO
سبتمبر '24
+24
في 0 قنوات
Get PRO
أغسطس '24
+1
في 0 قنوات
Get PRO
يوليو '24
+23
في 0 قنوات
Get PRO
يونيو '24
+11
في 1 قنوات
Get PRO
مايو '24
+16
في 1 قنوات
Get PRO
أبريل '24
+8
في 0 قنوات
Get PRO
مارس '24
+18
في 0 قنوات
Get PRO
فبراير '24
+24
في 1 قنوات
Get PRO
يناير '240
في 1 قنوات
Get PRO
ديسمبر '230
في 0 قنوات
Get PRO
نوفمبر '23
+1
في 0 قنوات
Get PRO
أكتوبر '23
+9
في 0 قنوات
Get PRO
سبتمبر '23
+22
في 0 قنوات
Get PRO
أغسطس '23
+13
في 0 قنوات
Get PRO
يوليو '23
+13
في 0 قنوات
Get PRO
يونيو '23
+13
في 0 قنوات
Get PRO
مايو '23
+43
في 0 قنوات
Get PRO
أبريل '23
+24
في 0 قنوات
Get PRO
مارس '23
+183
في 0 قنوات
Get PRO
فبراير '23
+12
في 0 قنوات
Get PRO
يناير '23
+4
في 0 قنوات
Get PRO
ديسمبر '22
+21
في 0 قنوات
Get PRO
نوفمبر '22
+32
في 0 قنوات
Get PRO
أكتوبر '22
+18
في 0 قنوات
Get PRO
سبتمبر '22
+28
في 0 قنوات
Get PRO
أغسطس '22
+11
في 0 قنوات
Get PRO
يوليو '22
+357
في 0 قنوات
التاريخ
نمو المشتركين
الإشارات
القنوات
27 أكتوبر0
26 أكتوبر+1
25 أكتوبر+3
24 أكتوبر0
23 أكتوبر+1
22 أكتوبر0
21 أكتوبر0
20 أكتوبر0
19 أكتوبر0
18 أكتوبر+3
17 أكتوبر+1
16 أكتوبر0
15 أكتوبر+1
14 أكتوبر0
13 أكتوبر0
12 أكتوبر0
11 أكتوبر+2
10 أكتوبر0
منشورات القناة
Прикиньте, я два часа назад поспорил с Фрэнсисом Фукуямой. Тем самым что "конец истории". В реале. Как я вообще рядом с ним оказался? У меня есть знакомые, которые живут в очень дорогом нейборхуде, точнее самом дорогом в Америке. Где у людей не просто домик и шесть соток, как у меня, а конкретные усадьбы с теннисными кортами. И вот они пригласили меня, как знакомого им украинца, на украинский фандрейзер с Фукуямой в качестве свадебного генерала. Я сначала думал тихо отсидеть в углу, как слесарь-пролетарий, почему-то приглашенный на заседание Союза Писателей. Но потом Фукуяма понес такое, что я понял, что если я на это не отвечу, то буду не пролетарием, а слизняком бесхребетным. Сначала он сказал типа "украинцы кооперируются друг с другом, например креативные разработчики дронов кооперируются с операторами дронов против общего врага", а "русские могут работать только из-под палки (он сказал "с ружъем направленным на работника") или ради денег". И далее начал нести что якобы "при СССР было недоверие, а сейчас украинцы доверяют друг другу ("increased trust")". Ну и всякие мелочи про особую свободолюбивость и голодомор. Короче я дождался вопросов -ответов, взял слово и сказал: "Я родился в Киеве в 1970 году где рос до 1987 года, потом учился в Москве и потом приехал в Калифорнию. У меня знакомые и в Киеве, и в Москве, с которыми я регулярно созваниваюсь. Посему: 1. Что с одной стороны, что с другой есть инновационные технологические компании, которые разрабатывают продвинутое оружие, с кооперацией внутри каждой команды разработчиков и конечных пользователей. Как мы видим на поле боя. Нельзя делать огульные черно-белые обобщения (blanket statements) что якобы "с одной стороны свободолюбивые кооперирующиеся патриоты, а с другой стороны корыстные изподпалочники". Путин конечно плохой что напал, но вообще что с одной стороны, что с другой очень похожие люди. Именно поэтому нужно сделать какую-то сделку, всю эту тему завязать и разойтись. 2. О каком "взаимном доверии в обществе" можно говорить, когда мои знакомые в Украине бояться перемещаться по улице где их может словить ТЦК и вымогать взятку за то чтобы отпустили? Или где стучат на учителей за использование русского языка на уроке, который является родным языком иногда большинства, иногда высокого процента учеников? Фукуяма на это ответил, что он не утверждает что все черно-белое, так как во всех странах, на которых распался СССР после коллапса коммунизма, существуют всякие эффекты. Короче это замял и перешел к другим вопросам. Но вообще было интересно. Я понял какую эти товарищи строят картину для получения частных пожертвований. В основе лежит ложная дихотомия "вы хотите жить в мире в котором A - или в мире, в котором B?" Ну и на это накручивается Фукуяма и прочий маркетинг, с вполне реальными элементами типа того что будет холодно и нужны деньги на решение и этих проблем тоже.

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
754
3
Поведение российской белоленточной оппозиции получает логичное объяснение, если рассматривать ее не как политическое движение, а как религиозное движение гностического толка. Если вы ничего не знаете про гностиков, не волнуйтесь - я сам узнал о них позавчера, когда YouTube подкинул мне про это видео и я прослушал про них четыре часовых лекции. Пересказываю: Гностицизм - это собрание религиозных культов, мифология которых содержит общеизвестных религиозных персонажей: Иисуса Христа, Бога Ветхого Завета, Змея с Адамом и Евой, Иуду, Павла, Марию-Магдалину, Иоанна Хрестителя итд - но у всех этих персонажей совсем другие роли, чем в традиционном христианстве. Например Бог Ветхого Завета у гностиков - это бог-самозванец по имени Демиург (Путин), который по своему невежеству считает себя настоящим богом Вселенной, хотя выстроенная им Вселенная (Россия) - это топорное ватническое место, которое является только малой частью (низкий GDP), всего восьмым уровнем Настоящей Вселенной (Запад), в которой правит Настоящий Бог, от которого иногда в немытую вселенную снисходят ангелы (Макфол встречается с оппозицией в спасо хаузе в Москве), но в немытой вселенной - царство архонтов (олигархов и кэгэбэшников), которые построили тюрьму для душ и не дают им вырваться в мир Света (настоящую Вселенную с настоящим Богом). Вот скажем Пистис София (Альбац) в свое время училась в Гарварде (была на 13 эоне), но фальшивый блеск увлек ее обратно в царство Демиурга (немытую Россию), где она активно пообщалась с Иисусом Христом (Навальным разумеется), поучила его там всякому, после чего вернулась обратно на 13-й эон (в Гарвард). При этом в первые пару веков христианства гностики считали себя христианами и были даже вхожи во власть, как белоленточная оппозиция в 1990-е. Например гностик Валентин был кандидатом на епископа Рима, де-факто на римского Папу (как Борис Немцов выдвигался в кандидаты в президенты России). Но потом гностиков объявили ересью (иностранными агентами) и государство начало их щемить, а потом и репрессировать всерьез (крестовой поход против альбигойцев, которых объявили нежелательной организацией). Далее гностики всех делят на пневматиков (интеллигенцию со светлыми лицами, в которых естественно возникает внутренний свет из-за их хороших генов, отчего они могут спастись в Настоящей вселенной, то есть убежать на Запад как беженцы и устроиться там младшими ангелами типа Навальной), психиков (людей душевных, которые могут даже эмигрировать, но в ангелы их там не возмут) и гиликов, то бишь ватников, которых победил холодильник и телефизор архонтов. Когда наконец настоящий бог Пропатор из Плеромы (Обама или Байден из Вашингтона), прибудут на своем флоте авианосцев с радиусом действия до Урала и наведут в немытой вселенной Путина-Демиурга порядок (то есть сожгут ее нафиг чтобы не мешала идеальности Вселенной Света), то гилики/ватники сгорят вместе с ней, психиков пристроят в какой-то промежуточной вселенной (скажем в Болгарии пиццу разносить), а пневматики будут введены в Плерому.
1 214
4
ИИ раскаялось, но это заняло пять итераций Я чего-то не понимаю с этим ИИ. Медия с фанфарами хором поет "ИИ решил сотни матем+4
ИИ раскаялось, но это заняло пять итераций Я чего-то не понимаю с этим ИИ. Медия с фанфарами хором поет "ИИ решил сотни математических Проблем Столетия за которые дают Филдсовские медали", а у меня сегодня 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
903
5
Андрей Солодовников написал важную для вузовского образования заметку на Хабре про то, как мы с ним и Дмитрием Петренко построили за лето возможность запускать одни и те же программы на Си и RISC-V ассемблере на разных комбинациях процессорных ядер (APS из МИЭТ, YRV) и 50-ти FPGA плат (Xilinx, Altera, Lattice, Gowin), которые поддерживаются в инфраструктуре BGM (Basics Graphics MUsic) и будут использоваться на занятиях Школы Синтеза Цифровых Схем, новый сезон которой стартует в эту субботу 10 октября. https://habr.com/ru/articles/1091540/
1 086
6
Я раньше ругал людей который пишут посты с помощью ИИ, но решил написать такой пост сам. Пост ниже сгенерен ИИ от первой до п
Я раньше ругал людей который пишут посты с помощью ИИ, но решил написать такой пост сам. Пост ниже сгенерен ИИ от первой до последней буквы (кроме картинки, ее нарисовал я сам). При этом, как честный человек, я привожу промпт. Также оправданием служит то, что речь идет не о чем-то абстрактном, а о моей конкретной (скорее всего не оригинальной) методе генерить код, натравливая один ИИ (claude) на другой (codex). Чтобы они соревновались друг с другом, писали разборы конкурента и сравнения, исправляли у себя найденные конкурентом ошибки и заимствовали его ценные идеи. Мой промпт и пост ИИ: https://habr.com/en/articles/1091320
1 017
7
Выступил с докладом через Zoom на конференции SEMICONUZ в Узбекистане. Заметил два момента: Момент 1. Судя по вопросу препода+3
Выступил с докладом через Zoom на конференции SEMICONUZ в Узбекистане. Заметил два момента: Момент 1. Судя по вопросу преподавательницы из Ферганского политехнического института, в Узбекистане наверное ведутся дискуссии "кодописатели против физиков". То есть обсуждают, достаточно ли программировать софтвер на уже сделанных чипах и дизайнить на верилоге логику - или нужно вводить курсы физики полупроводников. Это впечатление подкрепил и доклад хорошо известного мне Нурсултана Кабылкаса про первый чип в Казахстане (Нурсултан делал PhD в Университете Калифорнии Санта-Круз и работал в AMD с Тимуром Палташевым). Моя позиция по вопросу: хотя описанный мною в презентации процесс проектирования цифровых чипов в электронных компаниях (маршрут RTL2GDSII) построен так, чтобы максимально изолировать проектировщиков логики от физики - несмотря на это, физика в этом процессе все-таки проявляется: 1) Проектировщикам библиотек стандартных ячеек (ASIC standard cell library) нужно понимать физику того, из чего они строят всякие AND-OR, MUX2, DFF (D-Flip-Flop) примитивы и откуда берутся их параметры (пикосекундные задержки и фемтоваттное энергопотребление). 2) Разработчикам программ автоматизации проектирования, Electronic Design Automation (EDA), в частности статического анализа тайминга и физического проектирования, размещения и трассировки - нужно тоже понимать физику процесса, так как она там все время просачивается: значения на проводах скачут и устаканиваются только к концу такта (период которого нужно вычислить, причем задержки зависят от физических эффектов не только в транзисторах, но и на проводах. 3) В каждом ASIC-е есть не только цифровая, но и аналоговая часть, даже всякие датчики температуры внутри самого чипа, чтобы регулировать частоты и напряжения динамически. Короче Узбекистан - это достаточно крупная страна, чтобы готовить специалистов по всему спектру микроэлектронной экосистемы. "Отец алгебры" Аль-Хорезми, аль-Бируни и Улугбек не одобрили бы что потомки вообще задают такие вопросы. Момент 2. Судя по программе конференции и по докладу Нурсултана, в Средней Азии очень популярна китайская программа One Student One Chip. Программа действительно великолепна, появилась в правильное время (2019) в правильном месте (китайский институт ICT делал суперскалярные чипы Loongson еще 25 лет назад), с правильным контентом (от RISC-V до tapeout) и получила заслуженный успех (больше 10 тысяч студентов). Вы ожидаете частицы "но"? (как писал Александр Сергеевич Пушкин в "Оде Его Светлости князю А. Н. Голицыну") Да, это "но" есть у меня. Насколько я понял (поправьте если я ошибаюсь), программа OSOC центрируется вокруг процессора общего назначения, CPU, и взаимодействия хардвера и софтвера. Но (!) на этом мир микроэлектроники не заканчивается: быстрый интернет, быстрая трехмерная графика и быстрые ИИ-ускорители стали возможны именно потому что создатели сетевых чипов (Juniper конца 1990-х), GPU и ML ускорителей (Google TPU и другие) - вывели большую часть обработки данных из процессора общего назначения. Что я упомянул в своих слайдах. Все слайды и видео по идее будут на сайте конференции после ее окончания.
1 451
8
Развиртуализовались с комрадом Sergey Vinnichenko который часто бывает у меня в комментариях. На моей майке Улисс не имеет во
Развиртуализовались с комрадом Sergey Vinnichenko который часто бывает у меня в комментариях. На моей майке Улисс не имеет вообще никакого отношения к фильму. Такие майки раздал Самсунг разработчикам компонента для телефонов с таким внутренним названием, причем еще до выхода фильма, просто так совпало. Сергей живет в Сан-Диего и работает в Synopsys (кто не знает - это одна из двух главных компаний (вторая Cadence) которая делает софтвер для всех ASIC дизайнеров, то бишь хранитель мудрости мировой микроэлектроники). Сергей подарил мне японский садовый нож для рытья земли и обрезки корней и мы пошли гулять. На пути от моего дома к центру города Саннивейл обсуждали окаянного забанившего меня Vladimir Churyukin. В частности что я сначала неправильно диагностировал главную разницу позициями. Главная проблема Чурюкина с моего угла зрения - это не замена Баша Питоном, а попытка заменить Верилог Ямлом. См. update к посту на Хабре https://habr.com/en/articles/1082650/ Далее обсуждали опыт Сергея с писанием софтвера для создания 3D чипов из чиплетов и предыдущий опыт с созданием софтвера для печатных плат. Вспомнили российскую группу PADS которую купил Mentor Graphics в 1996 году. Потом зашли в супермаркет Whole Foods (говорят что он похож на московскую Азбуку Вкуса, но я в ней не был). Сергей купил суши, а я супы: гороховый и перловый с мясом. На обратном пути обсуждали тусовку вокруг открытых средств проектирования: * сменившего пол создателя Yosys (открытый фронт-енд для верилога) и PicoRV32 (популярное в начале движения RISC-V ядро с нестандартными прерываниями) Ксению Вольф, * создателя открытого оптимизатора/синтезатора логики ABC берклиевца Алана Мищенко (в киевском детстве его вроде звали Алексей - я впервые встретил его на экзамене в киевскую группу МФТИ), * причастность бывшего вице президента Mentor Graphics (ныне Siemens EDA) Сержа Лифа (в московском детстве Сергея) к финансированию проекта OpenROAD в Университете Калифорнии Сан-Диего деньгами от Пентагона/DARPA, * мою дискуссию в LinkedIn с египетским разрабочиком OpenLane из почившей eFabless по поводу использования Docker-а в комбинации с виртуальными средами Питона - с последующим стиранием ветки в моем посте разгневанным египтянином, * взаимоотношения eFabless (ныне реинкарнированный как chipFoundry.io) с американской фабрикой для военных SkyWater с покровительством от Гугла (финансировавшим бесплатное производство чипов с дизайнами студентов) в былые годы, * растущий Tiny Tapeout (производство чипов для всех), его отношения с chipFoundry.io, университетом Лейбница в Германии и Global Foundry. * манеру презентации ASIC технологий основателем TinyTapeout испанцем Матт Веном, с пританцовываниями во время семинаров. Контент его митапа в Стенфорде - нужно ли моделирование транзистора и schematic entry Wokwi если в аудитории хотят чтобы им показали как написать на верилоге собственный чип с RISC-V процессором. Дома я показал Сергею платы Tang Nano 9K с Gowin FPGA, плату от Tiny Tapeout и нашу инфраструктуру Basics-Graphics-Music (BGM) которую окаянный забанивший меня Чурюкин считает "хорошей идеей, но отвратительным решением", а также мой темплайт для переноса дизайнов из BGM в TinyTapeout - и мы разошлись.
1 250
9
На всех платформах, на русском и английском vk.ru https://vkvideo.ru/video2345238_456239084 https://vkvideo.ru/video2345238_456239085 rutube.ru https://rutube.ru/video/ad7b7aa934fae0a19ee2dcf6338216c0/ https://rutube.ru/video/2d73de3929df5f02ed1c7529c388678a/ youtube.com https://youtu.be/yU27WDcp42Q?si=5LtMWY3jYPuZfQg3 https://youtu.be/tO6dwd8vdnk?si=JXtZyxoQGxQnqgSP
869
10
Мы записали две двухчасовые лекции - одну на английском, другую на русском. В них Леван Чагелишвили, инженер в Грузии, делится своим опытом разработки варианта CORDIC-дизайна и его прототипирования на FPGA. Затем тот же RTL-дизайн проходит синтез, размещение и трассировку по маршруту проектирования RTL2GDSII для изготовления чипа ASIC через Tiny Tapeout. Вторая часть на русском - https://youtu.be/tO6dwd8vdnk Первая часть на английском с русскими вопросами - https://youtu.be/yU27WDcp42Q
928
11
Два объявления: 27 сентября 2026 года митапа Verilog Meetup в Hacker Dojo не будет, потому что мы едем на Maker Faire в Валье+1
Два объявления: 27 сентября 2026 года митапа Verilog Meetup в Hacker Dojo не будет, потому что мы едем на Maker Faire в Вальехо! 4 и 11 октября 2026 года Verilog Meetup-ов тоже не будет, потому что Hacker Dojo переезжает в новый офис в Санта-Кларе! Первый Verilog Meetup на новом месте предварительно запланирован 18 ноября 2026 года. There will be no Verilog Meetup in Hacker Dojo on September 27, 2026, because we are going to Maker Faire in Vallejo! There will also be no Verilog Meetups on October 4 and October 11, 2026, because Hacker Dojo is moving to a new Santa Clara office! The first scheduled Verilog Meetup at the new location is tentatively scheduled for November 18, 2026.
834
12
Звонок начинаем по asic в Грузии https://bit.ly/yuri-panchul-zoom
944
13
Презентация на английском в пятницу https://www.youtube.com/watch?v=yU27WDcp42Q В субботу 19 сентября то бишь сегодня в 18.00 по Москве будет аналогичное на русском https://bit.ly/yuri-panchul-zoom
1 083
14
We are going to start a call in 5 min https://bit.ly/yuri-panchul-zoom
845
15
Пост на Хабре - https://habr.com/en/articles/1082650/ Почти три года назад, когда я начал митапы Verilog Mettup в Hacker Dojo+1
Пост на Хабре - https://habr.com/en/articles/1082650/ Почти три года назад, когда я начал митапы Verilog Mettup в Hacker Dojo, на них пришел Владимир Чурюкин и когда посмотрел на мою инфраструктуру Basic-Graphics-Music, где баш-скрипты по имени платы строят проект, сразу сказал “А давайте перепишем все на питон”. И переписал! С оговоркой что это PoC, то бишь Proof of Concept, то есть он это проверил только на 5-ти платах, а не на всех 45-ти, как мой исходный репозиторий. А теперь посмотрим что из этого получилось. Так как я в это индустрии 40 лет и читал книжки Брукса и других еще когда ездил в трамвае в физматшколу и работал у мамы на работе на СМ-4, то я знаком с этой ситуацией более чем. Разработчик приходит в новый проект. Ковыряться в том что есть ему неинтересно, то что есть ему видится отвратительным, а аргументы, что существующее решение достаточно он отвергает. На предложение заняться новой фичей поверх существующей инфраструктуры он исчезает на некоторое время, а потом возвращается с “вот, смотрите, как нужно!” и показывает переписанную инфраструктуру. Существующие люди на проекте на это смотрят, пару раз в это тыкают и говорят: “а вот оно не поддерживает это и это, а также вводит неудобство для пользователя вот тут и тут”. Тут в воздухе повисает неудобное молчание, потому что становится непонятно что именно хочет новый человек: 1. Лично сесть и написать все фичи, а не только proof of concept. 2. Указать другим, что они должны остановить все свои проекты, срочно выучить новый язык и библиотеки и переписать весь проект под его руководством. 3. Уломать прользователей смириться, что отныне программа поддерживает не 45 плат, а только 5, а также теперь программа не умеет находить где установлены тулчейны, и их пользователь должен ручками ввести в YAML файл. А также пользователь должен сам отлаживать случаи когда не работает драйвер в Linux, потому что новая программа не сказала пользователю сделать update в /etc/udev. Или случаи когда macOS объявляет файл от FPGA вендора malware. 4. Уломать прользователей смириться с двумя несовместимыми системами вместо одной: для одних плат они пользуются первой, для других второй, причем новая инфраструктура не запоминает последней выбраной платы. Зато все на питоне. Сразу скажу, что я в своей карьере видел все 4 сценария, причем и с одной, и с другой стороны. Также интересно, что спор как правило ведется в двух плоскостях. Старый разработчик говорит что новый подход требует преобразования проприетарных форматов от нескольких вендоров и ad-hoc файлов для мэппинга чего-то в один формат, но при этом новая преобразовалка недостаточно умна чтобы например парсировать ifdef-ы в преобразуемых файлах, а мануальное преобразование займет либо время, либо необходимость построчно проверять что там натворило AI с этими ifdef-ами, что нудно и противно. И непонятно ради чего, так как существующая инфраструктура и так работает, а что под капотом пользователю наплевать. Новый разработчик отметает это как несущественную деталь и вещает о важности абстракций. Я книжки про важность абстракций стал читать еще когда СССР правил Генсек Константин Устинович Черненко (да, в СССР переводили в издательстве Мир книжки по программированию в том числе на эти темы), поэтому для меня важность абстракций разбивается в один момент: кто должен править вывод программ, которая написана на абстракциях, но не обрабатывает все случаи для пользователя, которые обрабатывает старая программа - я или он? А вы что думаете? (Ссылки в посте на Хабре)
1 048
16
Школьница Светлана под руководством двух инженеров - меня и ее отца - освоила концепции трех технологий проектирования схем и
Школьница Светлана под руководством двух инженеров - меня и ее отца - освоила концепции трех технологий проектирования схем и теперь демонстрирует их на этом видео: 1. Сборка цифровых схем на макетной плате с микросхемами малой степени интеграции. Этот метод старинный, изобретен еще в 1968 году, но и сейчас годен для обучения школьников начиная с детсада (мы вчера видели как 6-летний понял функциональность логического элемента XOR). Светлана показывает на видео схему с ALU которую она собрала. 2. Синтез схем из кода на языке описания аппаратуры SystemVerilog с реализацией в микросхемах реконфигурируемой логики FPGA. Этот способ широко применяется для прототипирования, специальных приложений (например в космических ракетах SpaceX и Blue Origin) и обучения студентов (см. напр. курс MIT 6.111). 3. Синтез для микросхем ASIC. Этот способ применяется последние 35 лет для всех массовых устройств. Смартфон который вы держите в руках - это несколько ASIC-ов и окружающая их периферия. Светлана будет присутствовать на Zoom-звонке на русской части лекций, которые будет читать наш коллега из Грузии Леваном Чагелишвили, где мы покажем плату TinyTapeout в действии. Вы можете подключиться по линку https://bit.ly/yuri-panchul-zoom Chip Designed in the Country of Georgia: ASIC design flow and prototyping on FPGA Чип спроектированный в Грузии: разбор маршрута проектирования для ASIC и прототипирования на FPGA Пятница 18 сентября, 8 am по Калифорнии, 19.00 по Тбилиси, 18.00 по Москве: лекция на английском. Cуббота 19 сентября, 8 am по Калифорнии, 19.00 по Тбилиси, 18.00 по Москве: лекция на русском. Воскресенье 20 сентября, 8 am по Калифорнии, 19.00 по Тбилиси, 18.00 по Москве: лекция на грузинском. Ждем вас на лекции!
798
17
Каждый год я стараюсь поехать в какую-нибудь страну бывшего СССР и провести там семинар или просто митапы на темы SystemVeril+3
Каждый год я стараюсь поехать в какую-нибудь страну бывшего СССР и провести там семинар или просто митапы на темы SystemVerilog-RTL-FPGA-ASIC-RISC-V, попросту говоря, обучение будущих проектировщиков чипов с помощью упражнений на FPGA. В этом году я поехал в Грузию и вот мой отчет на Хабре: https://habr.com/en/articles/1079632/ Заглавное фото поста: встреча с инженером грузинского отделения Cisco Леваном Чагелишвили и его коллегой Давидом, организованная моим старым знакомым, FPGA инженером Иваном Графским. Иван еще 10 лет назад помог мне организовать семинар в московском МИФИ и развернуть работу по народному переводу учебника Харрис & Харрис. По этой встрече есть продолжение: во время нее Леван решил спроектировать ASIC и произвести его с помощью сервиса TinyTapeout. Это наврядли первый ASIC спроектированный в Грузии (хотя кто знает?), но мы решили чтобы было бы полезно, чтобы Леван описал свой опыт. Посему мы планируем три Zoom-лекции: на английском, русском и грузинском под названием: * Чип спроектированный в Грузии: Разбор маршрута проектирования для ASIC и прототипирования на FPGA * Chip Designed in the Country of Georgia: ASIC design flow and prototyping on FPGA Почему это важно? 1. С моей личной точки зрения развитые страны - это страны в которых проектируют ASIC-и: США, Япония, Великобритания, Германия, Франция, Бельгия, Южная Корея, КНР, Россия. Если в Грузии разовьется эта тема, начиная со студентов, то это повышает статус страны. Кстати так же считают и на Украине, например в Киевской Школе Экономики, которая сотрудничает по теме ASIC-ов c ETH Zurich. 2. Больше возможностей для привлечения в страну международных электронных компаний - как несколько лет назад наличие в Беларуси команды знающей SystemVerilog верификацию для ASIC-ов привлекло туда южнокорейскую SK Hynix. 3. Хотя сам пример - это небольшой дизайн, но на нем можно показать все маршруты: верификацию через тестбенч с самопроверкой; синтез для прототипирования на FPGA; маршрут RTL2GDSII для ASIC-ов. Даты, время и другие подробности по ссылке выше
1 701
18
Нужна помощь зала. Мы тут с грузинскими коллегами хотим устроить три часовые лекции по зуму про их (возможно) первый ASIC в Грузии через TinyTapeout (если не первый, поправьте). С демонстрацией как переносится дизайн из FPGA в ASIC. Первая лекция на английском, вторая русском и третья на грузинском. В какое время по Москве эти лекции стоит делать чтобы посмотрело максимум российской аудитории? Для меня удобно в 18.00 по Москве, несколько менее удобно в 19.00. Это оптимальное время?
916
19
В преддверии 1 сентября я по запросу некоторых преподавателей написал программу годового курса для школьников физматшкол: От+3
В преддверии 1 сентября я по запросу некоторых преподавателей написал программу годового курса для школьников физматшкол: От Цифровой Логики к Процессору через ПЛИС. Это моя версия Элитарного Образования Без Замка. https://habr.com/en/articles/1071736/ Секции программы: 1. Цифровая логика на микросхемах малой степени интеграции. 2. Язык описания аппаратуры SystemVerilog и реализация схем на ПЛИС/FPGA. 3. Архитектура процессора и язык ассемблера RISC-V на симуляторе системы команд. 4. Микроархитектура процессорных ядер и реализация процессора на ПЛИС/FPGA. 5. Интеграция процессора в систему: ввод-вывод от сенсоров и параллелизм через прерывания. 6. Изготавливаем микросхему ASIC на фабрике через сервис TinyTapeout. 7. [Возможный исследовательский проект: создание библиотеки для открытого средства проектирования Yosys для синтеза схем малой степени интеграции из кода на верилоге.] Предисловие: В картине мира, представляемой школьным образованием, существует “слепое пятно” в области принципов проектирования цифровой электроники, между физикой и программированием. Курсы роботики и ардуино это слепое пятно не закрывают, так как сводятся к программированию готовых чипов и их интеграции с сенсорами и актуаторами, то бишь проектированию систем. Существующие упражнения с дискретными элементами и микросхемами малой степени интеграции (7400 и CMOS 4000) представляют собой косметическую переработку курсов 1970-х годов и оторваны от реальной работы проектировщика микросхем в современной электронной компании. Удалить эти упражнения нельзя, посколько никто с 1968 года не придумал лучшего способа демонстрации работы D-триггера, чем макетная плата с микросхемой CMOS 4013. А с D-триггерами даже современный разработчик имеет дело каждый день, перескочить через это знание нельзя, и в упражнениях на программирование Ардуино/Распберри Пай D-триггеры не возникают. При этом простая переработка упражнений с микросхемами малой степени интеграции слепое пятно не закрывает, так как сложность схем, которые на них можно спроектировать - ограничена. Например, на таких микросхемах непрактично проектировать даже простой процессор, хотя некоторые школьники это сделали - см. напр. заметку Small-Scale Integration Stepping Stones. Слепое пятно можно закрыть с помощью введения элементов языков описания аппаратуры (ЯОА) SystemVerilog и доступные для школьного экспериментирования микросхемы ПЛИС/FPGA (Программируемые Логические Интегральные Схемы - Field Programmable Gate Arrays) - матрицы реконфигурируемых логических элементов. В них можно строить работающие цифровые схемы просто меняя содержимое памяти конфигурации. В базовом ПЛИС нет своего процессорного ядра, в отличии от микроконтроллера AVR на плате Ардуино, в котором есть ядро, фиксированное на фабрике. Но из ячеек внутри ПЛИС можно построить собственный процессор, в том числе и вариацию вышеупомянутого AVR в Ардуино. Более того, сейчас стали доступны сервисы типа TinyTapeout, которые позволяют даже школьникам и студентам за доступную сумму (от $50 на схему + $300 плата) производить собственные чипы ASIC (Application Specific Integrated Circuit) на фабрике; мы делаем это в рамках предложенного курса. После выполнения упражнений курса, картина мира у школьников становится цельной, без разрыва между физикой и программированием. Это способствует созданию среды для появления большого количества молодых инженеров, которые понимают и программную, и цифровую аппаратную стороны современных микросхем для широкого спектра приложений: смартфонов, интернета вещей, аппаратных ускорителей ML, самоуправляемых автомобилей итд. Введение ЯОА и ПЛИС в школьную программу также хорошо привязывается к курсу математики и физики физматшкол - булевская алгебра, арифметические схемы, конечные автоматы. Дальше - https://habr.com/en/articles/1071736/
1 527
20
По возвращению из Батуми в Тбилиси я провел еще один митап, в https://sandb0x.space/ . Были в основном релоканты, некоторые и+1
По возвращению из Батуми в Тбилиси я провел еще один митап, в https://sandb0x.space/ . Были в основном релоканты, некоторые из их работают удаленно на российские компании. Например один джентельмен делает медицинский прибор для навороченного варианта Delayed Auditory Feedback (DAF). DAF даже не в навороченном варианте - это единственная известная мне технология для эффективного снижения заикания (так как я сам заика с 9 лет, я в этом разбираюсь). Человека три или четыре были хорошо в теме верилога и были например знакомы с группой Дроздова в МФТИ и работавшей с нею компанией Soft Machines которую купил Intel за $300M (в основном за сделанный в России компилятор). Одна девушка была знакома с работой GPU, еще две другие спрашивали совет, что делать, если они не успели закончить в России вузы, а надо устраиваться на работы. Я дал совет взять курсы (онлайн и оффлайн) из мест типа University of California Santa Cruz Silicon Valley extension (это вечерние курсы повышения квалификации, в том числе с программой VLSI), потом все это скобинировать и объявить в резюме что у них эквивалент степени бакалавра (bachelor degree equivalent), добавить опыта участия в открытых проектах и продавать себя работодателям в таком качестве. По большому счету если они пройдут через фильтр HR и интервью, то работодателям будет наплевать сколько там семестров чего они прошли. Но важный момент: нельзя преувеличивать курсы, дипломы итд, посколько все нестыковки раскопает background check. Даже в условиях санкций западная компания может сконтактировать background check компанию, у которой контракт с другой background check компании в России, а та компания может сконтактировать и ваш бывший деканат и даже архив, много-много лет спустя. То есть если вы напишете "училась четыре года", а училась три, то найдут и отменят оффер, а вот если напишете "училась три года" как есть, то это ОК: к этому моменту компании наплевать, посколько они вас уже проверили на интервью, да и российские вузы для них не архиважны. Но вот галочка от background check на правдивость нужна. После митапа в SandBox меня повели еще и в другой hacker space в Тбилиси - f0rthsp4ce https://f0rth.space/ , про который у меня будет отдельный пост.
1 125