ОКБ "Эфир"
236 subscribers
901 photos
64 videos
65 files
283 links
Download Telegram
Forwarded from Юрий Панчул
Студенты обожают ChatGPT. В идеале, они хотят закоротить профессора и чатгопоту напрямую, то есть посылать задачу от профессора гопоте, пересылать ответ профессору, возражения слать гопоте назад итд - пока не получится решения. Лучше всего это делать скриптом, чтобы студент вообще не был вовлечен в решение задачи и занимался своими студенческими делами, пока чатгопота и профессор разговаривают.

Как же обломать крылья этой мечте?

Можно использовать факт, что гопота - это статический анализатор текста. “Статический” означает что если какой-то информации в тексте задачи нет, а также ее нет в тренировочных данных гопоты - то для гопоты этой информации нет во вселенной вообще, оно пытается гадать и попадает пальцем в небо. Хотя во вселенной такая информация вполне может существовать - просто чтобы ее получить, нужно запустить некую программу.

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

1. Критичная информация: количество тактов между событиями. Процесс, который гопота не может повторить: симуляция на уровне регистровых передач.

2. Критичная информация: задержка на пути комбинационной логики. Процесс, который гопота не может повторить: логический синтез из языков описания аппаратуры.

Мы с соратниками по Школе Синтеза Цифровых Схем сконструировали такую задачу и я опробовал ее на ~30 студентах, которые контактировали меня в LinkedIn с просьбой дать им рекомендацию. Я попросил каждого написать конвейерный блок на языке описания аппаратуры SystemVerilog, который реализует вычисление простой формулы с плавающей точкой. Формула у каждого студента индивидуальна. Два требования: блок студента должен использовать данные мною подблоки для сложения, умножения и вычитания, а также данное мною тестовое окружение.

Вот как выглядит задание:

Дальше -
https://habr.com/ru/articles/902400/
👍21🤡1
👍41🤡1
Конкурс найдите знакомые лица, можно поискать меня

👨‍🎓 СнК Хакатон от Ядра в МИЭТе
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥10
В следующем году тоже будем участвовать 🤖
Please open Telegram to view this post
VIEW IN TELEGRAM
💯7👍2🤣1
Кусочек_фото_1 #SDC2025 (фото в том порядке в котором они лежат на облаке ядра)

Это уже закрытие Хакатона в воскресенье
5
Кусочек_фото_2 #SDC2025
Награждение победителей в воскресенье
❤‍🔥4👍1🤣1
Встречайте: 😄BearLogica - графический язык программирования от компании ELRON для самых маленьких и диких! 😁 Представляем вам раннюю версию BearLogica, построенную на базе OpenSource проекта, но уже русифицированную, локализованную и работающую с нашими платами ELBEAR ACE-UNO на базе MIK32 Амур (RISC-V мк 1-го уровня) от Микрон. Предназначен для построения образовательных процессов как в рамках школьных учебных заведений, так и даже в детских садах. При работе BearLogica формируется код, который можно перенести в среду ArduinoIDE, что позволяет также облегчить переход от работы в графических средах программирования к текстовой среде Arduino IDE. Все материалы доступны на странице поддержки или в нашем репозитории на GitFlic. Следите за новостями, мы намерены непрерывно развивать данный проект! И сами участвуйте в развитии проекта! Вместе вырастим настоящих российских инженеров почти с пеленок!😁
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
👍5🤣2
Кусочек_фото_3 #SDC2025

Ещё немного фото с награждения, а также фото с первого дня (постановка задач на хакатон)
6