The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



"DARPA развивает AI-транслятор для переписывания Си-кода на Rust"
Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Изначальное сообщение [ Отслеживать ]

"DARPA развивает AI-транслятор для переписывания Си-кода на Rust"  +/
Сообщение от opennews (?), 03-Авг-24, 23:08 
Управление перспективных исследовательских проектов Министерства обороны США (DARPA) представило проект TRACTOR (Translating All C to Rust), развивающего транслятор для автоматического преобразования проектов на языке Си в представление на языке Rust. Транслятор примечателен использованием методов машинного обучения для достижения уровня результирующего кода на Rust, близкого по стилю и качеству к коду, написанному опытным программистом, и использующего только безопасные методы для работы с памятью без включения блоков и функций, помеченных ключевым словом "unsafe". Предполагается, что развиваемый транслятор позволит решить проблему с безопасностью старого кода на языке Си и избавиться от потенциальных уязвимостей, вызванных небезопасной работой с памятью и неопределённым поведением...

Подробнее: https://www.opennet.me/opennews/art.shtml?num=61656

Ответить | Правка | Cообщить модератору

Оглавление

Сообщения [Сортировка по ответам | RSS]

1. Сообщение от Akteon (?), 03-Авг-24, 23:08   +22 +/
Слава Роботам !
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #3, #135, #159, #258

2. Сообщение от бух. (?), 03-Авг-24, 23:12   +27 +/
У меня двоякое мнение, первое - над шахматными компьютерами все тоже смеялись по началу, но прошли десятилетия и теперь они непобедимы. Второе - как люди не пытались, они так и не смогли создать кошерный VLIW компилятор.

Моя чуйка говорит, что здесь всё-таки второй случай. Этот трактор будет обсираться в своей трансляции в 1 случае из 100, но обсёр этот будет не просто эпичным, а астраномически эпичным и неуловимым, и чтобы его найти надо будет привлекать топовых программистов.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #4, #6, #7, #12, #114, #123, #259

3. Сообщение от ryoken (ok), 03-Авг-24, 23:17   +31 +/
Написано же - Тракторам :).
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1 Ответы: #373

4. Сообщение от Витюшка (?), 03-Авг-24, 23:20   +4 +/
Топовые программисты в этом не помогут
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #44, #128

5. Сообщение от Минона (ok), 03-Авг-24, 23:22   +11 +/
Очень интересно как оно будет переносить сишную адресную арифметику в раст без ансейв.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #13, #68, #119, #230, #244, #287

6. Сообщение от Аноним (6), 03-Авг-24, 23:26   +/
> над шахматными компьютерами все тоже смеялись по началу

Непобедимы они для человека без компьютера.

> Моя чуйка говорит, что здесь всё-таки второй случай. Этот трактор будет обсираться в своей трансляции в 1 случае из 100, но обсёр этот будет не просто эпичным, а астраномически эпичным и неуловимым, и чтобы его найти надо будет привлекать топовых программистов.

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #11, #54, #103, #158, #358

7. Сообщение от Аноним (7), 03-Авг-24, 23:33   +/
Скорей всего оно транслирует то, что легко транслировать, а остальное набьют людьми. По крайней мере это был бы наиболее рациональный подход.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #14

8. Сообщение от Аноним (8), 03-Авг-24, 23:36   +/
> Министерства обороны США (DARPA)

А с чего такая щедрость?

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #18, #38, #221, #229

9. Сообщение от Аноним (9), 03-Авг-24, 23:37   –2 +/
Безопасный код на Си написать невозможно, потому что стандарт языка напичкан UB в самых принципиальных местах -- там, где компиляторам свободы давать было нельзя.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #16, #49, #69, #233, #264, #274

10. Сообщение от Аноним (12), 03-Авг-24, 23:39   +5 +/
Давеча на работе столкнулся с жором памяти C++ по сравнению с C на микроконтроллере для производства одной современной железки. Rust и без того славится жирными бинарниками, меня терзают смутные сомнения на счёт качества представленного в новости поделив и его трансляций.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #20, #67, #98, #178

11. Сообщение от _ (??), 03-Авг-24, 23:40   +7 +/
>> над шахматными компьютерами все тоже смеялись по началу
> Непобедимы они для человека без компьютера.

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

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

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

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

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #6 Ответы: #42, #46, #129

12. Сообщение от Аноним (12), 03-Авг-24, 23:41   –1 +/
Топовые программисты побрезгуют связываться с rust во-первых, а во-вторых, разгребать портянки сгенеренные машиной.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #101, #164

13. Сообщение от мяя (?), 03-Авг-24, 23:44   +4 +/
Спрячет за 3 лефтпадами в глубину.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5

14. Сообщение от _ (??), 03-Авг-24, 23:45   +/
То что легко транслировать - и без AI делается, приснопямятные Py2->Py3, P2C и куча подобного уж лет 30 существует ...

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #7 Ответы: #40, #382

16. Сообщение от Rev (ok), 03-Авг-24, 23:51   –2 +/
Всё так, увы.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #9

18. Сообщение от Аноним (135), 03-Авг-24, 23:54   +1 +/
Много где участвуют:
https://www.hpcwire.com/?s=darpa
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #8

19. Сообщение от Аноним (20), 03-Авг-24, 23:54   +4 +/
Единственный кто может написать нормальный код на растк это искусственный интеллект. Я это давно уже всем говорю, а вы мне все не верили.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #23, #37, #95

20. Сообщение от Аноним (20), 03-Авг-24, 23:56   +1 +/
Никто в здравом уме в контроллер раст на засунет. Хотя таких людей конечно меньшинство.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #10 Ответы: #266, #289, #360

21. Сообщение от Аноним (23), 03-Авг-24, 23:57   +/
Хорошая шутка
Ответить | Правка | Наверх | Cообщить модератору

22. Сообщение от Аноним (22), 03-Авг-24, 23:59   +5 +/
Кто будет отвечать за качество нейронки? Где гарантии, что она не подставит зонд? Кто будет анализировать данные, на которых обучилась нейронка? Огромное поле для бекдоров. И слепая вера в безопасность раста притупляет размышления о таких вот вопросах.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #24, #39

23. Сообщение от Аноним (23), 04-Авг-24, 00:00   +/
Rust - язык для людей и ИИтей!
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #19

24. Сообщение от Аноним (23), 04-Авг-24, 00:04   +1 +/
Copilot'у же верят
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #22 Ответы: #62

25. Сообщение от Аноним (25), 04-Авг-24, 00:07   +6 +/
Надо было писать на паскале. Там есть длина строки и динамического массива в явном виде. Проблема решена. Но как реализовали когда-то в DOS посимвольный вывод в консоль в цикле "пока не ноль", так и сидят на этой псевдооптимизации уже лет 40.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #27, #102, #121, #162, #267

26. Сообщение от Аноним (26), 04-Авг-24, 00:12   +2 +/
Так бы и написали что создан проект по переделке Си кода в новояз без матеров, слейвов вместо организации проверки Си кода и обучения специалистов так как сэшэкцы не друзья своим программистам и вообще повесточка запрещает видеть неправильные слова и знать об их существовании.
Ответить | Правка | Наверх | Cообщить модератору

27. Сообщение от Аноним (23), 04-Авг-24, 00:19   +/
Microsoft же пыталась быть прогрессивной, начала писать Windows на паскале (в 1985-м).но не получилось у неё
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #25 Ответы: #34

28. Сообщение от Аноним (28), 04-Авг-24, 00:22   +2 +/
Как корабль назовёшь....
Ответить | Правка | Наверх | Cообщить модератору

32. Сообщение от Аноним (32), 04-Авг-24, 00:56   +4 +/
У меня тоже была эйфория, когда скармливал условные хеллоувроты на пару десятков строк. На что-то бóльшее она непригодна — галлюцинирует. Причин много, начиная от мизерного контекста, заканчивая сомнительным качеством источников обучения.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #297

33. Сообщение от Аноним (34), 04-Авг-24, 01:05   +8 +/
Лучше бы наоборот с Rust на C. От от обновления многих пакетов приходится отказываться если хотябы одна зависимость переписывается на Rust.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #45, #47, #93, #268

34. Сообщение от Аноним (34), 04-Авг-24, 01:08   +/
Вроде бы как Windows 3 частично был написан на паскале.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #27 Ответы: #74, #75, #377

35. Сообщение от qwe (??), 04-Авг-24, 01:15   +1 +/
Помнится в Debian уже исправляли "уязвимость" когда в коде использовался неинициированный буфер. В результате компы стали герерировать некриптостойкие ключи. И это было не автоматическое, а осмысленное исправление. Уверен: транслятор не будет читать комментарии к коду. Чую нас ждут интересные времена.
Ответить | Правка | Наверх | Cообщить модератору

37. Сообщение от нах. (?), 04-Авг-24, 01:32   +2 +/
это - если сможет. В чем имеются большие сомнения.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #19

38. Сообщение от нах. (?), 04-Авг-24, 01:35   +5 +/
>> Министерства обороны США (DARPA)
> А с чего такая щедрость?

они тебе еще и интернет подарили.
Точно нам на погибель!

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #8 Ответы: #76

39. Сообщение от нах. (?), 04-Авг-24, 01:38   +1 +/
> Кто будет отвечать за качество нейронки? Где гарантии, что она не подставит
> зонд?

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #22 Ответы: #50, #179, #311

40. Сообщение от нах. (?), 04-Авг-24, 01:39   +1 +/
> У вообще меня впечатление что чатгопота выложена публике потому как кому надо
> - это уже пройденный этап ;-)

бредогенераторы тоже были уже 30 лет назад, без всякого Ai.

Так что да - пройденый.


Ответить | Правка | Наверх | Cообщить модератору
Родитель: #14

42. Сообщение от нах. (?), 04-Авг-24, 01:48   +/
>>> над шахматными компьютерами все тоже смеялись по началу
>> Непобедимы они для человека без компьютера.
> доо бро! Ты описал морской бой линкор vs линкор + ты на
> надувном утёнке :)

э... нет. Deep Blue скармливали инфу с ложечки цельной бригадой кожаных мешков. Они, конечно, врали что не подкручивают на ходу в сторону правильного направления. Так что надувных утенков будет с обеих сторон. И если с одной окажешься ты, а с другой - запрещенный в РФ экстремистский иноагент, чье имя нельзя-называть - чей линкор первым потонет, догадаться нетрудно.

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

протестировал. Ниработаит. И чо делать будиииим?

Учти, говорить об этом нейросети, судя по поведению чатгопоты - соврешенно бестолку. Она когда ее ловят на бредятине - просто отвечает новой бредятиной. Потому что ее критерии "обучения" - ни разу не выдавать точную информацию.

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

когда ж они будут-то... у меня столько идей...

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #11 Ответы: #58

44. Сообщение от нах. (?), 04-Авг-24, 01:49   +4 +/
> Топовые программисты в этом не помогут

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #4 Ответы: #163

45. Сообщение от Аноним (45), 04-Авг-24, 02:05   +/
Так а почему нет? Если можно запилить транслятор в одну сторону - значит так же можно и в обратку. Заодно и с декодированием всех этих "безопасных" операций в нормальный код.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #33 Ответы: #57, #180

46. Сообщение от ДругойАнон (?), 04-Авг-24, 02:26   +/
>доо бро! Ты описал морской бой линкор vs линкор + ты на надувном утёнке :)

Хорошая шутка! Спасибо за поднятое настроение!

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #11

47. Сообщение от Аноним (-), 04-Авг-24, 02:42   +/
> Лучше бы наоборот с Rust на C. От от обновления многих пакетов приходится отказываться если хотябы одна зависимость переписывается на Rust.

Это ты можешь сделать самостоятельно и без всякого AI. Трансляция из раста в C пойдёт с потерей информации, и всё что плохого может случиться, оптимизатор без этой информации будет генерить менее оптимизированный код. Сложности могут с выводом типов возникнуть, но lsp-сервера могут типы выводить, так что если сам не справишься, можешь у них спросить.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #33 Ответы: #64, #97, #116

48. Сообщение от . (?), 04-Авг-24, 03:22   +/
Dr. Dan Wallach joined DARPA in June 2023 to develop, execute, and transition programs in computer security, cryptography, and related applications.
https://pbs.twimg.com/profile_images/1602335317234778120/mlG...
“You can go to any of the LLM websites, start chatting with one of the AI chatbots, and all you need to say is ‘here's some C code, please translate it to safe idiomatic Rust code,’ cut, paste, and something comes out, and it's often very good, but not always,” said Dr. Dan Wallach, DARPA program manager for TRACTOR. “The research challenge is to dramatically improve the automated translation from C to Rust, particularly for program constructs with the most relevance."

Смузихлёбы, танцоры, меньшинства уже и в американском агенстве DARPA. Товарищ хоть понимает огромную пропасть между C и Rust в плане дальнейшего сопровождения кода? На хабре по данному вопросу уже была серия статей с детальным разбором полётов. Гораздо проще было бы создать альтернативную стандартную библиотеку C++ для самых распространенных бизнес задач и использовать упрощённый стиль кодинга со смарт поинтерами, который не эксплуатирует возможные случаи UB. Но маразм в IT похоже крепчает. Искусственный интеллект вам, гуманитарным танцорам, уже не поможет. Думать надо своей головой, а не протезом.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #65, #72, #201, #313

49. Сообщение от Аноним (49), 04-Авг-24, 03:48   +2 +/
Дык -fno-strict-overflow (-fwrapv + -fwrapv-pointer), -fno-strict-alias.

Чтиво об их полезности: "How ISO C became unusable for operating systems development" https://arxiv.org/pdf/2201.07845

integer promotion из беззнакового в знаковое веселья добавляет.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #9 Ответы: #136

50. Сообщение от Ворчливый 30 летний дед (?), 04-Авг-24, 05:06   +1 +/
> Оно тебе нагенерит кода который вообще работать не будет

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

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #39 Ответы: #85

51. Сообщение от Ворчливый 30 летний дед (?), 04-Авг-24, 05:09   +1 +/
Пока что ни одна модель не годится для чего-то более серьезного, чем клепание формочек для веба. Ажиотаж падает вместе со стоимостью акций компаний, которые сделали ставку на ИИ.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #56, #108

53. Сообщение от Ворчливый 30 летний дед (?), 04-Авг-24, 05:24   +/
За последнее время ВНЕЗАПНО повызалили эксперты, ИЧСХ их познания в программировании ограничиваются умением жать ctrl+c и ctrl+v. Кстати занятно, что stack overflow нещадно кapaет таких любителей копипастить ответы из чaтгпт. Попытки протащить машинную бeлибepду под видом собственного ответа там заканчивается беспощадным бaнoм.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #73, #84

54. Сообщение от Аноним (54), 04-Авг-24, 05:41   +1 +/
> добавится[простите, убрал из цитаты мягкий знак, ибо в глазах рябило] еще одна ПРОТЕСТИРОВАТЬ

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #6 Ответы: #130

56. Сообщение от Аноним (54), 04-Авг-24, 05:49   +2 +/
> клепание формочек для веба

А с этим-то уже справляется? Друг интересуется.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #51 Ответы: #105, #141

57. Сообщение от noc101 (ok), 04-Авг-24, 05:59   +/
Сначала пишем транслятор С=>Rust
Потом пишем транслятор Rust=>С
Запускаем в цикле и наблюдаем за пердолингом)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #45 Ответы: #60

58. Сообщение от _ (??), 04-Авг-24, 06:22   +/
> э... нет. Deep Blue скармливали инфу с ложечки цельной бригадой кожаных мешков.

Дык эта ... даже неловко напоминать, но в обучение нейронки никакая нейронка до сих пор не может ... Так что пока ещё поживём ... учителями :)
> Они, конечно, врали что не подкручивают на ходу в сторону правильного направления.

Конечно врали. Так устроен этот мир - посмотриииии (С) :)

> Так что надувных утенков будет с обеих сторон.

На текущем этапе развития - да. Да и на ближайшие просматриваемые годы - тоже ...
Но ведь  настанет день и очередной кадавр окажется способен к самообучению ... 8-\

> И если с одной окажешься ты, а с другой - запрещенный в РФ экстремистский иноагент, чье имя нельзя-называть - чей линкор первым потонет, догадаться нетрудно.

Над этим работают(С) И когда то - решат ... Ну по крайней мере - хотелось бы верить...

>> Ну а так то да - рано или поздно, но код будут писать роботы.
> когда ж они будут-то... у меня столько идей...

Мы идём по пути строительства Коммунизма! Но в пути кормить - мы не обещали...(С) Приписывают ЛИБ-у :-)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #42 Ответы: #125

60. Сообщение от _ (??), 04-Авг-24, 06:48   +/
I like to move it, move it...(C) Reel 2 Real
Ну песняк такой был, зачётный! в 1995 :-D
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #57 Ответы: #63

62. Сообщение от Аноним (62), 04-Авг-24, 07:05   +/
В некоторых компаниях запрещен на корпаративной уровне.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #24 Ответы: #281

63. Сообщение от Аноним (62), 04-Авг-24, 07:08   –3 +/
Это вообще из Мадагаскара все знают.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #60 Ответы: #232

64. Сообщение от Аноним (62), 04-Авг-24, 07:10   +/
Выход кода на раст такой же машинный код как у всех. Добавить проверки что есть у раста в си код на каждый чих проблем нет.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #47 Ответы: #147

65. Сообщение от Аноним (62), 04-Авг-24, 07:13   +2 +/
Можно подумать дарпа какая то особенная организация и там какие-то другие программисты, точно такие же с гольфами и с ушками.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #48

66. Сообщение от Ю.Т. (?), 04-Авг-24, 07:16   +3 +/
Этот проект -- не изделие , а конкурс проектов, и 26 августа у них Proposer's Day. А описан в новости как изделие. Исправьте, авторы, сами.

И название оригинальной статьи надо было процитировать. "Устранить уязвимости работы с памятью раз и навсегда". Панацея, господа!

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

Итожа: по видимости, затеяны чистка и, так сказать, построение ("стройся, раз-два") корпуса прикладного СвоПО. Большие проекты не пройдут эту штуку, какой бы она не оказалась.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #127

67. Сообщение от Аноним (-), 04-Авг-24, 07:24    Скрыто ботом-модератором+1 +/
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #10

68. Сообщение от Аноним (68), 04-Авг-24, 07:46   +/
Обернёт в враппер))))
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5 Ответы: #71

69. Сообщение от Аноним (69), 04-Авг-24, 08:54   –1 +/
Нормальные люди UB не используют и никаких проблем.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #9 Ответы: #91

71. Сообщение от glad_valakas (-), 04-Авг-24, 09:10   +/
враппер будет unsafe ?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #68

72. Сообщение от нах. (?), 04-Авг-24, 09:10   +/
> Товарищ хоть понимает огромную пропасть между C и Rust в плане дальнейшего сопровождения кода?

так мы сишный и будем дальше сопровождать.

А это бебебезопастное - пусть вон робот каждый раз генерирует.

(понятно что оно каждый раз будет неработающим, но помечтать-то ж можно)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #48

73. Сообщение от нах. (?), 04-Авг-24, 09:11   +/
а как он это определяет? Спрашивает у чатгопоты?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #53 Ответы: #143

74. Сообщение от Аноним (25), 04-Авг-24, 09:18   +/
Сложно сказать, ибо тогда было популярным писать на голом асме, на чем и написаны все публичные сурцы, типа SDK. Но система вызовов API действительно паскалевская. Просто в какой-то момент пошла мода на Си. Там были типа "оптимизации", что на процах на десяток мегагерц было очень критично. Классно же было писать на ЯВУ вместо ассемблера. Как гора с плеч. Но эти "оптимизации" потом и стали причиной всех дыр. Это просто неправильный стиль программирования. На паскале вы чаще всего работаете с явными длинами буфферов и приучены к этому. На сишечке же любят алгоритмы в стиле "пока не ноль", которые уходят в оверран буффера, если данные в нем неправильные. Ну и еще одна мощная вещь. Строгая типизация. Если вы написали, что функция в качестве аргумента может получить энум - то если попытаетесь передать что то другое, то словите ошибку типов. Да, касты никто не отменял. Но вас хотя бы сначала предупредят. А в сишечке что? Энум это просто объявление числовых констант. Тип может быть любой целый. В итоге можно и ошибиться.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #34 Ответы: #194

75. Сообщение от Аноним (25), 04-Авг-24, 09:19   +1 +/
Аналогично с указателями. Просто в паскале более развиты хорошо типизированные указатели. Юзайте их и будет вам счастье.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #34

76. Сообщение от BrainFucker (ok), 04-Авг-24, 09:34   +1 +/
Так и есть, если бы не DARPA в своё время, комментаторы опеннета чем-то полезным занимались бы, а не комменты строчили.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #38 Ответы: #77, #94

77. Сообщение от нах. (?), 04-Авг-24, 09:40   +/
фидо-ноды пердолили бы, чего в этом полезного-то?

Впрочем, глядя на нынешний их уровень - да, уцелело б меньше десяти процентов. Остальные не справились бы с настройками.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #76

78. Сообщение от Аноним (78), 04-Авг-24, 09:49   +1 +/
А зачем транслятору AI? Хотят бабла побольше на железо для разработки выпросить?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #80

80. Сообщение от 12yoexpert (ok), 04-Авг-24, 09:56   +2 +/
Да. Сейчас эта аббревиатура - как блокчейн 7 лет назад
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #78 Ответы: #137

81. Сообщение от BrainFucker (ok), 04-Авг-24, 09:57   +/
Не понимаю чего так все с этим растом носятся, там же синтаксис упоротый. Сейчас бы наобоорот что-то такое чтобы меньше времени на кодинг тратить. Что-то типа питона, только без его недостатков. Nim может быть?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #83, #200

83. Сообщение от 12yoexpert (ok), 04-Авг-24, 09:58   +/
Nim прекрасный язык, но делать на нём большие проекты лично мне мешает отсутствие нормального отладчика. Дебажить можно только сгенерированный сишный код, в чём не особо много смысла.

Но я всё равно делаю...

Делать что-либо на подобие фронта для несвободного llvm Андреа, автор языка, чёт пока не хочет. С разумной вроде бы аргументацией, мол, мы генерим код на разных языках, а компиляторы уже компилируют, нафига нам заморачиваться. Но дебажить приходится через echo

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #81

84. Сообщение от BrainFucker (ok), 04-Авг-24, 10:00   +/
Кстати, а какая у них мотивация? Сам наблюдал в разное время на полумёртвых классических форумах как какой-то регистрант живёт только тем что репостит неинтересные новости из разных источников. Профита ему от этого никакого, нафига?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #53 Ответы: #112, #124, #140

85. Сообщение от нах. (?), 04-Авг-24, 10:00   +1 +/
>> Оно тебе нагенерит кода который вообще работать не будет
> ИМХО, среднестатистического миддла для не системного программирования (а-ля веб) заменит.

ну не надо так о мидлах - у них хотя бы компилируется всегда, ониж проверяли прежде чем комитить. Тут больше похоже на индусского джуна - километр некомпилирующегося кода и круглые глаза на вопрос - "ты это комплиятору-то показывал? - А что, надо было?!"

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

да для никакого не годится. Еще и адский синтаксис в котором так удобно разбираться что просто лопни-мои-глазыньки.

Вот поди и отличи тут - где бредятина, а где наверное даже работает, если этап с компиляцией модель как-то проскочила.


Ответить | Правка | Наверх | Cообщить модератору
Родитель: #50

87. Сообщение от 12yoexpert (ok), 04-Авг-24, 10:04   +2 +/
Получается, программисты на раст теперь не нужны, переписывать на раст за них будет скриптик
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #90, #154, #215

89. Сообщение от Аноним (89), 04-Авг-24, 10:18   –1 +/
походу нужно уже какую то замену rust создать чтобы простой был а не как сейчас комбайн какой то уродливый
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #96, #111, #198, #217, #316

90. Сообщение от Аноним (90), 04-Авг-24, 10:25   +1 +/
Угу, а новый код тебе в сконвертированные проекты тоже ИИ дописывать будет?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #87

91. Сообщение от Аноним (49), 04-Авг-24, 10:31   +/
Просто не используешь UB? На каждую хитрую гайку найдётся свой болт.

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-...

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #69 Ответы: #107, #186

93. Сообщение от 12yoexpert (ok), 04-Авг-24, 10:35   +/
та же фигня, перешёл на генту с арча из-за раста в системд

за 18 лет использования линукса так и не решался попробовать, а тут сама судьба

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #33 Ответы: #149

94. Сообщение от Аноним (94), 04-Авг-24, 10:36   –5 +/
То то в советское время все полезным делом занимались. Даже Сталин не всех заставил, а кого заставил КПД было близким к нулю, ибо насильно. Таков человек по природе. Интерес должен быть и личный и общественный, а для этого за работой реальное, действующее будущее должно быть видно.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #76 Ответы: #150, #152

95. Сообщение от 12yoexpert (ok), 04-Авг-24, 10:37   +5 +/
А и точно, ты говорил, помню
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #19

96. Сообщение от Аноним (96), 04-Авг-24, 10:37   +/
Лиспы уже существуют.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #89 Ответы: #118

97. Сообщение от Аноним (-), 04-Авг-24, 10:39   +/
> оптимизатор без этой информации будет генерить менее оптимизированный код

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #47

98. Сообщение от Аноним (98), 04-Авг-24, 11:18   –2 +/
Rust просто по умолчанию компилирует с отладочной информацией.

На С++ тоже гигантские бинарники, если включить отладку.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #10 Ответы: #139, #294, #403

101. Сообщение от Аноним (7), 04-Авг-24, 11:32   +1 +/
Топовые программисты пишут на Раст)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #12

102. Сообщение от Аноним (102), 04-Авг-24, 11:42   –1 +/
на фри-паскале :)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #25

103. Сообщение от RM (ok), 04-Авг-24, 11:50   +/
> Если код УЖЕ существует, то к задаче ПЕРЕПИСАТЬ просто добавиться еще одна ПРОТЕСТИРОВАТЬ, что при наличии исходной кода будет сделать не очень сложно (доказать тождественность поведения)

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #6 Ответы: #132

105. Сообщение от Аноним (102), 04-Авг-24, 11:51   +/
частично :)

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #56

107. Сообщение от Аноним (-), 04-Авг-24, 11:57   +/
>Просто не используешь UB? На каждую хитрую гайку найдётся свой болт.

Некорректное высказывание.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #91

108. Сообщение от Аноним (108), 04-Авг-24, 12:24   +1 +/
Задача стояла не уменьшить количество программистов, а увеличить, чтобы не было безработных. Там где раньше обходились одним программистом, теперь будет какой-нить AI и 10 новых программистов для анализа чего натворил этот самый AI. Все при деле - вот оно счастливое будущее человечества.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #51 Ответы: #113, #142

109. Сообщение от ilowryemail (?), 04-Авг-24, 12:26   +/
Все правильно. Люди будут писать на нормальном языке, а машина будет конвертировать это все в очень безопасный, но совершенно безумный синтаксис.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #110, #319

110. Сообщение от Аноним (113), 04-Авг-24, 12:42   +/
В той же сишке можно на каждое выражение сделать столько же проверок что делает раст и получится тоже самое что раст. Если это сделает ИИ норм. Останется только боровом почекать и всё.  
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #109 Ответы: #237, #317

111. Сообщение от Аноним (113), 04-Авг-24, 12:42   +/
Она называется zig.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #89 Ответы: #175

112. Сообщение от Аноним (113), 04-Авг-24, 12:43   +/
Оживить форум?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #84 Ответы: #115

113. Сообщение от Аноним (113), 04-Авг-24, 12:43   +/
Только это не 10 программистов, а 10 людей с низкой квалификацией.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #108 Ответы: #117

114. Сообщение от A.Stahl (ok), 04-Авг-24, 12:45   +/
>над шахматными компьютерами все тоже смеялись по началу, но прошли десятилетия и теперь они непобедимы.

Вот только всё так же бесполезны. Но да, делают свою бесполезнгую работу эффективней человека.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #133

115. Сообщение от BrainFucker (ok), 04-Авг-24, 12:57   +/
Ну, за 15 лет можно было сделать вывод что это не работает.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #112

116. Сообщение от Аноним (116), 04-Авг-24, 13:15   +/
> Трансляция из раста в C пойдёт с потерей информации

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #47

117. Сообщение от Аноним (102), 04-Авг-24, 13:16   +3 +/
> с низкой квалификацией

искать ошибки, ревью и тестирование кода это с низкой квалификацией?

чой-то сомнительно...

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #113 Ответы: #122, #295

118. Сообщение от Вы забыли заполнить поле Name (?), 04-Авг-24, 13:22   +/
Эта darpa как бы раньше лиса использовала. Так что с выбором технологий у них явно проблемы.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #96

119. Сообщение от n00by (ok), 04-Авг-24, 13:24   +/
Есть такая штука - "табличный эмулятор". Это когда на вход подают все возможные данные, а на выходе получают ответы и записывают. С появлением 64-х разрядных процессоров 4 гигабайта перестали быть проблемой.)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5 Ответы: #202

120. Сообщение от Аноним (120), 04-Авг-24, 13:25   +/
Главное, чтобы обеспечивались лицензионные требования исходного кода.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #257

121. Сообщение от n00by (ok), 04-Авг-24, 13:33   +/
В Windows NT есть длина строки в явном виде. Откуда 40 лет?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #25

122. Сообщение от n00by (ok), 04-Авг-24, 13:42   +/
Смотря в каком коде искать ошибки.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #117

123. Сообщение от Аноним (123), 04-Авг-24, 13:44   +/
> но прошли десятилетия и теперь они непобедимы.

Жигули быстрее любого бегуна (если заведутся). Перестаем бегать и пересаживаемся на Жигули?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #134, #318

124. Сообщение от n00by (ok), 04-Авг-24, 13:45   –2 +/
Кретинизация населения нужна, что бы проще проворачивать мутные схемки. Про форумы не знаю.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #84

125. Сообщение от Прохожий (??), 04-Авг-24, 13:47   +/
>в обучение нейронки никакая нейронка до сих пор не может

Альфа Го - это самообучающаяся нейронная сеть была. Разве нет?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #58 Ответы: #183

126. Сообщение от Аноним (123), 04-Авг-24, 13:47   +/
Такие перводчики (трансляторы) известны. Например, см. приложение к книге Брандта (там с Фортрана на С). Но на самом переводы настолько удручающие, что проще переписать ПО заново.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #320

127. Сообщение от n00by (ok), 04-Авг-24, 13:48   –2 +/
> И название оригинальной статьи надо было процитировать. "Устранить уязвимости работы с
> памятью раз и навсегда". Панацея, господа!

Слабоватое название. Надо было "эпикфейл Фредерика Брукса". Или тогда бы пришлось дополнительно пояснять, кто это?


Ответить | Правка | Наверх | Cообщить модератору
Родитель: #66

128. Сообщение от Аноним (128), 04-Авг-24, 13:49   +6 +/
>Топовые программисты в этом не помогут

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #4

129. Сообщение от Прохожий (??), 04-Авг-24, 13:51   +1 +/
>Ну хойчем же так тупить то?!

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

Ну и не тупи. Речь идет о том, чтобы доказать, что новая программа ведёт себя так же, как старая. Речь не идёт о том, чтобы доказать, что в новой программе совсем нет ошибок.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #11 Ответы: #402

130. Сообщение от Прохожий (??), 04-Авг-24, 13:53   +1 +/
Протестировать сишный код на предмет отсутствия ошибок, ИМХО, гораздо более сложная задача, чем протестировать схожесть программы на Rust с программой на C.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #54

132. Сообщение от Прохожий (??), 04-Авг-24, 13:59   +/
А что там сложного? Подаёшь на вход что-то, смотришь на выход. Если выход совпадает - тождественность поведения программ доказана. Другое дело, что иногда поведение совпадать не будет, потому что программа на Rust может закрыть какие-то баги программы на Си.

А так, не следует путать формальную верификацию с доказательством тождественности поведения программ.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #103 Ответы: #168

133. Сообщение от Прохожий (??), 04-Авг-24, 14:03   +/
Почему сразу бесполезны? Шахматы - это часть индустрии развлечений. Захотел интеллектуально развлечься - берёшь такой компьютер, и вот оно счастье. Причём ты заранее застрахован от игры с голубем.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #114 Ответы: #169

134. Сообщение от Прохожий (??), 04-Авг-24, 14:07   +2 +/
Зависит от конечной цели. Если у тебя задача доехать из пункта А в удаленный, например, на 50 км пункт Б, очевидно, что Жигули - более оптимальное средство передвижения, чем собственные ноги.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #123

135. Сообщение от Аноним (135), 04-Авг-24, 14:14   +3 +/
https://en.wikipedia.org/wiki/DARPA
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1

136. Сообщение от Аноним (136), 04-Авг-24, 14:19   +/
Интересное чтиво. А есть ещё?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #49 Ответы: #260

137. Сообщение от Аноним (136), 04-Авг-24, 14:26   +1 +/
Надо бы предложить хранить раст-исходники в блокчейне. Озолотиться можно.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #80 Ответы: #196

138. Сообщение от Аноним (138), 04-Авг-24, 14:32   +/
Изнините, но LLMы и так отлично справляются.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #190

139. Сообщение от Аноним (123), 04-Авг-24, 14:46   +/
> На С++ тоже гигантские бинарники, если включить отладку.

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #98 Ответы: #161

140. Сообщение от Аноним (141), 04-Авг-24, 15:17   +/
> Кстати, а какая у них мотивация?

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #84 Ответы: #145, #148, #171

141. Сообщение от Аноним (141), 04-Авг-24, 15:19   +/
Справляется лучше чем большинство джунов.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #56 Ответы: #284

142. Сообщение от Аноним (141), 04-Авг-24, 15:21   +/
> Задача стояла не уменьшить количество программистов, а увеличить, чтобы не было безработных.

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #108 Ответы: #146, #156

143. Сообщение от Аноним (141), 04-Авг-24, 15:27   +1 +/
Просто пpидуpки копипастят ответы целиком. Текст сгенерированный нейронкой узнаваем. Ценность стека теряется если туда пихать разный муcoр.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #73 Ответы: #144

144. Сообщение от нах. (?), 04-Авг-24, 15:35   –2 +/
особенно смешно что нейронка на нем и обучалась. А их авторы изо всех сил старались не допустить чтоб она пересказывала свой же бред.

Но мне кажется, придурок которому хочется звездочек или чего там на стеке дают, со второго бана научится вручную здрасьте, вот ответ на ваш вопрос ctrl-v, с глубоким уважением, обращайтесь есличто.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #143

145. Сообщение от нах. (?), 04-Авг-24, 15:37   –1 +/
>> Кстати, а какая у них мотивация?
> Продвинуть никнейм в поиске, накидать ссылок в резюме, мол, смотрите какой я
> дофига спец. Многие айтишники пиарят свои никнеймы, которые одинаковы везде: на
> гите, на стеке и которые легко гуглятся.

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


Ответить | Правка | Наверх | Cообщить модератору
Родитель: #140

146. Сообщение от нах. (?), 04-Авг-24, 15:38   +/
>> Задача стояла не уменьшить количество программистов, а увеличить, чтобы не было безработных.
> Так уже есть такая наука как prompt engineering и штатные сотрудники в
> должности prompt engineer во многих компаниях (как правило аутсорсных "галерах").

чего это только галерах. Полно модных стартапов "в около финтех" с подобными вакансиями.

(ну не программистов же на самом деле нанимать?)


Ответить | Правка | Наверх | Cообщить модератору
Родитель: #142

147. Сообщение от Аноним (-), 04-Авг-24, 15:47   +/
> Добавить проверки что есть у раста в си код на каждый чих проблем нет.

Как раз с этим проблемы, потому что эти проверки по большей части компайл-тайм, и как ты будешь объяснять C, эти проверки? Что-то можно добавить в код, в надежде что C проверит их в компайл-тайме и выкинете, но не всё так можно добавить, и не факт что удастся оптимизатору создать условия, чтобы он выкинул их.

Проще не добавлять этих проверок. Их можно прогнать компилятором rust'а, после этого считать их выполненными и скомпилировать в C, выкинув их.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #64 Ответы: #236, #359

148. Сообщение от BrainFucker (ok), 04-Авг-24, 15:47   +/
> смотрите какой я дофига спец.

Не, площадка не обязательно про IT, а на классических форумах традиционно нонеймы с ни о чём не говорящими никнеймами как тут.

Ну я не знаю, может таким персонажам кажется что они делают полезное дело для интернет, распространяют контент. Репостили что угодно, новости с ленты.ру (не обязательно политоту), выкачивали музло с торрентов и заливали на бомжеобменники, где ссылки умирают через месяц и т.д.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #140 Ответы: #170, #174

149. Сообщение от Аноним (-), 04-Авг-24, 15:50   +/
> за 18 лет использования линукса так и не решался попробовать, а тут сама судьба

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

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #93 Ответы: #172

150. Сообщение от нах. (?), 04-Авг-24, 15:59   –5 +/
> То то в советское время все полезным делом занимались. Даже Сталин не
> всех заставил, а кого заставил КПД было близким к нулю, ибо насильно.

Просто плохо старался. (Его задачей было не заставить а больше угробить)

Я тут в свое время рассказывал, повторять детали лень, сам ищи первоисточники.
Вкратце: 1. почему на фотоальбоме для БАМовцев выпущенном в год официального открытия (уже при РФ!) - сплошь люди в форме (нет, первое твое предположение ошибочно)
2. почему вся мощь пропагандистской машины, принудительных распределений, комсомольских и не очень поездов в прекрасное далеко увозивших пачками - на пике могущества издыхающего но тогда еще не издохшего совка позволила только лишь с неимоверным трудом положить рельсы туда где они УЖЕ ЛЕЖАЛИ в 30м году
3. что случилось с теми кто клали их в первый раз и почему
4. а вот после осознания всего этого - а как же был построен - транссиб? В ТЕХ ЖЕ САМЫХ е-нях, но при проклятой царской власти, когда ни бульдозеров, ни путеукладчиков, топор да лопата. Без ритуальных песен и плясок по радио и телевизору, без все как один умрем в борьбе за не-й, ни один крестьянин в полтавской губернии наверное и знать не знал о виликай стройке ?

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

БАМ опровергает это твое утверждение. Феерически бесполезная хрень неимоверных масштабов посреди непригодного для жизни п-ца.

Хорошо еще реки не успели повернуть. А то ж могли.

Впрочем, египетские пирамиды построены четыре тысячи лет назад. Вот ты думаешь тем рабам оно было надо?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #94 Ответы: #155

151. Сообщение от Polo (?), 04-Авг-24, 16:02   –1 +/
Зачем это Министерству Оборону? Свой удаленный терминал (винду) решили на раст переписать?
Ответить | Правка | Наверх | Cообщить модератору

152. Сообщение от YetAnotherOnanym (ok), 04-Авг-24, 16:04   +/
> КПД было близким к нулю

Имеешь на руках сопоставления выработки лесорубов в лагере и артели на соседней делянке?
> ибо насильно

А не насильно оно шаболдалось по аллеям парка, глазело по сторонам и подбирало рифмы - ноль спиленных ёлочек в день. А с насилием хоть какой-то КПД.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #94

154. Сообщение от Tron is Whistling (?), 04-Авг-24, 16:10   –1 +/
А зачем в сконвертированные, дописывать будут в исходный проект :D

Хеллоуворлд-обезьянки по миру от этой новости стопудово напряглись - их внезапно могут заменить.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #87

155. Сообщение от Аноним (-), 04-Авг-24, 16:11   –2 +/
> Впрочем, египетские пирамиды построены четыре тысячи лет назад. Вот ты думаешь тем рабам оно было надо?

Ну про рабов это миф.
Естественно они там были, но большая часть были профессиональные рабочие, которые получали неплохое довольствие.
Ну если провести аналогию - то если завтра рыжий кандидат в президенты решит построить Великую Стену за гос.деньги, и будут платить "выше среднего по рынку", то целая куча народу пойдет туда просто заработать.

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #150 Ответы: #157, #213, #226

156. Сообщение от Tron is Whistling (?), 04-Авг-24, 16:12   +/
Осталось ввести должность motd-инженера и всё, мир перевернётся.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #142

157. Сообщение от нах. (?), 04-Авг-24, 16:25   +/
> Ну про рабов это миф.

думаешь, комсомольцы? ;-)

Ну в общем, когда найдешь ответы на первые три вопроса - ткни тут в реплай про четвертый. Первые в общем -то гуглятся, а про четвертый я нашел ответ случайно и совсем не там где можно было подумать.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #155

158. Сообщение от Аноним (-), 04-Авг-24, 16:28   +1 +/
> ПРОТЕСТИРОВАТЬ, что при наличии исходной кода будет сделать не очень сложно (доказать тождественность поведения)

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

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #6 Ответы: #388

159. Сообщение от Аноним (159), 04-Авг-24, 16:31   +2 +/
> Слава Роботам !

Ага блин. Джинн, перепиши мне весь Linux Kernel на хруст... интересно же - грузиться вообще будет? :)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1 Ответы: #173, #273

161. Сообщение от Фняк (?), 04-Авг-24, 16:46   +1 +/
Собран с динамическими и статическими библиотеками соответственно
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #139

162. Сообщение от Фняк (?), 04-Авг-24, 16:50   +1 +/
А дос то причем?

Это тот самый Паскаль где длина строки не может превышать 255 байт?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #25 Ответы: #182

163. Сообщение от Аноним (-), 04-Авг-24, 16:51   +1 +/
>> Топовые программисты в этом не помогут
> да и вряд ли захотят мараться.

А бестолковых - заменят на AI генераторы кода. Ну а чем гуано из под AI хуже чем гуано из под необучаемого чуркоджуна? AI к тому же перепишет 3 раза и не пикнет, если не устроило. А тот будет прибавку требовать, и вообще, синьора помидора из себя строить.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #44 Ответы: #167, #408

164. Сообщение от Аноним (164), 04-Авг-24, 16:53   +/
говорят, зарплата сильно притупляет брезгливость
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #12

166. Сообщение от Не Кокс (?), 04-Авг-24, 17:06   +/
Ждем

TRAPTOR  - Python 2 Rust
TRAPHTOR - PHP 2 Rust
TRAGTOR  - Go 2 Rust
TRAJTOR  - Java 2 Rust
TRAJSTOR - JavaScript 2 Rust

И как последня вишенка на торте

TRABTOR - Brain to Rust

Или попросту - превратить все в ржавчину и мировые проблемы решенны,
Да здравствует  ИИ ! Копирующий человеческие глупости и преумножающий их...

Кто только будет потом сопровождать эту срань... молчит наука

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #188, #224, #301

167. Сообщение от нах. (?), 04-Авг-24, 17:16   –1 +/
> А бестолковых - заменят на AI генераторы кода. Ну а чем гуано из под AI хуже чем гуано из под
> необучаемого чуркоджуна?

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #163 Ответы: #193

168. Сообщение от нах. (?), 04-Авг-24, 17:19   +/
> А что там сложного?

квалификация-с...

> Подаёшь на вход что-то, смотришь на выход. Если выход совпадает - тождественность поведения

_на_этих_конкретных_данных_

> программ доказана. Другое дело, что иногда

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

поэтому regression tests нихрена и не заменяют ручное тестирование.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #132 Ответы: #228

169. Сообщение от нах. (?), 04-Авг-24, 17:21   +/
> Почему сразу бесполезны? Шахматы - это часть индустрии развлечений. Захотел интеллектуально
> развлечься - берёшь такой компьютер, и вот оно счастье. Причём ты
> заранее застрахован от игры с голубем.

с голубем было поинтересней...

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #133 Ответы: #309

170. Сообщение от Ворчливый 30 летний дед (?), 04-Авг-24, 17:24   +1 +/
Я не знаю про какие "форумы" вы пишете. В интернете в сущности две площадки: reddit и stack overflow. Они имеют вес и неплохо индексируются поисковиками. Про русскоязычное ничего не скажу.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #148 Ответы: #177

171. Сообщение от Ворчливый 30 летний дед (?), 04-Авг-24, 17:26   +1 +/
> Продвинуть никнейм в поиске, накидать ссылок в резюме, мол, смотрите какой я дофига спец.

Так оно и есть. На linkedin считается нормой оставлять ссылки на stack owerflow.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #140

172. Сообщение от 12yoexpert (ok), 04-Авг-24, 17:27   +/
Именно. Меня даже systemd не смог заставить пойти собирать генту, но раст смог
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #149 Ответы: #312

173. Сообщение от 12yoexpert (ok), 04-Авг-24, 17:29   +15 +/
грузиться небезопасно, тебе это не нужно
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #159 Ответы: #214

174. Сообщение от нах. (?), 04-Авг-24, 17:29   –1 +/
> (не обязательно политоту), выкачивали музло с торрентов и заливали на бомжеобменники,

не, ну с этим вот понятно - торрентcpy без впн считай уже нету, да и по головке могут не погладить, а музон на работу хочется - скачал дома, залил на слилру, пришел на работу, скопировал в хомяк.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #148 Ответы: #176

175. Сообщение от Ворчливый 30 летний дед (?), 04-Авг-24, 17:29   +1 +/
Не взлетел.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #111 Ответы: #247

176. Сообщение от BrainFucker (ok), 04-Авг-24, 17:36   +/
Это не про текущее время, явлению как миниму 15 лет.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #174 Ответы: #187

177. Сообщение от BrainFucker (ok), 04-Авг-24, 17:38   +/
Это не про текущее время, явлению как миниму 15 лет ну и да, речь о российском интернет, на зарубежных площадках не наблюдал такого, впрочем мог просто не заметить в силу того что проводил там меньше времени.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #170

178. Сообщение от S22 (?), 04-Авг-24, 17:45   +/
У раста в релиз сборке без развертки стека (panic = abort) код выходит меньше С (в тестах где то было)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #10

179. Сообщение от S22 (?), 04-Авг-24, 17:49   +/
Если есть в имени lvm instruct, то есть надежда что не только проверяли на похожесть, но и на компилируемость.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #39

180. Сообщение от S22 (?), 04-Авг-24, 17:51   +/
Вероятно это будет из коробки
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #45

182. Сообщение от Аноним (182), 04-Авг-24, 18:01   +2 +/
это в Turbo Pascal 'е такое было поначалу. А в языке Pascal никаких ограничений
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #162

183. Сообщение от Аноним (183), 04-Авг-24, 18:02   +/
кажись нет, крутили параметры руками
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #125 Ответы: #386

185. Сообщение от Аноним (185), 04-Авг-24, 18:11   +/
Вот это уже ближе к истине - Rust язык не для человеческого ума, а для нейросетей.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #189, #321

186. Сообщение от YetAnotherOnanym (ok), 04-Авг-24, 18:15   +/
> C[1]: "to make the existing compiler behaviour sound it is necessary for this program to be deemed to have undefined behaviour"
> [1] https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2676.pdf

В следующий раз попробуй прочитать больше одной строки в документах, на которые выкладываешь ссылки. Твоя цитата относиться к примеру кода, который сами авторы называют "пограничным случаем", и который придуман специально для исследования, а не для продакшона:
"For example, consider the classic test [Fea04, KW12, Kre15, CMM+16, MML+16] below. Note that this and
many of the examples below are edge-cases, exploring the boundaries of what different semantic choices allow, and
sometimes what behaviour existing compilers exhibit; they are not all intended as desirable code idioms."
Вобщем, типичный "борцун с дыряшечкой" - слышал звон, да не понял, о чём он.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #91 Ответы: #206

187. Сообщение от нах. (?), 04-Авг-24, 18:18   +/
> Это не про текущее время, явлению как миниму 15 лет.

так за торренты на работе и пятнадцать лет назад п-дили веником

а за просто музычку слушать - не везде

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #176 Ответы: #199

188. Сообщение от Аноним (182), 04-Авг-24, 18:31   +/
хотят повторить историю "успеха" с Ada'ой, от которой сами же потом отказались в конце 90-х. хорошо хоть iso подобрала язык, как-то ещё живёт
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #166 Ответы: #191

189. Сообщение от Аноним (182), 04-Авг-24, 18:34   +/
нейро-(де)генеративные сети не думают, они галлюционируют
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #185 Ответы: #197, #239

190. Сообщение от Аноним (252), 04-Авг-24, 19:09   +2 +/
>  LLMы и так отлично справляются

Со сниппетами на десяток строк? Да. Но год назад пророчили, что за эти месяцы напишут нечто ТАКОЕ и люди напишут СТОЛЬКО кода, что за десятки лет не написали бы. И что? Наигрались и вернулись к старой доброй пасте из гугла.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #138

191. Сообщение от Аноним (252), 04-Авг-24, 19:20   +2 +/
Ada по задумке не предназначалась для массового замещения Си. Живёт и здравствует там, где надо.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #188

193. Сообщение от Аноним (-), 04-Авг-24, 19:49   +1 +/
> необучаемого увольняют и нанимают - обучаемого.

Да что-то не заметно. Даже у гугли вон - ЯП типа го в почете. А хруст им уже видите ли слишком сложный для тех прогеров. И вообще, "мне сложно быть эффективным более 2 часов в день" (c) какой-то питонист тут. Заменить ЭТО на AI - epic win по всем направлениям. Геренит такой же мусор, настолько же понимает проблематику и контекст, да еще и перепсать не обламывается.

> А с AI ничего не поделаешь (модели, как все мы помним, не дообучаются и не используют твой
> мат-перемат в прошлых сессиях по поводу их ответов для коррекции будущих)

А таки если попросить иной вариант - таки выдаст.


Ответить | Правка | Наверх | Cообщить модератору
Родитель: #167 Ответы: #207, #306

194. Сообщение от Dzen Python (ok), 04-Авг-24, 19:57   +1 +/
При всем многословии Вирт - ГЛЫБА
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #74

196. Сообщение от Dzen Python (ok), 04-Авг-24, 20:03   +/
Ты забылЖ, что для идеального результата нужно обязательно задйствовать все баззворды лет на 20 в глубину:

"Самообучающаяся AI-нейросеть будет хранить управляемый растовый код в блокчейне, как у биткоина, причем в базе данных на вебассембли целиком на стеке веб 2.0 в мультимедийном формате, написанном на java"

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #137 Ответы: #204

197. Сообщение от Аноним (201), 04-Авг-24, 20:27   +1 +/
...и самое гнусное, что их глюки очень похожи на взаправдышный код!
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #189 Ответы: #208, #211

198. Сообщение от Аноним (201), 04-Авг-24, 20:29   +/
Месье первый раз слышит про C# или D ?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #89

199. Сообщение от BrainFucker (ok), 04-Авг-24, 20:30   +1 +/
А причём тут работа? 🤦
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #187 Ответы: #203

200. Сообщение от Аноним (201), 04-Авг-24, 20:36   +1 +/
C# - лучшее, что может позволить себе сейчас индустрия. Это если смотреть прямо в сегодня. А в завтра... не только лишь все могут смотреть, но кто может, тот выбирает D.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #81 Ответы: #241, #252, #414

201. Сообщение от Аноним (201), 04-Авг-24, 20:38   +/
Боюсь, что пока военных дармоедов кормят из НАЛОГОВ, эти mра3и так и будут сосать из бюджета деньги на ЛЮБУЮ хрень, хоть вот с->раст! Главное же - финансирование. Чем больше безумных программ, тем толще бюджет.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #48 Ответы: #227

202. Сообщение от Vkni (ok), 04-Авг-24, 20:47   +1 +/
Проблема в том, что обычно Сшная программа написана в каком-то контексте, то есть, работает при относительно ограниченном наборе исходных данных.

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

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #119 Ответы: #231, #354

203. Сообщение от нах. (?), 04-Авг-24, 20:54   +/
> А причём тут работа? 🤦

чуваку хочется там музычку. Чувак скачивает с торрента дома, где против только кот.
И вылаживает на сцайт с одноразовыми ссылками всем на радость, но главное - себе. С работы лазить по сцайтам не запрещено.

всегда ж так делаем.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #199

204. Сообщение от нах. (?), 04-Авг-24, 20:55   +/
безопастный забыл!

> "Самообучающаяся AI-нейросеть будет хранить управляемый растовый код в блокчейне, как
> у биткоина, причем в базе данных на вебассембли целиком на стеке
> веб 2.0 в мультимедийном формате, написанном на java"

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #196 Ответы: #210

206. Сообщение от Аноним (49), 04-Авг-24, 21:02   +/
Надо добавить в стандарт. "Пограничнослучайное поведение - поведение, расцениваемое некоторыми как неопределенное. В случаях пограничнослучайного поведения рекомендуется ориентироваться не на текст стандарта, а на поведение вашего компилятора".
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #186

207. Сообщение от нах. (?), 04-Авг-24, 21:02   +1 +/
так другой вариант бреда и выдаст. Причем даже если повезет и с пятнадцатой попытки получилось нечто почти работающее - в следующий раз начнем с начала.

ну и насколько часов в день тебе "несложно" окажется быть эффективным проверяльщиком бредятины нагенеренной ИИ - посмотрим-посмотрим.

Наверное, если иметь свою личную модель, которую кормить на ходу ее собственным но уже подправленным выхлопом - успех будет поближе, но кто ж тебе такую дасть и где ты эту прожорливую тварь будешь держать...

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #193 Ответы: #216

208. Сообщение от нах. (?), 04-Авг-24, 21:12   +/
> ...и самое гнусное, что их глюки очень похожи на взаправдышный код!

так их ИМЕННО ЭТОМУ, блжд, и обучают! У них критерий подбора ответа именно "чтоб был похож на взаправщашний". А не чтоб решал задачу, она т-пая, она не умеет программировать.

Предполагалось что достаточно похожий на настоящий код и будет настоящим. Ну да, щяссс...

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #197

209. Сообщение от Ivan_83 (ok), 04-Авг-24, 21:23   +/
Не получится ничего годного, некоторые типа не безопасные конструкции транслировать наверное никак не выйдет чисто по идеологическим причинам.
Как вариант такое можно будет пробовать во что то под типа глобальной блокировки оборачивать но просядет производительность сильно.

Вот обратно из хруста в С - должно быть легко.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #218, #253

210. Сообщение от Dzen Python (ok), 04-Авг-24, 21:50   +3 +/
> безопастный забыл!

Безопастная самообучающаяся AI-нейросеть будет хранить управляемый формально верифицированный растовый код в зашифрованном постквантвым шифрованием образе на блокчейне. Внутри образа будет атомарно обновляемый nix-гипервизор и набор из контейнеров типа "матрёшка", внутри которой будет хранится сам код, лефтпад из карго информация для создания повторяемых скомпилированных программ. Образ дополнительно версионифицируется внутри написанной на векбассембли no-sql базе данных, которая может работать на голом стеке веб 2.0 и при этом при неверном пинкоде при расшифровке преобразовываться в невер гонна гив ми ап. Всё это исполняется на браузере на java, чей байткод через прослойку eBPF траспилируется в IL dotNET и наконец-то отправляется на облачный сервер. А для премиум-ползователей доступно и туманное исполнение!

Думаю, так луДшееее

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #204 Ответы: #304

211. Сообщение от Аноним (-), 04-Авг-24, 22:21   +/
> похожи на

Примерно так и работают генеративные текстовые модели. Ключевое выделил. Поэтому нынешняя технология лишь пробе пера перед чем-то более совершенным. Но когда это будет (и будет ли) — хз.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #197 Ответы: #219

213. Сообщение от ZloySergant (ok), 04-Авг-24, 22:40   +/
>Ну про рабов это миф.
>Естественно они там были, но большая часть были профессиональные рабочие, которые получали неплохое довольствие.

Оба-двое налажали. Рабов, как и "профессиональных" рабочих там не было, были общественные работы за жрат, если вкратце. Под руководством представителей храмов.
А ещё работникам выдавали пыво! :)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #155

214. Сообщение от Аноним (-), 04-Авг-24, 22:52   +1 +/
> грузиться небезопасно, тебе это не нужно

Зато смотри как здорово, можно хруст и не изучать - кому надо сам сконвертирует. Удобно же! И все довольны! :)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #173

215. Сообщение от Аноним (215), 04-Авг-24, 22:52   +/
Эксперта оупеннета посещают большие сомнения, что что-то вообще взлетит. Живые люди даже не особо на расти кодят, а тут ИА. Представляю какого бреда он там нагородит
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #87 Ответы: #235, #249

216. Сообщение от Аноним (-), 04-Авг-24, 23:08   +/
> так другой вариант бреда и выдаст. Причем даже если повезет и с
> пятнадцатой попытки получилось нечто почти работающее - в следующий раз начнем
> с начала.

А ты логотип игогошки видел? Это его типовой пользователь :). Думаешь лучше сможет? Дааа?! И скажи еще спасибо что не питон, а то еще тормозило бы как крындец, жрало память не в себя - и наворачивалось бы с 3-страничном трейсом в любой момент, не барское это дело - ошибки обрабатывать, да и динамическая типизация такая няшка - можно приравнять гвозди к апельсинам, даже что-то сделает... какое-то время... а потом конечно навернется где-то. Но уже совсем не там. А потом еще через месяцок версия отъедет, или еще какая-то фигня.

Зато можно откосплеить взрослого дядю и заняться плотным дебагом на недельку. Ух, да, AI быстрее 15 версий выдаст, так то.

> ну и насколько часов в день тебе "несложно" окажется быть эффективным проверяльщиком
> бредятины нагенеренной ИИ - посмотрим-посмотрим.

Учитывая что питонистам сложно юыть эффективными более 2 часов в день (c) - от них решения задачи в нормальном виде вообще можно ждать долго, а получить - фигу, или такое решение что лучше б оно фигой было. Проверено, тудыть :\

> Наверное, если иметь свою личную модель, которую кормить на ходу ее собственным
> но уже подправленным выхлопом - успех будет поближе, но кто ж
> тебе такую дасть и где ты эту прожорливую тварь будешь держать...

Сп..^W позаимствует с работы пару суперсерверов - может даже и прокатит. Вон там уже у этих, иннахагентов, уже на 14, чтоли, миллиардов нашару вывалено. Кушайте не обляпайтесь.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #207

217. Сообщение от Аноним (217), 04-Авг-24, 23:13   +/
Moonbit, ballerina, gleam
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #89

218. Сообщение от Аноним (217), 04-Авг-24, 23:21   +/
> но просядет производительность сильно

Это вот точно будет

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #209

219. Сообщение от Аноним (217), 04-Авг-24, 23:30   –1 +/
>Примерно так и работают генеративные текстовые модели

Ассоциативная память это называется. Но ведь для программирования мало только памяти, нужно уметь обобщать, специализировать, оптимизировать, фантазировать/композировать. Наконец надо понимать а что ты делаешь, какой код и для чего пишешь. А этот трактор - ведь просто железка с памятью.
Компьютеры -изначально мертвы. Соображать умеет только живое существо (или живой процесс)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #211

221. Сообщение от Аноним (221), 05-Авг-24, 00:14   +/
С того, что рутовать телефоны ты больше не сможешь.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #8

223. Сообщение от Аноним (223), 05-Авг-24, 00:18   +1 +/
>задействовав методы машинного обучения для достижения уровня результирующего кода на Rust, близкого по стилю и качеству к коду, написанному опытным программистом

Кажется где-то тут закралась ошибка

Ответить | Правка | Наверх | Cообщить модератору

224. Сообщение от Аноним (221), 05-Авг-24, 00:20   +/
>TRAPTOR  - Python 2 Rust

Месье знает толк.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #166 Ответы: #254, #334

226. Сообщение от Аноним (226), 05-Авг-24, 01:16   +/
> Ну если провести аналогию - то если завтра рыжий кандидат в президенты
> решит построить Великую Стену за гос.деньги

Секрет в том, что он уже один раз её не построил. Ничто не мешает ему сделать то же самое и второй раз.


Ответить | Правка | Наверх | Cообщить модератору
Родитель: #155

227. Сообщение от Аноним (226), 05-Авг-24, 01:26   +/
> Боюсь, что пока военных дармоедов кормят из НАЛОГОВ

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

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #201

228. Сообщение от Прохожий (??), 05-Авг-24, 02:03   –1 +/
>а теперь представим что как у любой нормальной программы - и данных неограниченное количество, и не всегда вручную можно два раза запустить в одинаковом исходном состоянии

Для этого и нужна нейронная сеть, которая подобные вещи сможет предусматривать. А так можно было бы каким-нибудь тривиальным транслятором обойтись.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #168 Ответы: #243

229. Сообщение от Аноним (229), 05-Авг-24, 07:04   +/
https://ru.wikipedia.org/wiki/Intel_Management_Engine
https://en.wikipedia.org/wiki/CHIPS_and_Science_Act
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #8 Ответы: #269

230. Сообщение от Андрей (??), 05-Авг-24, 07:41   +/
Предположу что проблем примерно 0, т.к. с одной стороны они не отказываются от unsafe, а лишь максимизируют трансляцию в Rust код без unsafe, т.е. им ничего практически не стоит написать  наколеночный транслятор из си в раст испестрённый unsafe, но это бессмысленно + код будет неидиоматичен. В остальном я предположу, что скорее всего транслятор работает в связке с llvm - скорее всего они гоняют в llvm ir и наоборот, как итог во первых они могут транслировать в общем то не си, а llvm ir, а во-вторых - такая задача сводится на самом деле всего лишь к реверсу(тогда как классическая компиляция это rust -> ir -> машинный код, то им нужно по сути выполнить восходящую транспиляцию llvm ir -> Rust). Другой вопрос что не совсем понятно какую роль тут выполняет пресловутый AI, ибо если решатель неопределённостей, эвристика это одно, если трансляцию выполняют в лоб, то это странно. Скорее всего используют первый вариант, но тут тогда интересен подход.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5 Ответы: #263

231. Сообщение от n00by (ok), 05-Авг-24, 08:14   +/
Неоптимальная программа в данном случае очень хороша, поскольку даст основания для дополнительного финансирования. А авторы суперкомпилятора OCaml https://github.com/mazeppa-dev/mazeppa и подобного так и будут просить на кофе...
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #202 Ответы: #292

232. Сообщение от _ (??), 05-Авг-24, 08:37   +/
Two-pack(С)
Там в мульте написано у кого купили песню.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #63

233. Сообщение от Аноним (233), 05-Авг-24, 08:43   +/
УБ нигде свободы давать нельзя
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #9

235. Сообщение от Tron is Whistling (?), 05-Авг-24, 08:57   +/
Для синтаксиса раста бред - это нормально - никто разницы и не заметит.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #215 Ответы: #250

236. Сообщение от Аноним (236), 05-Авг-24, 09:03   +/
Препроцессорами обложить и #if делов то. Просто их будет много это другой вопрос.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #147

237. Сообщение от Аноним (236), 05-Авг-24, 09:04   +/
Получится лапша ещё хуже нативного раста.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #110

238. Сообщение от Аноним (239), 05-Авг-24, 09:50   +/
Раст настолько популярен что для без министерство обороны США не обошлось.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #245, #271

239. Сообщение от Аноним (239), 05-Авг-24, 09:54   –1 +/
- Министерства обороны США! Ваш ИИ  произвольно вставляет зонды в код!
- Это просто галлюциии.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #189

241. Сообщение от нах. (?), 05-Авг-24, 10:10   –1 +/
> C# - лучшее, что может позволить себе сейчас индустрия.

мляаааа... ну тогда надо искать в аренду приличную пиццерию подешевле и поближе к дому.

Если это - луДшее, значит миру кранты.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #200

243. Сообщение от нах. (?), 05-Авг-24, 11:50   +/
она соврешенно не так устроена. Ее критерий - максимальная похожесть сгенерированного бреда на реальный код который мог бы решать поставленную задачу. Авторы идеи почему-то предполагали что он при этом и будет ее решать, а не просто не работать.
Она не умеет ничего "предусматривать". И программировать тоже не умеет.

Ну то есть на уровне джуна неудачника умеет - вместо "так... что делает эта строчка? А как такое принято делать в том языке с учетом того что я накостылил вместо предыдущих? Хммм..." ищет строчку в стековерфлове в отрыве от контекста. Строчка правильная, скорее всего, но две подряд - не работают, потому что описание что и как там дальше надо изменить чтобы на самом деле получилась замена - он не читал, ему некогда. А нейросеть не читала потому что и читать-то тоже не умеет.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #228 Ответы: #262, #308

244. Сообщение от Илья (??), 05-Авг-24, 11:55   +/
> Очень интересно как оно будет переносить сишную адресную арифметику в раст без ансейв.

Адресную арифметику перенести легко. Проблема скорее в том, что на расте сложно в лоб повторить оригинальную задумку автора. В расте надо использовать другие паттерны и архитектуру, чем в переписываемом коде.

Например, попробуйте написать MVVM на расте. Спойлер, в расте нет ни одного MVVM фреймворка (https://github.com/rust-unofficial/awesome-rust?tab=readme-o...) так как там требуются перекрёстные ссылки родителей и детей.

Соответственно, этот транслятор должен не просто переписывать c в раст, а он должен переписывать архитектуру приложений на совместимую с растом.

К слову, это и есть недостаток раста. Он не даёт писать непродуманный код. И все сишники бесятся из-за этого.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5 Ответы: #307, #422

245. Сообщение от Аноним (286), 05-Авг-24, 12:08   –2 +/
Значит, будет популярен как Ada.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #238

247. Сообщение от Аноним (247), 05-Авг-24, 13:17   +/
остаётся карбон
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #175

249. Сообщение от Аноним (252), 05-Авг-24, 13:46   +2 +/
> Живые люди даже не особо на расти кодят

Ваше мнение ошибочно. Не знаю как в русскоязычном интернете, но на Западе сейчас на Расте даже вэб переписывают.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #215 Ответы: #282

250. Сообщение от Аноним (252), 05-Авг-24, 13:48   –1 +/
Нормальный там синтаксис. Язык создан by design чтобы использоваться в IDE с подсветкой. В отличии от той же Сишки, которая написана была во времена, когда кодили с помощью блокнота и ручки, раз в месяц получали доступ к ЭВМ, чтобы ввести программу.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #235 Ответы: #255

251. Сообщение от xsignal (ok), 05-Авг-24, 14:12   –2 +/
Почему с Си, а не с Ады? Это же их любимый язык вроде.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #323

252. Сообщение от Аноним (252), 05-Авг-24, 14:35   +1 +/
> C# - лучшее, что может позволить себе сейчас индустрия.

Не успел ещё протереть монитор от жиpa из предыдущих коммeнтов как снова набpaсываете.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #200 Ответы: #329

253. Сообщение от Аноним (252), 05-Авг-24, 14:37   +3 +/
> просядет производительность сильно

На Pentium II 266 MHz? Может быть.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #209 Ответы: #337

254. Сообщение от AKTEON (?), 05-Авг-24, 14:51   +/
На Расте нельзя написать интерпретатор Der Grune Shlange ??
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #224

255. Сообщение от Tron is Whistling (?), 05-Авг-24, 15:00   +/
Язык создан by design чтобы сломать об закорючки глаза.
Хуже только перл и питон с его пробелами.
Тчк.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #250 Ответы: #314

256. Сообщение от Аноним (256), 05-Авг-24, 15:14   +/
https://www.codeconvert.ai/

https://products.codeporting.app/convert

Мне кажется что нужны хорошие конверторы;
C -> SPARK
C++ -> SPARK
Py -> SPARK
Java -> SPARK
Rust -> SPARK

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #299

257. Сообщение от Вы забыли заполнить поле Name (?), 05-Авг-24, 15:21   +/
Уже проходили с копилоткой: переписывает не человек, так что извиняйте.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #120

258. Сообщение от Аноним (258), 05-Авг-24, 15:26   +/
Все кто пишут на ржавом языке могут с него легко спрыгнуть: https://www.codeconvert.ai/convert-from-rust
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1

259. Сообщение от Аноним (259), 05-Авг-24, 15:29   +/
Тестируй https://www.codeconvert.ai/c-to-rust-converter
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #332

260. Сообщение от Аноним (-), 05-Авг-24, 15:34   +/
> Интересное чтиво. А есть ещё?

Самое очевидное: в стандартном C нельзя разложить объект в конкретную секцию. Так что даже таблицу векторов какую-нибудь для фирмвари - без гнутых расширений хрен оформишь. А что делать если она должна быть в начале бинаря, по конкретным адресам - и никак иначе?!

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #136 Ответы: #261, #280

261. Сообщение от Аноним (261), 05-Авг-24, 15:38   +/
Да я вообще не понимаю, что за парадокс такой?!
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #260

262. Сообщение от Аноним (-), 05-Авг-24, 15:42   +/
> там дальше надо изменить чтобы на самом деле получилась замена -
> он не читал, ему некогда. А нейросеть не читала потому что
> и читать-то тоже не умеет.

Ну смотри, пох, если тебя после каждогой хренового кода е...шить током - ты через некоторое время таки, вероятно, обучишься выдавать то что надзирателю нравится :-). Как именно ты это достигнешь никого не е...т! Алго прост - выдал какаху, получил током. И вот скажи еще что это не работает. Ага... будешь как зайчик генерять то что "надзиратель" хотел, угадывая 90% желаний :)). Ну вот и эти как-то так же...

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #243 Ответы: #265

263. Сообщение от Анонимemail (263), 05-Авг-24, 15:44   +/
AI тут нужен в первую очередь для того,чтобы "понимать", где в программе важно транслировать поведение один в один, а где так делать не надо, ибо это очередной хитро спрятанный косяк.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #230

264. Сообщение от Аноним (264), 05-Авг-24, 15:45   +/
А без UB нельзя было бы писать эффективный код.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #9

265. Сообщение от нах. (?), 05-Авг-24, 15:53   +/
> обучишься выдавать то что надзирателю нравится

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

Поэтому получается бредогенератор.

(и нет, надзиратель возможно и рад бы использовать другой критерий, но таких моделей у нас для него нет - потому что в качестве исходной использовали модели предназначеные для имитации примитивного разговора живого но не слишком умного человека)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #262 Ответы: #293

266. Сообщение от Аноним (264), 05-Авг-24, 15:55   –4 +/
А почему нет-то? Даже под AVR на rust пишем, в среднем получается код размером ничем не отличающийся от C, только rust выразительнее и безопаснее, удобнее тестировать, а главное - он единственный из низкоуровневых языков где под bare metal можно использовать врешние библиотеки без ручной работы. Если на C/C++ у тебя нет никаках вариантов кроме вендоринга (а это злейшее зло из-за необходимой ручной работы и её повторении при каждом обновлении), то тут это банальный cargo add с возможностью обновления в любой момент, при этом нужные крейты явно умеют nostd.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #20

267. Сообщение от Аноним (264), 05-Авг-24, 16:00   +/
> Надо было писать на паскале. Там есть длина строки и динамического массива в явном виде

Код надо писать на языках программирования, на паскале не надо. А длина строки в явном виде передаётся везде кроме C - и в плюсах, и в расте.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #25 Ответы: #296

268. Сообщение от Аноним (264), 05-Авг-24, 16:04   +/
> Лучше бы наоборот с Rust на C

Это похоронит C сразу, потому что позволит всем, кому ещё зачем-то нужен C (типа прозрачной интероперабельности с другим C кодом, или поддержки каких-то мёртвы архитектур) писать на нормальном языке вместо C.

Заодно это покажет убогость C, когда одна сточка на rust с парой ? будет развёрнута в несколько страниц бойлерплейта if (!foo()) { cleanup; return }, не говоря уже во что будут развёрнуты монадические конструкции.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #33

269. Сообщение от Аноним (135), 05-Авг-24, 16:05   +/
https://en.wikipedia.org/wiki/AMD_Platform_Security_Processor
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #229

270. Сообщение от Аноним (270), 05-Авг-24, 16:14   +1 +/
Что-то долго они разрабатывают s/(\w+)\(/unsafe $1(/g
Ответить | Правка | Наверх | Cообщить модератору

271. Сообщение от Аноним (271), 05-Авг-24, 16:45   –1 +/
Известно ведь, что усиленно рекламируют то, что не пользуется спросом
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #238 Ответы: #322

272. Сообщение от анон (?), 05-Авг-24, 16:48   +/
На форче уже столько примеров под новостью привели, когда из с в раст перевести нельзя, т.ч. ждем, когда дарпа профинансирует добровольно-принудительное переписывание сишного опенсурса на гитхабе в удобоваримый формат для нейронки.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #327

273. Сообщение от анон (?), 05-Авг-24, 16:51   +2 +/
Будет, только надо докупить памяти, сейчас расту надо 120GB оперативки для раскручивания
https://github.com/dtolnay/bootstrap
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #159 Ответы: #278, #367

274. Сообщение от анон (?), 05-Авг-24, 16:56   +/
>Безопасный код на Си написать невозможно

Можно, только на на современных цисках и франкинштейн-рисках.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #9

275. Сообщение от riokor (?), 05-Авг-24, 17:07   +/
Ну прекрасно, программистам хоть полегче станет. Займутся семьёй, детьми. Починят авто. А код пускай ии пишет, если ему так легче.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #279

278. Сообщение от Аноним (278), 05-Авг-24, 17:27   +2 +/
Be aware that the complete bootstrap uses a lot of disk space. Bootstrapping up through rustc 1.40 requires 120 GB.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #273 Ответы: #286, #369

279. Сообщение от Аноним (271), 05-Авг-24, 17:28   +/
> программистам ... полегче станет ...

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

Но время показало, что не стали счастливы люди

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #275 Ответы: #405

280. Сообщение от Аноним (280), 05-Авг-24, 17:45   +/
Потому что это универсальный язык, а не под конкретный формат бинаря. Потому и в стандарте такого быть не должно
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #260 Ответы: #324

281. Сообщение от Аноним (281), 05-Авг-24, 17:48   +/
Например? Я как контрактор часто меняю компании, со времени появления коммерческих лицензий на copilot довелось поработать в нескольких, включая две из топ-500. И везде копилот либо идёт в базе для всех, кто имеет любое отношение к коду, либо доступен по запросу в айти-отдел точно так же как доступен, скажем, офис или фотошоп.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #62

282. Сообщение от Аноним (261), 05-Авг-24, 18:15   –2 +/
Не знаю насколько Ваш запад западнее, но сильно западнее РФ, где проживает Ваш покорный слуга, хруст пока ещё в грабу видале. Отдельные индивиды что-то покодили, но большинству тупо лень с ним связываться.
Даже такой инсайтик: давеча один оооочень растанутый персонаж, который его уже много лет продвигает и является активным мембаром кам-юнити в самом прямом смысле этого слова, вот он поведал что подчас и клиенты-то просят "а можно без раста"..
Сам не по вебу, но могу представить где и как его наши вебщики вертели
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #249 Ответы: #285

284. Сообщение от wyry (-), 05-Авг-24, 18:45   +2 +/
не лучше. Все, что может "создать" ИИ - это типовое решение, которое уже где-то встречалось. Строго говоря ИИ даже не существует, это просто нейросеть, которая занимается преобразованием входящих запросов, она даже не думает, у неё нет рефлексии и осмысления задачи и на выходе получается "что-то похожее на код", чем задача более типова, тем выше вероятность, что заработает. Можно восхититься, если нейронка реализует какой-то сложный алгоритм, но если он общеизвестен, то в этом нет достижения. А вот ничего нового нейронка не создаёт даже простого, либо вам потребуется запрос такой сложности, что он сам по себе будет программой. То есть проще тогда написать собственную программу, чем "объяснять" ИИ как она работает. И как справочник нейронку использовать менее надёжно, чем банальные справочники и научную литературу.
Вывод: джуна можно заставить штудировать литературу мотивируя это повышением или отсутствием побоев, а нейронка уже упёрлась в потолок и ничего вам не создаст.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #141 Ответы: #298

285. Сообщение от Аноним (252), 05-Авг-24, 18:57   +/
История похожа на лампокота. Сорян.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #282 Ответы: #339

286. Сообщение от Аноним (286), 05-Авг-24, 19:21   +1 +/
М-да, emerge всего остального @world просто отдыхает...
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #278 Ответы: #302

287. Сообщение от Аноним (286), 05-Авг-24, 19:25   +/
Запишет шеллкодами.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5

289. Сообщение от Аноним (286), 05-Авг-24, 19:52   +/
Python (MicroPython) и JS (Espruino) же засовывают.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #20

292. Сообщение от _ (??), 05-Авг-24, 20:15   +/
Они пытаются продать тебе рефал завёрнутый в фантик :)
И надо же! - дураков не находится :))))
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #231 Ответы: #357

293. Сообщение от Аноним (-), 05-Авг-24, 20:19   +/
>> обучишься выдавать то что надзирателю нравится
> а надзирателю нравится - чтоб код был _похож_ на настоящий. До степени
> когда исправлять его на _работающий_ как настоящий - становится тяжелым трудом.

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

> Поэтому получается бредогенератор.

Да ладно, что он, хуже типового хипстика чтоли? То что они обучаемее и умнее - не факт! :)

> исходной использовали модели предназначеные для имитации примитивного разговора живого
> но не слишком умного человека)

Однако, я встречал успешные примеры багфиксов чатгоптем :)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #265 Ответы: #349

294. Сообщение от Аноним (294), 05-Авг-24, 20:40   +/
> Rust просто по умолчанию компилирует с отладочной информацией.

Раст по умолчанию вкомпилирует std-либу:


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;
}


Правда, как тут анонимные комментаторы (в каждой расто-новости) получали многоМБ-айтовые "жирные" бинарники, я так и не понял.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #98 Ответы: #326, #350

295. Сообщение от qwe (??), 05-Авг-24, 20:47   +/
Искать или находить?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #117

296. Сообщение от _ (??), 05-Авг-24, 20:55    Скрыто ботом-модератором+1 +/
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #267

297. Сообщение от _ (??), 05-Авг-24, 21:01   +/
> хеллоувроты на пару десятков строк.

Ну да. На что то большое она нарисует рыбу и честно предложит вписать код ниже вот этого комента :)
Это если повезёт, а нет - так насыпет бреда.

Но! Сравни чего умел первый Netscape Navigator и чего умеет нонешний Google Chrome ...
Ну вот и дай этому развиваться 30 лет и тогда посмотрим ... есть шанс дожить :)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #32 Ответы: #421

298. Сообщение от _ (??), 05-Авг-24, 21:10   +/
>Все, что может "создать" ИИ - это типовое решение, которое уже где-то встречалось.

Ну дык ВНЕЗАНА!(С) - это и есть 99.99999% (7 девяток) нонешнего программинга, разве не? :-)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #284 Ответы: #328

299. Сообщение от Аноним (252), 05-Авг-24, 21:16   +1 +/
Не, спс.

Ввёл первое, что пришло в голову:

mov ah, 0x0e
mov al, 'X'
int 0x10

На выхлопе получил:

#include <dos.h>

int main() {
    union REGS regs;
    regs.h.ah = 0x0E;
    regs.h.al = 'X';
    int86(0x10, ®s, ®s);
    return 0;
}

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #256 Ответы: #356

301. Сообщение от Tron is Whistling (?), 05-Авг-24, 22:04   +/
И наконец - TRAXTOR - графический интерфейс под иксы ко всему этому.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #166

302. Сообщение от 12yoexpert (ok), 05-Авг-24, 22:15   +/
ичсх, без раста ff не соберёшь
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #286

304. Сообщение от 12yoexpert (ok), 05-Авг-24, 22:27   +/
во первых, веб уже 3.0, во-вторых, у тебя ни слова про индустрию 4.0, 5G и интернет вещей
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #210

306. Сообщение от Аноним (306), 05-Авг-24, 22:32   +/
>> необучаемого увольняют и нанимают - обучаемого.
>Да что-то не заметно. Даже у гугли вон - ЯП типа го в почете. А хруст им уже видите ли слишком сложный для тех прогеров

У них и раст в почете. Тут полгода назад на конференции технический директор гугла Ларс Бергстром рассказывал про портирование с го и плюсов на раст и результаты этого. Наверное он что-то выдумал про портирование с почетного го, ведь это сложно-невозможно:

"...Some additional context on these two specific claims:

Google found that porting Go to Rust "it takes about the same sized team about the same time to build it, so that's no loss of productivity" and "we do see some benefits from it, we see reduced memory usage [...] and we also see a decreased defect rate over time"

On re-writing C++ into Rust: "in every case, we've seen a decrease by more than 2x in the amount of effort required to both build the services written in Rust, as well as maintain and update those services. [...] C++ is very expensive for us to maintain.""

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #193

307. Сообщение от Аноним (-), 05-Авг-24, 22:57   –1 +/
> Например, попробуйте написать MVVM на расте. Спойлер, в расте нет ни одного MVVM фреймворка [...] так как там требуются перекрёстные ссылки родителей и детей.

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #244 Ответы: #310

308. Сообщение от Прохожий (??), 05-Авг-24, 23:44   –1 +/
Во-первых, не все нейронные сети так устроены. Например, AlphaGo Zero (вторая версия исходной AlphaGo) училась играть в го с нуля сама с собой.
Во-вторых, коль мы говорим о задаче транслирования кода с одного языка программирования на другой, думаю, это вполне под силу современным нейронным сетям. Откуда такая уверенность? Гугло-переводчик (или любой другой аналогичный) для человеческого языка (который куда сложнее любого языка программирования) вполне неплохо справляется же.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #243 Ответы: #331

309. Сообщение от Прохожий (??), 05-Авг-24, 23:47   +/
С голубем по-прежнему можно "сыграть", если уж так сильно хочется.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #169

310. Сообщение от Прохожий (??), 05-Авг-24, 23:54   +/
Возможно, конечно. Но с использованием unsafe.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #307 Ответы: #353

311. Сообщение от Прохожий (??), 06-Авг-24, 00:03   +/
> "качество" нейронок нынче определяется тем насколько этот код внешне похож на настоящий, а не компилируется ли в принципе.

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #39 Ответы: #325

312. Сообщение от Прохожий (??), 06-Авг-24, 00:06   +/
Тебе шашечки или ехать?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #172

313. Сообщение от Прохожий (??), 06-Авг-24, 00:10   +/
> Товарищ хоть понимает огромную пропасть между C и Rust в плане дальнейшего сопровождения кода?

Почему бы тебе не заняться просвещением доктора наук, дав почитать ему статьи на Хабре (в переводе, конечно, сам-то он вряд ли с этим справится)?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #48 Ответы: #352

314. Сообщение от Прохожий (??), 06-Авг-24, 00:21   –2 +/
Там вполне себе читабельный синтаксис, если понимать концепции языка. А их таки надо понимать хорошо.

В остальном закорючек не более, чем в тех же Плюсах.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #255 Ответы: #340, #395

316. Сообщение от Прохожий (??), 06-Авг-24, 00:28   +/
Да он и есть относительно простой (если с теми же Плюсами сравнивать, где стандарт на примерно тыщу страниц никто в мире, наверное, освоить не смог).
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #89

317. Сообщение от Прохожий (??), 06-Авг-24, 00:30   +/
В рантайме - да, можно. Но ведь изюминка Раст в том, что большинство проверок делается на этапе компиляции.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #110

318. Сообщение от Аноним (-), 06-Авг-24, 00:32   +/
>> но прошли десятилетия и теперь они непобедимы.
> Жигули быстрее любого бегуна (если заведутся). Перестаем бегать и пересаживаемся на Жигули?

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #123

319. Сообщение от Прохожий (??), 06-Авг-24, 00:34   +/
Люди уже пишут на нормальном языке, который называется Rust. С разморозкой тебя. Синтаксис у Rust очень даже разумный, кстати. Просто основные идеи понимать надо, которые стоят за этим синтаксисом.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #109 Ответы: #338

320. Сообщение от Прохожий (??), 06-Авг-24, 00:35   +/
Речь идёт не о банальном трансляторе, всё-таки.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #126

321. Сообщение от Прохожий (??), 06-Авг-24, 00:38   +/
> Rust язык не для человеческого ума

Скажем так - не для каждого человеческого ума. Здесь немного напрячься надо при обучении. Ну как с математикой той же.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #185 Ответы: #398

322. Сообщение от Прохожий (??), 06-Авг-24, 00:41   –1 +/
Зайди на Стековерфлоу и посмотри последний опрос программистов по всему миру. Пользуется спросом, ещё как. Пока не таким, как Си или Джаваскрипт, но потихоньку набирает обороты.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #271 Ответы: #397

323. Сообщение от Прохожий (??), 06-Авг-24, 00:44   –1 +/
Потому что код на Си дыряв. И его очень много. А работать как-то надо.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #251 Ответы: #384

324. Сообщение от Аноним (-), 06-Авг-24, 00:45   +/
> Потому что это универсальный язык, а не под конкретный формат бинаря. Потому
> и в стандарте такого быть не должно

А в каком месте штука типа __attribute__((section("section"))) у объекта в сях подразумевает какой либо формат файла? Оно лишь просит положить вот это в секцию "section". Никаких допущений о формате как таковом - не делается. Только о том что при линковке это должно быть в такой секции. Данная директива в GCC/Clang работает с РАЗНЫМИ форматами исполняемых и объектников.

И да, нехило бы и линкерскрипты стандартизовать, взять лучше всего то что GCC/Clang юзают, один черт самое распостраненное уже (у этой парочки одинаково сделано). Ну и это можно затребовать например в C2X, а то не умеет, noncompliant и декларит более винтажный стандарт. Какие-то проблемы?

А без этого системщина получается, как бы это, не очень системной. Ибо некоторые вещи должны быть в конкретных локациях, а не абы где. Де факто все практически существующие форматы объектников и бинарей - умеют секции так или иначе. И вот как раз "raw binary" фирмвары потом - постпроцессится из кучи секций, через objcopy. Так что бутлоадер - туда, ранний инит сюда, таблицу векторов - вот тут...  и получается что мы это делаем как си, но не стандартный си, а GNU C :). А с этой вашей пропертарой или менее попсовым компилером - вы мою фирмварь вообще совсем никак не соберете в результате. Ну вот такой вот стандарт.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #280

325. Сообщение от нах. (?), 06-Авг-24, 00:46   +/
А я знай, зачем они используют вместо этого модель для правдоподобной болтовни, причем именно что знаменитую своими галюцинациями, выдаваемыми весьма правдоподобно, еще и со ссылками на несуществующие источники?
Казалось бы да - при тех мощностях которые жрут такие модели - дать им инфраструктуру и пусть без конца тестируют свою бредятину, пока хоть компилиться не начнет, а все остальные попытки засчитывать как фэйл. Это уже, кстати, и похоже на настоящее обучение настоящего программиста.

Возможно - других моделей просто нет. Сделать некому - в смысле, не натренировать уже сделаную, а именно саму модель придумать, это умеют совсем не те кто сейчас на слуху.

Возможно есть, но не для нас.

Возможно массоны-рептилоиды просто запретили.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #311 Ответы: #390

326. Сообщение от Аноним (-), 06-Авг-24, 00:50   +/
> Правда, как тут анонимные комментаторы (в каждой расто-новости) получали многоМБ-
> айтовые "жирные" бинарники, я так и не понял.

Go по ошибке запустили, с кем не бывает? :)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #294

327. Сообщение от Прохожий (??), 06-Авг-24, 00:50   +/
Можно ссылку?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #272

328. Сообщение от нах. (?), 06-Авг-24, 00:51   +/
>>Все, что может "создать" ИИ - это типовое решение, которое уже где-то встречалось.
> Ну дык ВНЕЗАНА!(С) - это и есть 99.99999% (7 девяток) нонешнего программинга,

так а ИИ тогда зачем? Я и сам прекрасно умею ctrl-c/ctrl-v прямо из вопроса на стеке.
А если не заработает, я даже ответы на него прочту!

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #298 Ответы: #370

329. Сообщение от нах. (?), 06-Авг-24, 00:53   +1 +/
>> C# - лучшее, что может позволить себе сейчас индустрия.
> Не успел ещё протереть монитор от жиpa из предыдущих коммeнтов как снова
> набpaсываете.

а если он не врет?!

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #252

331. Сообщение от нах. (?), 06-Авг-24, 01:13   +/
> Гугло-переводчик (или любой другой аналогичный) для человеческого языка (который куда сложнее
> любого языка программирования) вполне неплохо справляется же.

плохо, очень плохо он справляется.
Если ты конечно достаточно знаешь оба языка, чтобы оценить.  
Уж про мем "Обама виноват" ты наверняка слышал.

А если язык еще и не самый распространенный и семантически далек от английского - ты вообще скорее всего ничего в этом "переводе" не разберешь. Попробуй вон иврит или сингала.

Именно потому что они отказались от использования словарей (типа, ну нафиг еще денех платить тому кто будет словарь составлять) в пользу только и единственно своего статистического анализатора. (Которому верили больше чем себе.)

Но это, конечно, и не ИИ. Тот бы тебе такого набредил, что вообще не удалось бы угадать суть настоящего текста.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #308 Ответы: #387

332. Сообщение от нах. (?), 06-Авг-24, 01:31   +/
> Тестируй https://www.codeconvert.ai/c-to-rust-converter

Only the first 4,000 characters will be converted.

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

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

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #259 Ответы: #335, #375

334. Сообщение от Аноним (340), 06-Авг-24, 01:50   +/
Зря смеётесь, молодой человек
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #224

335. Сообщение от нах. (?), 06-Авг-24, 01:52   +/
ой, нет, есть, есть на что посмотреть, там в комментарии можно дополнительно попросить- я и написал - minimize unsafe parts. "Стоит статуя - вообще без ...я!"

правда, хеловрот оперировал статической переменной, а тут она внезапно превратилась в параметр.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #332

337. Сообщение от Аноним (340), 06-Авг-24, 02:08   +/
Вы удивитесь, но не все эвм чтобы кал оф дюди на них гонять
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #253 Ответы: #345

338. Сообщение от Аноним (340), 06-Авг-24, 02:12   +/
Ну не только, ещё на Go. Кстати, интересно когда биндинги запилят, чтобы пол проги на рас пол на гоу
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #319 Ответы: #371

339. Сообщение от Аноним (340), 06-Авг-24, 02:14   +/
У анонима что-то не то с сертификатом шифрования
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #285

340. Сообщение от Аноним (340), 06-Авг-24, 02:17   +/
Вот, пожалуйста, где-то там, с плюсами, с++2раст надо. Враппер на враппер перегонится как надо
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #314

345. Сообщение от Мальчик Бананан (?), 06-Авг-24, 03:11   +1 +/
Держу пари что даже на полудохлом целероне 10 летней давности разница будет в пределах статистической погрешности.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #337

349. Сообщение от нах. (?), 06-Авг-24, 03:34   +/
> Надзирателю надо - решать свои задачи,

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

кот вообще-то нужен - покупателю, а не надзирателю. Тот может вообще в котах-то не очень, модели тренировать это не на хрусте кодить.

> Да ладно, что он, хуже типового хипстика чтоли?

ну если типовой это типовая индусня, которая программировать училась глядя через плечо на экран гуру - то наверное и не хуже. Но этих-то зачем же менять? Они ж и так за рупию в час пашут. Код за ними разбирать тоже, да, проще выкинуть и новых нанять.

> Однако, я встречал успешные примеры багфиксов чатгоптем

попробуй уговори его 12309 исправить?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #293 Ответы: #374

350. Сообщение от Мальчик Бананан (?), 06-Авг-24, 04:14   +/
А ведь можно всё сделать на ассемблере уложившись в десяток байт (не считая .data секции). Ненужное вырезать, оставить только .code и .data.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #294 Ответы: #363, #376, #413, #420

352. Сообщение от . (?), 06-Авг-24, 06:40   +/
Почему бы тебе не заняться повседневным делом ржавой секты - переписыванием кода ради переписывания и героической борьбой с компилятором
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #313 Ответы: #391

353. Сообщение от Аноним (-), 06-Авг-24, 06:46    Скрыто ботом-модератором+/
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #310 Ответы: #381

354. Сообщение от Аноним (354), 06-Авг-24, 08:51   +/
Человек, незнакомый с предметной областью, сделает те же ошибки.

Так пусть бесполезной фигнёй занимаются роботы, если уж кому-то приспичило.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #202

356. Сообщение от Аноним (356), 06-Авг-24, 09:19   +/
Ничего вы не понимаете в словах: безопасность, надёжность, верифицируемость.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #299

357. Сообщение от n00by (ok), 06-Авг-24, 10:18   +/
Там нет Рефала, а фантиков уже давно напродавали всяких всем подряд.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #292

358. Сообщение от fuggy (ok), 06-Авг-24, 12:36   +/
Как они могут быть тождественны, если в Си есть UB и гадай, что хотел сказать программист. Так и задумано или заданных условиях теоретически возможно, но практически не будет. Или (void*) это формально не описать, что в реальной задаче может прилететь.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #6 Ответы: #389

359. Сообщение от Серб (ok), 06-Авг-24, 13:08   +/
> Как раз с этим проблемы, потому что эти проверки по большей части компайл-тайм

Нет нужды их переносить. Сгенеренный на Си код должен делать то же что и код на раст. Все остальное слить, как не нужное.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #147

360. Сообщение от fuggy (ok), 06-Авг-24, 13:30   +/
Почему же. Rust embedded без std существует. И даже конференции проводят. Они наверно что-то не знают.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #20 Ответы: #366

363. Сообщение от Аноним (-), 06-Авг-24, 15:49   +/
> А ведь можно всё сделать на ассемблере уложившись в десяток байт (не
> считая .data секции). Ненужное вырезать, оставить только .code и .data.

Если ты пишешь исключительно хллоуворлды - то да.
А если надо написать что-то сложнее, то запаришьтся на АСМе писать.
Ну или будет 10 лет страдать фигней, пока твои коллеги уже написали и забыли.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #350

366. Сообщение от _ (??), 06-Авг-24, 17:55   +1 +/
Да. Они не знают что такое embedded :)
Они думают что если писюк воткнуть в автомобиль всиО - он встроенный :))))
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #360

367. Сообщение от Аноним (-), 06-Авг-24, 18:21    Скрыто ботом-модератором+/
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #273

369. Сообщение от анон (?), 06-Авг-24, 19:05   +/
> tmpfs
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #278

370. Сообщение от _ (??), 06-Авг-24, 19:57   +/
Дык вы тогда и есть за меня будете?!   А-г-а!!! (С) Мульт про Вовочку

А с AI - купи подиську и уволь всех этих IT выскочек, у которых зряплата не хуже чем у руководящих ими рукойводителями (С) :)  А тут гляди и сбудется многолетняя мечта мэнеджеришек - поставить этих IT выскочек в стойло! :)
Правда уже было и не раз (да, я супер стар) ... но как то не ... :) Но прогресс не остановить!

PS: А то что 99.99999% (7 девяток) мэнэджеров AI тоже заменится ... им пока не говорят ;-)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #328 Ответы: #372

371. Сообщение от _ (??), 06-Авг-24, 20:02   +1 +/
Если оно не будет тащить с собой node-js и последнюю жабу - то нафиг такие пионерские поделки не нужны!
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #338

372. Сообщение от нах. (?), 06-Авг-24, 20:45   +/
> А с AI - купи подиську и уволь всех этих IT выскочек,

ну и чо, придется ж нанимать этих... prompt инжынеров. Правда, наверное, подешевле обойдутся за голову.

Не самому ж любимому руководителю с искусственным ди6илом общаться.

> PS: А то что 99.99999% (7 девяток) мэнэджеров AI тоже заменится ...
> им пока не говорят ;-)

не, тоже не прокатит. С кому потом уважаемым топтопам в углу топать - с промпт менеджером, чтоль?

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


Ответить | Правка | Наверх | Cообщить модератору
Родитель: #370 Ответы: #380

373. Сообщение от Аноним (373), 06-Авг-24, 20:59   +1 +/
> Написано же - Тракторам :).

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3

374. Сообщение от Аноним (-), 06-Авг-24, 21:07   +/
>> Надзирателю надо - решать свои задачи,
> пока задача - больше пиар моделей, а не реальная их продажа в
> розницу. Деньги дают инвесторы а не клиенты.

Это точно про DARPA было? Они так то не коммерческая организация как таковые. Так что этих явно интересует какой-то практический результат, а не хайп. Зачем DARPA-е хайповать?

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

> кот вообще-то нужен - покупателю, а не надзирателю. Тот может вообще в
> котах-то не очень, модели тренировать это не на хрусте кодить.

У DARPA покупатели специфичные, и им надо не маркетинговый булшит, имхо.

> ну если типовой это типовая индусня, которая программировать училась глядя через плечо
> на экран гуру - то наверное и не хуже.

Да тут такие же на опеннете есть, в основном от го и питона, конечно. Не думаю что AI сможет хуже. Выдаст такую же какаху такого же джуна подсмотренную вон там через плечо.

>> Однако, я встречал успешные примеры багфиксов чатгоптем
> попробуй уговори его 12309 исправить?

Дык у меня он не воспроизводится - как мне его проверять то? Так что если AI вменяемый, он должен послать на закрытый баг и объяснить что надо новый завести :)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #349 Ответы: #379

375. Сообщение от Аноним (-), 06-Авг-24, 21:08   +/
> А, впрочем нашел один подходящий. Ну как и следовало ожидать:
> unsafe {
> все остальное
> }

Ааа, блин, чуда не произошло :(

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #332

376. Сообщение от Аноним (294), 06-Авг-24, 21:21   +/
> А ведь можно всё сделать на ассемблере уложившись в десяток байт (не
> считая .data секции). Ненужное вырезать, оставить только .code и .data.

Ну уложи. Кстати, разрешаю слияние (merge) .code+.data (все равно один фиг упрется в выравнивание и мин. размер секции, который согласен "проглотатить" конкретный загрузчик эльфов/пе).
  
Только чур, чтоб хотя бы на пянгвине, бзде и венде с макосью собиралось и работало.
Ну и по процам чтоб не только "ia32", но хотя бы на малинке и у маководов запустить можно было.
А так-то да, 20 байт в формате "com" под DOS - можно ... только нафиг оно сдалось?


Ответить | Правка | Наверх | Cообщить модератору
Родитель: #350

377. Сообщение от Аноним (377), 06-Авг-24, 21:39   +/
На паскале написана mac os, которая не X
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #34

378. Сообщение от Аноним (378), 06-Авг-24, 22:10   +/
Чему радуетесь, Пентагон и USDoD свой ТРАКТОР никому не даст
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #393

379. Сообщение от нах. (?), 06-Авг-24, 23:28   +/
>> пока задача - больше пиар моделей, а не реальная их продажа в
>> розницу. Деньги дают инвесторы а не клиенты.
> Это точно про DARPA было? Они так то не коммерческая организация как таковые.

и про них тоже. Они именно не коммерческая организация с кучей денег.
Которые пихают под дверь разным хикканам и ждут результата. Чаще всего за дверью чавкают пиццей и рыгают колой. Иногда получается интернет. Угадать невозможно, они и не стараются, просто выбирают то что им кажется перспективным.

>> попробуй уговори его 12309 исправить?
> Дык у меня он не воспроизводится - как мне его проверять то?

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

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #374 Ответы: #383, #385

380. Сообщение от _ (??), 07-Авг-24, 02:18   +/
>> А с AI - купи подиську и уволь всех этих IT выскочек,
> ну и чо, придется ж нанимать этих... prompt инжынеров. Правда, наверное, подешевле обойдутся за голову.

Нууу ... Вот мы подсмотрели идею у софтой-пейсаталей - релизится так часто, чтоб с той стороны в глазах рябило И ... барабанная дробь ...
Теперь мы не IT какое нить там, а D & T ! ;-)))
А этих выскочек IT-шнегов - да, пусть разгоняют!

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

Я прикололся и попросил написать мне FidoNet ... Как результат - хорошее настроение на весь день :-D
Так что (пока) - да, даже не думай :)
Но ведь могут и смочь ... когда нибудь... :)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #372

381. Сообщение от Илья (??), 07-Авг-24, 03:19   +/
> Возвращаясь к утверждению что в расте нет mvvp фреймворков, из-за borrow checker'а, я для ясности могу без всяких сарказмов сказать, что это бред.

покажи хоть один

> можно хранить не ссылки на объекты, а идентификаторы этих объектов... Можно
> использовать channel'ы, и вместо вызова методов, передавать команды по channel'ам... Можно
> даже передавать лямбды по ченнелам, чтобы они выполнились бы в контексте
> где объект доступен через mut ссылку. Или можно хранить raw-указатели, и
> ломать потом голову как бы сочинить API, который не позволит нарушать
> гарантии раста. Это навскидку три подхода к проблеме. Первые два в
> принципе позволяют обойтись без unsafe.

Ну прогнал ты mvvm приложение через AI транслятор. На выходе получил какой-то код, который как-то работает. Вот с всем вот этим вот, что ты написал. Ну или не работает. В приложении миллион строк кода бизнесс-логики. Что дальше будешь делать?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #353

382. Сообщение от Ф1 (?), 07-Авг-24, 08:24   +/
>То что легко транслировать - и без AI делается, приснопямятные Py2->Py3, P2C и куча подобного уж лет 30 существует ...

C2Rust тоже уже есть https://github.com/immunant/c2rust

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #14

383. Сообщение от n00by (ok), 07-Авг-24, 11:12   +/
>>> попробуй уговори его 12309 исправить?
>> Дык у меня он не воспроизводится - как мне его проверять то?
> насколько я понимаю, нужно чтоб количество памяти в системе было достаточным чтобы
> сброс всего буферного кэша не мог быстро пролезть в дисковую подсистему
> и создал в ней продолжительный затор.
> Т.е. умные ворота не подходят.

"Сброс кеша" - это объявление страниц ОЗУ свободными. На накопитель сохраняются т.н. грязные страницы отображённых файлов и буфера записи.

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

Дальше нужно собрать ядро с конфигом от Пока Линукс (оно что-то вроде checked build в Windows) и запихать подкачку в ZRAM. Впрочем, на новых ядрах может и не сработает, не проверял.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #379

384. Сообщение от xsignal (ok), 07-Авг-24, 13:55   –1 +/
Любой код дыряв, потому что программ без ошибок не бывает, тем не менее на Си всё (в мире) работало, работает и будет работать!
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #323 Ответы: #392

385. Сообщение от Аноним (-), 07-Авг-24, 20:07   +/
>>> розницу. Деньги дают инвесторы а не клиенты.
>> Это точно про DARPA было? Они так то не коммерческая организация как таковые.
> и про них тоже. Они именно не коммерческая организация с кучей денег.

У DARPA "инвесторы" специфичные, и хотелки у них - тоже. Что они хотят - не разбазаривать бабки и оптимизнуть bang per buck, потому кризис маячит, много денег "инвесторы" из бюджетов уже - не дадут! И тут поневоле задумаешься чтобы децимацию всяким квотам произвести, да и заменить 1 бредогенератор другим, столь же функционально, зато не качает права и не требует прибавки, еще и переписывает влет.

> Которые пихают под дверь разным хикканам и ждут результата. Чаще всего за
> дверью чавкают пиццей и рыгают колой. Иногда получается интернет. Угадать невозможно,
> они и не стараются, просто выбирают то что им кажется перспективным.

А, к вопросу о пицце! Оказывается, жор пиццы в конкретном районе, например, вокруг Пентагона - великолепный индикатор с почти 100% корреляцией. Кстати, недавно жор пиццы в этом районе вырос. Так скоро будет что-то интересное видимо. Вот видишь, какой важный топик пицца на самом деле.

>>> попробуй уговори его 12309 исправить?
>> Дык у меня он не воспроизводится - как мне его проверять то?
> насколько я понимаю, нужно чтоб количество памяти в системе было достаточным чтобы
> сброс всего буферного кэша не мог быстро пролезть в дисковую подсистему

Ну так с неких пор к подсистеме ядра приделали эвристику определяющую медленные сторажи и ограничивающие им dirty до разумных величи. Ну и кернелы ессно есть с форсированым преемптом, 1000Гц таймером и проч.

> и создал в ней продолжительный затор.Т.е. умные ворота не подходят.

Да оно и на жирном воркстейшне не проявляется. Там, конечно, SSD под системный диск, его вообще хрен чем озадачишь надолго, и ZRAM как своп, с 1000Hz "dynamic preempt" ядром, так что при OOM - ну, перфоманс проседает секунд на 5 разика в 2-3, из-за активной декомпрессии-рекоспрессии страниц ZRAM, потом за runaway приходит OOM killer, раздает слонов. И весь "12309" в наихучем виде. Вот я и думаю как и что воспроизводить, даже теоретически? :)

Там, на самом деле, еще есть 1 мелкий косяк, не имеющий отношения к 12309, но тот факт что бинари программ юзаются как "расширение свопа" в том смысле что их паги по мнению ядра можно отбросить при душняке - и перечитать с диска потом, если надо. На механике, наверное, это может и тупануть в каких-то раскладах. Но по другим причинам (seek при подчитке страниц когда они потребовались). Но на системе с SSD это уже совсем неактуально стало, там такой псевдосвоп вообще скорее фича: с одной стороны не протирает диск, не тормозит особо, с другой, при душняке отыгрывает памяти. А хранить систему на механическом диске... ну... кто-то и грампластинки, конечно, слушает :)

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

Вот именно вот это вот - таки вроде более-менее придушили как раз. Это не значит что в принципе невозможны какие-то иные дурные ситуации - но если они отличаются по механизму, очевидно, это ДРУГОЙ баг. В штуке размером с кернел может быть более 1 бага, внезапно :)

Хотя я могу подсказать как срубить джекпот. Поставить систему на механический стораж. Ввинтить своп побольше. Юзануть 100Гц серверный кернель без preempt'а. А потом, когда какой-нить сискол встанет, наконец, в хорошенько нагруженной системе р@ком минут на пять - насладиться от души характерным blocking экспериенсом с "низкой" латенси, ну, раз preempt'ить его нельзя, и 2% в бенчмарке ваше все - оно взамен как-то вот так получается :)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #379 Ответы: #424

386. Сообщение от Прохожий (??), 07-Авг-24, 20:55   +1 +/
Версия 2.0 была полностью самообучена.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #183

387. Сообщение от Прохожий (??), 07-Авг-24, 21:06   –1 +/
> плохо, очень плохо он справляется.

Возвращаясь к тому, что было лет надцать назад - просто отлично переводит - по моим наблюдениям (хотя я пользуюсь переводчиками редко для больших кусков текста) - примерно 80-90 процентов вполне себе корректно. Косяки встречаются, и очевидно, что для полноценного перевода нужно понимание переводимого. А с этим пока проблемы. Но современные LLM вполне себе могут пройти тот самый тест на человекоподобность, который был популярен в прошлом веке при тестировании всяких там экспертных систем.

> Уж про мем "Обама виноват" ты наверняка слышал.

Не слышал.

> в пользу только и единственно своего статистического анализатора

Там не только статистический анализатор. Там ещё есть промежуточный язык. И вот он, как раз, помогает справиться с языками, которые менее распространены, чем другие. То есть, сначала с исходного языка перевод идёт в него, а потом с него - в целевой язык.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #331 Ответы: #425

388. Сообщение от Прохожий (??), 07-Авг-24, 21:08   –1 +/
Полную тождественность - скорее всего невозможно. А достаточную, думаю, вполне.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #158 Ответы: #426

389. Сообщение от Прохожий (??), 07-Авг-24, 21:13   +/
> Как они могут быть тождественны

Частично.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #358

390. Сообщение от Прохожий (??), 07-Авг-24, 21:22   +/
> А я знай, зачем они используют вместо этого модель для правдоподобной болтовни

Насколько я понял из оригинального анонса, они пока ничего не используют. Только ожидаются предложения.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #325 Ответы: #399

391. Сообщение от Прохожий (??), 07-Авг-24, 21:24   +/
Потом что я не отношу себя ни к какой секте. Но ЯП Rust мне концептуально нравится, даже при всех известных недостатках (а где их нет?).
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #352

392. Сообщение от Прохожий (??), 07-Авг-24, 21:29   –1 +/
Код на Си особенно дыряв. Как-то он работает, конечно. Но слишком много надо усилий прилагать, чтобы эта работа была стабильной. Разумеется, речь идёт о сложных программах.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #384

393. Сообщение от Прохожий (??), 07-Авг-24, 21:31   +1 +/
Никому, кто в правила современного мира и цивилизованность не умеет - этим, разумеется, вряд ли.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #378 Ответы: #406

395. Сообщение от 12yoexpert (ok), 07-Авг-24, 23:00   –1 +/
там нет концепций, напихали рандомно всякое в рандомные места, получилась каша
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #314 Ответы: #417

397. Сообщение от Аноним (398), 07-Авг-24, 23:39   +/
Для каких задач используют?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #322 Ответы: #416

398. Сообщение от Аноним (398), 07-Авг-24, 23:44   +/
Да, это точно подмечено, что мышление при программировании на Rust'e похоже на математическое мышление. Но разве это хорошо? Думать при программировании надо приближённо к машине, а не к человеку.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #321 Ответы: #415

399. Сообщение от нах. (?), 07-Авг-24, 23:46   +/
под "они" я подразумевал владельцев реально работающих моделей.

ХРЕН вот его знает, почему так. Я склоняюсь к идее о рептилоидах.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #390 Ответы: #418

402. Сообщение от Xasd7 (?), 08-Авг-24, 08:22   +1 +/
вообще-то поведение ни разу не эквивалентно,

учитывая что старая программа содержит ненайденные дыры, поидее, переписанный Rust-аналог должен тоже segfault-иться (или вести себя неопределённо) в тех же местах что и C-код? :-)

или же Tractor как должен понять что от него хотят?

с таким же успехом его можно было бы спросить «где тут места с дырами — назови!» :-) без переписывания на Rust (то есть — без генерации нового кода, выглядящего как гоовно :) .. которое уже не захочет редактировать ни один программист своими руками)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #129 Ответы: #404, #419

403. Сообщение от Аноним (403), 08-Авг-24, 09:56   +/
Думаешь работают идиоты и оставляют отладочную информацию?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #98

404. Сообщение от n00by (ok), 08-Авг-24, 12:59   +/
> вообще-то поведение ни разу не эквивалентно,
> учитывая что старая программа содержит ненайденные дыры, поидее, переписанный Rust-аналог
> должен тоже segfault-иться (или вести себя неопределённо) в тех же местах
> что и C-код? :-)

Так нельзя бить по ненайденным дырам, это удар ниже пояса. Нарушение правил безопасности поединка, техническая победа присуждается Свидетелю ИИ.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #402

405. Сообщение от Аноним (405), 08-Авг-24, 13:53    Скрыто ботом-модератором+/
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #279

406. Сообщение от нах. (?), 08-Авг-24, 14:36   +/
да эти сп-ят как обычно, и будут трубить про импортозамещение.

Возрождение Кокома, с неиллюзорными сроками всем причастным к цапцарапу технологий или деталей, увы, маловероятно.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #393

408. Сообщение от nuzhnyemail (?), 08-Авг-24, 16:56   +/
К написанию AI код можно подходить по-разному. Последний пеиск - это мультиагентный граф из разных LLM. Например:
- один агент пишет для С кода тесты
- второй агент запускает тесты
- третий агент переписывает С код на Раст
- четвёртый агент запускает код на Раст и отдаёт текст ошибок третьему
- пятый агент переделывает С тесты на Раст тесты
- шестой агент запускает Раст тесты
- седьмой агент получает рабочий Раст код и результат тестов и в случае фейла передаёт ошибку на переделку

Вот из этих агентов строится граф, узлами которого являются разные LLM, обученные на своём домене. Рёбра графа - текст. Граф имеет внутренние циклы.
На вход графа подаётся исходник на С (возможно, уже существующие тесты на С), на выходе код на Раст, который собирается и проходит какие-то тесты.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #163

409. Сообщение от pavlinux (ok), 08-Авг-24, 21:02   +/

int main(int b,char**i){long long n=B,a=I^n,r=(a/b&a)>>4,y=atoi(*++i),_=(((a^n/b)*(y>>T)|y>>S)&r)|(a^r);printf("%.8s\n",(char*)&_);}


main <- function(b, i) {
  n <- B
  a <- I ^ n
  r <- (bitwAnd(a, b) & a) >> 4
  y <- as.numeric(i[[2]])
  _ <- (((bitwXor(a, n / b) * (bitwShiftR(y, T) | bitwShiftR(y, S))) & r) | bitwXor(a, r))
  cat(sprintf("%.8s\n", as.character(_)))
}

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #410

410. Сообщение от Аноним (90), 08-Авг-24, 22:38   +/
Код восхитительный для какой олимпиады.
Но, не дай бог-машина, такое чудо придет в проект и начнет выдавливать из себя такой код в прод.
После первого предупреждения - увольнять нафиг, иначе уже через пару месяцев код превратится в неподдерживаемую лапшу.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #409 Ответы: #411

411. Сообщение от pavlinux (ok), 09-Авг-24, 09:26   +/
> увольнять нафиг, иначе уже через пару месяцев код превратится в неподдерживаемую лапшу.

The International Obfuscated C Code Contest

https://www.ioccc.org/2020/burton/index.html

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #410 Ответы: #412

412. Сообщение от Аноним (-), 09-Авг-24, 10:58   +/
> The International Obfuscated C Code Contest
> https://www.ioccc.org/2020/burton/index.html

А... ну так я почти угадал.
Спец. олимпиада для особых программистов.
Ну и пособие для остальных "как не надо писать".


Ответить | Правка | Наверх | Cообщить модератору
Родитель: #411

413. Сообщение от Аноним (413), 10-Авг-24, 11:10   +/
Можешь попробовать std-либу билдить вместе со своим приложением. И тогда вкомпилится только то, что нужно. Но скорее всего (как и многие другие до тебя) начнешь жаловаться что "удобств нехватает" и "ну и какой смысл от этого вашего rust,  если даже ::fmt нельзя - сразу +100500кб. Лучше бы сидел на Си" и все в таком духе.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #350

414. Сообщение от Аноним (414), 10-Авг-24, 11:26   +/
У меня ничего на C# нет. А на винде не было выбора это не использовать, потому что оно является системным компонентом и стартует вместе с виндой (net framework с быстрым preload'ингом).

Кмк там где оно не пропихивается MS - там оно плохо работает или с костылями. И все равно медленно.

Скорее всего вам не C# как таковой больше наравится, а вообще вся экосистема в которой вам не надо пальцами шевелить чтобы сбилдить/документировать/не надо настраивать IDE/тестировать/деплоить а все уже сделано за вас любителями вендорлокать все живое.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #200

415. Сообщение от Прохожий (??), 10-Авг-24, 15:06   +/
Если предположить, что программа - это своего рода модель поведения, то приближенность к математике делает приближенность Rust к математике хорошим свойством.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #398

416. Сообщение от Прохожий (??), 10-Авг-24, 15:13   +/
Rust - универсальный язык программирования. Но на рынке - явный дефицит квалифицированных программистов. А программирование на Rust подразумевает под собой квалификацию немного выше средней (на мой взгляд, разумеется, я не претендую на объективность). Поэтому для задач, где распространены программисты с не особо высокой квалификацией, Rust встретить вряд ли возможно (ну или это будет очень редким явлением). Спектр же остающихся задач не так, чтобы очень широк - системное программирование, написание программ, требовательных к ресурсам. Примерно такая область применения.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #397 Ответы: #423

417. Сообщение от Прохожий (??), 10-Авг-24, 15:16   +/
Конечно, они там есть: безопасная работа с памятью, владение и заимствование, вывод типов и другие. Каша же получается в головах тех, кто не привык об этом думать.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #395

418. Сообщение от Прохожий (??), 10-Авг-24, 15:21   +/
В таком случае предположу, что "они" гоняются за наибольшим обхватом области применения, чтобы покрыть немалые затраты на содержание этих моделей. Но, ещё раз, никто не запрещает идти другим путём. И, думаю, пойдут, когда поймут, что нужна специализация в некоторых областях, критичных к точности получаемого результата.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #399

419. Сообщение от Прохожий (??), 10-Авг-24, 15:25   +/
Если получаемый результат программы на Rust будет в большинстве случаев таким же, как на C, но без сегфолтов, то почему бы и не принять такое определение эквивалентности?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #402

420. Сообщение от Аноним (420), 12-Авг-24, 16:22   +/
а можно спаять светодиоды... а можно на бересте нацарапать
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #350

421. Сообщение от Аноним (420), 12-Авг-24, 16:31   +/
через 30 лет чет сомнительно что раст будет жив
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #297

422. Сообщение от Минона (ok), 15-Авг-24, 10:24   +/
> К слову, это и есть недостаток раста. Он не даёт писать непродуманный
> код. И все сишники бесятся из-за этого.

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #244

423. Сообщение от Аноним (423), 15-Авг-24, 15:48   +/
> Rust - универсальный язык программирования. Но на рынке - явный дефицит квалифицированных программистов.

Я бы сказал, что "квалифицированных программистов" вообще дефицит.
Что для раста, что для сишки, даже для JS.
Сейчас человеку достаточно посмотреть десяток видосов, пройти курсы и считать себя программером.
Некоторые даже продвигают идею, что фундаментальное образование не нужно, можно все в интернете выучить.

> А программирование на Rust подразумевает под собой квалификацию немного выше средней (на мой взгляд, разумеется, я не претендую на объективность).

Думаю для C/C++ тоже. Это не на пыхе сайты-визитки лабать.
Но тут скорее проблема в том что сишники будут уже с переломанным мозгом.
Найти программера который начинал не с сишки, но теперь в ней специализируется очень сложно.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #416

424. Сообщение от RM (ok), 18-Сен-24, 11:29   +/
> факт что бинари программ юзаются как "расширение свопа" в том смысле что их паги по мнению ядра можно отбросить при душняке - и перечитать с диска потом, если надо.

"Пафиксили" уже в 6.11, разрешив писать в файлы, из которых процессы запущены
> Предоставлена поддержка записи в исполняемые файлы, связанные с работающими процессами. Ранее, как и в других Unix-подобных системах, ядро выводило ошибку при попытке записи в исполняемый файл запущенного процесса. Данное ограничение снято, так как оно лишено практического смысла

https://www.opennet.me/opennews/art.shtml?num=61869


Ответить | Правка | Наверх | Cообщить модератору
Родитель: #385

425. Сообщение от RM (ok), 18-Сен-24, 11:38   +/
> Но современные LLM вполне себе могут пройти тот самый тест на человекоподобность

Пфффф... Подогнать под ответ могут все
А ты спроси свою любимую модель
"У Алисы 2 брата и 3 сестры. Сколько сестёр у брата Алисы?"
Вот мы и поржём. Пока опять не подгонят под ответ.
И я так понял что что такое проблема останова ты не прочитал или не осознал.
На пальцах обьяснение пох тебе же написал - вариантов входных данных много. Врукопашку юнит тестами не покроешь
А вот алгоритма проверить другой алгоритм - нет (ну или не придумали)
Говорят что функцональщина вроде Хаскела это может, но "это не точно"

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #387 Ответы: #427

426. Сообщение от RM (ok), 18-Сен-24, 11:50   +/
> Полную тождественность - скорее всего невозможно. А достаточную, думаю, вполне.

Анекдот советских времён
- Сколько будет 2x2?
- Семь?
- Ну да, где-то так, пять-шесть...

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #388

427. Сообщение от Аноним (-), 18-Сен-24, 11:54   +/
> А ты спроси свою любимую модель
> "У Алисы 2 брата и 3 сестры. Сколько сестёр у брата Алисы?"

Алиса это мальчик, девочка или вообще умная колонка?
А то в современном мире случается всякое)

> Вот мы и поржём. Пока опять не подгонят под ответ.

Ну так мясные мешки тоже не все ответят.
Треть народу думает что солнце вокруг земли крутится.
Оно тест на "человекоподобность" тоже не пройдут?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #425


Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2025 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру