Одно другому не мешает - трансформеры подтвердят!

да и вряд ли захотят мараться.

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

доо бро! Ты описал морской бой линкор vs линкор + ты на надувном утёнке :)
Галантерейщик и Кардинал - это сила! (С) Ди3М
Но мушку всё таки спили(С) :)

> Если код УЖЕ существует, то к задаче ПЕРЕПИСАТЬ просто добавиться еще одна ПРОТЕСТИРОВАТЬ, что при наличии исходной кода будет сделать не очень сложно (доказать тождественность поведения)

Ну хойчем же так тупить то?!
Они исходный код протестировать и переписать на том же самом Си, но безопасно - не осилили (пока).

Просто в DARPA тоже люди работают, им тоже хайпануть и пропиариться не чуждо :)

Ну а так то да - рано или поздно, но код будут писать роботы.

Так, может, и начать сразу со второй задачи и "ПРОТЕСТИРОВАТЬ" сишный код? Тогда и на раст не придётся переписывать, теряя переносимость.

Так вроде это как раз и непросто.
По крайней мере в общем виде.
Навскидку:
Проблема останова
Формально верифицированый seL4 микрокернел по цене 400 у.е. за строчку кода (и обьем тестов намного превышает обьем самого код).

Невозможно, если ты не получишь одинаковый IR или asm. Точнее это может быть возможно теоретически, но там проблема останова и все такие вещи начнут путаться под ногами. Кроме того, я не думаю, что доказательства на уровне машинного кода в принципе могут прокатить: толку от Rust кода, если он 1-в-1 повторяет C'шный? Нет никаких проблем написать транслятор C в rust+unsafe. Но хочется ведь снизить количество багов? А если из C'шного кода убран один баг, то мы получаем уже неэквивалентный код, про который можно доказать, что он отличается своим поведением.

Задача далеко не тривиальна.

В том то и мякотка что впервые появилась надежда трансливровать то, чего те простые автоматы сделать не могли. Смогут ли? АХЗ...
У вообще меня впечатление что чатгопота выложена публике потому как кому надо - это уже пройденный этап ;-)

Они даже и летать умеют. Воооон, разогнать и фьють с обрыва - видишь - не аэроплан, а летит! И даже аэродинамика кирпича не мешает полету. А вы говорите. Джеймс Бонд завистливо покуривает в сторонке.

Only the first 4,000 characters will be converted.

даже хеловрот не поместился.

А, впрочем нашел один подходящий. Ну как и следовало ожидать:
unsafe {
все остальное
}

дальше в общем и смотреть незачем.

В то же время, переводчик на Rust, будь это живой программист или AI, не обладая этим контекстом напишет сильно неоптимальную программу. В ней, к примеру, будет реально уйма мёртвого кода, достижимого фаззерами, но не работающего на практике. Ряд вещей будет сильно неидеоматичен.

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

Ага, и деревья в расте невозможно реализовать. И двусвязный список тоже.

Это достоинство.

C[1]: "to make the existing compiler behaviour sound it is necessary for this program to be deemed to have undefined behaviour"

Rust[2]: "It doesn't make sense to have a bug for every LLVM bug - CLOSED"

[1] https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2676.pdf
[2] https://github.com/rust-lang/rust/issues/45839#issuecomment-343301085

Тот же код на С++, консольное приложение, цель - релиз, компилятор g++. На Linux исполняемый модуль 270 Кб, на Windows 3,5 Мб. В чем причина может ыть?

Раст по умолчанию вкомпилирует std-либу:
[CODE]
rustc -O -C link-args=-s hello.rs && ll hello
-rwxr-x---  1 анон  wheel   374K  5 Aug. 19:37 hello*

rustc -O -C prefer-dynamic -C link-args=-s hello.rs && ll hello
-rwxr-x---  1 анон  wheel   6,9K  5 авг. 19:36 hello*

gcc -O2 -s hello2.c && ll a.out && cat hello2.c
-rwxr-x---  1 анон  wheel   5,3K  5 авг. 19:36 a.out*
#include <stdio.h>
int main( void )
{
    puts("Hellо врот");
    return  0;
}
[/CODE]
Правда, как тут анонимные комментаторы (в каждой расто-новости) получали многоМБ-айтовые "жирные" бинарники, я так и не понял.

ИМХО, среднестатистического миддла для не системного программирования (а-ля веб) заменит.

Но для низкоуровневого кодинга не годится совсем из-за гaллюцинaций.

Для неспециализированных нейронок - скорее всего так и есть. Но кто запрещает сделать специализированную, которая будет именно проверять работоспособность кода?

Как раз наоборот, ограничения rust ограничивают оптимизации.

Оно и так компилится в си подобный промежуточный IR код, и только потом в машинный с низкоуровневыми оптимизациями. Декомпилер IR -> C существует, ничего выдумывать не надо.

Я считал себя мееедленным, поскольку я практиковал подобное лет десять наверное, избегая C++ и некоторых других вещей. Но оказывается, я не самый мееедленный, есть люди до которых доходит более туго.

Успехов тебе в твоих геморроях!

А из чего их должны кормить, просто любопытно?

Или как в том анекдоте, мол, думал, что выдали ствол, ну и дальше сам крутись? )

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

Так уже есть такая наука как prompt engineering и штатные сотрудники в должности prompt engineer во многих компаниях (как правило аутсорсных "галерах").

Продвинуть никнейм в поиске, накидать ссылок в резюме, мол, смотрите какой я дофига спец. Многие айтишники пиарят свои никнеймы, которые одинаковы везде: на гите, на стеке и которые легко гуглятся.