https://opennet.me/openforum/vsluhforumID3/134471.html Управление перспективных исследовательских проектов Министерства обороны США (DARPA) представило проект TRACTOR (Translating All C to Rust), развивающего транслятор для автоматического преобразования проектов на языке Си в представление на языке Rust. Транслятор примечателен использованием методов машинного обучения для достижения уровня результирующего кода на Rust, близкого по стилю и качеству к коду, написанному опытным программистом, и использующего только безопасные методы для работы с памятью без включения блоков и функций, помеченных ключевым словом "unsafe". Предполагается, что развиваемый транслятор позволит решить проблему с безопасностью старого кода на языке Си и избавиться от потенциальных уязвимостей, вызванных небезопасной работой с памятью и неопределённым поведением...<br><br>Подробнее: https://www.opennet.ru/opennews/art.shtml?num=61656<br> https://opennet.me/openforum/vsluhforumID3/134471.html#427 Wed, 18 Sep 2024 08:54:35 GMT &gt; А ты спроси свою любимую модель <br>&gt; "У Алисы 2 брата и 3 сестры. Сколько сестёр у брата Алисы?" <br><br>Алиса это мальчик, девочка или вообще умная колонка?<br>А то в современном мире случается всякое)<br> <br>&gt; Вот мы и поржём. Пока опять не подгонят под ответ.<br><br>Ну так мясные мешки тоже не все ответят.<br>Треть народу думает что солнце вокруг земли крутится.<br>Оно тест на "человекоподобность" тоже не пройдут?<br><br><br><br> https://opennet.me/openforum/vsluhforumID3/134471.html#426 Wed, 18 Sep 2024 08:50:23 GMT &gt; Полную тождественность - скорее всего невозможно. А достаточную, думаю, вполне.<br><br>Анекдот советских времён<br>- Сколько будет 2x2?<br>- Семь?<br>- Ну да, где-то так, пять-шесть...<br><br> https://opennet.me/openforum/vsluhforumID3/134471.html#425 Wed, 18 Sep 2024 08:38:40 GMT &gt; Но современные LLM вполне себе могут пройти тот самый тест на человекоподобность<br><br>Пфффф... Подогнать под ответ могут все<br>А ты спроси свою любимую модель<br>"У Алисы 2 брата и 3 сестры. Сколько сестёр у брата Алисы?"<br>Вот мы и поржём. Пока опять не подгонят под ответ.<br>И я так понял что что такое проблема останова ты не прочитал или не осознал.<br>На пальцах обьяснение пох тебе же написал - вариантов входных данных много. Врукопашку юнит тестами не покроешь<br>А вот алгоритма проверить другой алгоритм - нет (ну или не придумали)<br>Говорят что функцональщина вроде Хаскела это может, но "это не точно"<br> https://opennet.me/openforum/vsluhforumID3/134471.html#424 Wed, 18 Sep 2024 08:29:55 GMT &gt; факт что бинари программ юзаются как "расширение свопа" в том смысле что их паги по мнению ядра можно отбросить при душняке - и перечитать с диска потом, если надо.<br><br>"Пафиксили" уже в 6.11, разрешив писать в файлы, из которых процессы запущены<br>&gt; Предоставлена поддержка записи в исполняемые файлы, связанные с работающими процессами. Ранее, как и в других Unix-подобных системах, ядро выводило ошибку при попытке записи в исполняемый файл запущенного процесса. [b]Данное ограничение снято, так как оно лишено практического смысла[/b]<br><br>https://www.opennet.me/opennews/art.shtml?num=61869<br><br><br> https://opennet.me/openforum/vsluhforumID3/134471.html#423 Thu, 15 Aug 2024 12:48:47 GMT &gt; Rust - универсальный язык программирования. Но на рынке - явный дефицит квалифицированных программистов. <br><br>Я бы сказал, что "квалифицированных программистов" вообще дефицит.<br>Что для раста, что для сишки, даже для JS.<br>Сейчас человеку достаточно посмотреть десяток видосов, пройти курсы и считать себя программером.<br>Некоторые даже продвигают идею, что фундаментальное образование не нужно, можно все в интернете выучить.<br><br>&gt; А программирование на Rust подразумевает под собой квалификацию немного выше средней (на мой взгляд, разумеется, я не претендую на объективность). <br><br>Думаю для C/C++ тоже. Это не на пыхе сайты-визитки лабать.<br>Но тут скорее проблема в том что сишники будут уже с переломанным мозгом.<br>Найти программера который начинал не с сишки, но теперь в ней специализируется очень сложно.<br> https://opennet.me/openforum/vsluhforumID3/134471.html#422 Thu, 15 Aug 2024 07:24:16 GMT &gt; К слову, это и есть недостаток раста. Он не даёт писать непродуманный <br>&gt; код. И все сишники бесятся из-за этого.<br><br>Это достоинство.<br> https://opennet.me/openforum/vsluhforumID3/134471.html#421 Mon, 12 Aug 2024 13:31:46 GMT через 30 лет чет сомнительно что раст будет жив<br> https://opennet.me/openforum/vsluhforumID3/134471.html#420 Mon, 12 Aug 2024 13:22:33 GMT а можно спаять светодиоды... а можно на бересте нацарапать<br> https://opennet.me/openforum/vsluhforumID3/134471.html#419 Sat, 10 Aug 2024 12:25:06 GMT Если получаемый результат программы на Rust будет в большинстве случаев таким же, как на C, но без сегфолтов, то почему бы и не принять такое определение эквивалентности?<br>