ChatCrawlerпоиск по публичному Telegram Открыть приложение
C

Compiler Development

снимок за апрель 2026
‹ апрель 2026 ›×
23 апреля 2026
28 апреля 2026
P
Peter Sovietov
Konstantin RomanovА вообще? Вы находите какое-то применение? Вроде бы для генерации программ вполне подходит. То есть, вопрос вот тестирования компиляторов как-то, кажется, снимается.
Я, конечно, нахожу применение. Для обсуждения архитектурных решений и code review. Окончательно убедился в полезности "свежего взгляда" LLM, когда эта "жестянка" после пространных обсуждений внезапно предложила в моем проекте спецпроцессора сократить набор команд с 4 до 2 без изменения функциональности. А ведь я к тому времени уже имел прототип на ПЛИС, статью... и проглядел такую вещь! А для генерации тестовых программ, на мой взгляд, лучше создавать и использовать специализированные инструменты — фаззеры.
K
Konstantin Romanov
У меня народ как-то генерирует код с помощью LLM. А это противоречит идее, что сгенерированный код должен читаться почти исключительно машиной. И вообще, его лучше перегенерировать по мере надобности.
29 апреля 2026
Y
Yuko
MВы где такую идею подцепили?
не помню уже где, но встречал такое, что мол всё это "аи" должно прийти к прямому порождению нативного кода - кому должно, и почему это хорошо, не объяснялось У меня один знакомый наоборот решал задачу от (не ИТшной) индустрии о формальном обосновании, что в нативный код можно вносить изменения с сохранением его свойств без полной регенерации, потому что индустрия хотела фиксить баги не теряя сертификацию бинарников например.
M
Yukoне помню уже где, но встречал такое, что мол всё это "аи" должно прийти к прямому порождению нативного кода - кому должно, и почему это хорошо, не объяснялось У меня один знакомый наоборот решал задачу от (не ИТшной) индустрии о формальном обосновании, что в нативный код можно в
Ничего не понял
M
Но кажется это оффтоп
Alex
Yukoне помню уже где, но встречал такое, что мол всё это "аи" должно прийти к прямому порождению нативного кода - кому должно, и почему это хорошо, не объяснялось У меня один знакомый наоборот решал задачу от (не ИТшной) индустрии о формальном обосновании, что в нативный код можно в
Не очень понимаю, как можно сохранить сертификация при изменении бинарника, но ок. Вообще, да, бинарь модифициррвать можно (см. Bolt), но с некоторыми ограничениями (с Bolt).
A
Про то, что ии должен генерировать нативный код - не слышал пока такого. В целом как минимум, спорное утверждение (в т.ч. и с практической точки зрения)
A
Alexander Chichigin
AlexПро то, что ии должен генерировать нативный код - не слышал пока такого. В целом как минимум, спорное утверждение (в т.ч. и с практической точки зрения)
Конечно же ИИ должен генерировать SSA-based IR (SoN or something) прямо в памяти, потому что мы и так отлично умеем генерировать нативный код из IR. Конечно же для этого нужен graphs-based ИИ, а не transformer-based. 😁
Открыть в Telegram Каталог площадок Искать в ChatCrawler

Слепок открытой публичной ленты из поискового индекса ChatCrawler — «Google по публичному Telegram»; обновляется по мере обхода площадки. Время — UTC.

Только публичный контент, официальный API Telegram. О проекте · Вопросы · Чего мы не делаем · Убрать страницу из выдачи · Каталог