The OpenNET Project / Index page

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



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

"Введён в строй AI-сервис Sashiko для рецензирования изменений в ядре Linux"  +/
Сообщение от opennews (??), 20-Мрт-26, 00:09 
Роман Гущин (Roman Gushchin) из команды разработчиков ядра Linux, работающий в Google, объявил о создании новой системы проверки кода с использованием больших языковых моделей. Разработка велась последние несколько месяцев и получила название Sashiko, в честь традиционного японского плетения, состоящее из небольших прямых стежков, образующих разные узоры...

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

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

Оглавление

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

1. Сообщение от Аноним (1), 20-Мрт-26, 00:09   +16 +/
> смог обнаружить 53% ошибок

Это всё edge cases, которые зачастую нереально триггернуть. Или вообще false positive на намеренный дизайн кода.

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

5. Сообщение от Сладкая булочка (?), 20-Мрт-26, 00:17   +1 +/
Если будет находить ошибки, то пусть будет. Все равно сбоку. Минусы?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #17, #35, #73

7. Сообщение от Сладкая булочка (?), 20-Мрт-26, 00:18   +/
> Судя по проведённым тестам, при использовании модели Gemini 3.1 Pro инструментарий Sashiko смог обнаружить 53% ошибок из не отфильтрованного набора, включающего 1000 недавних проблем в ядре, отмеченных тегами "Fixes:". На первый взгляд 53% выглядит не слишком впечатляющим, но следует иметь в виду, что все из выявленных проблем вначале не были замечены при рецензировании людьми.

А где эти ошибки посмотреть?

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

8. Сообщение от Аноним (8), 20-Мрт-26, 00:20   –5 +/
> Это всё edge cases,

Работа разработчика и заключается в обработке краевых случаем.
С набором кода справится машинистка (раньше), или веб-makaka (сейчас).

> которые зачастую нереально триггернуть.

А вот когда случается, то "ахтунг в ядре почти 10 лет жила дырень [1]" и "сайт kernel.org был взломан джва года [2]".

> Или вообще false positive на намеренный дизайн кода.

Но доказательств твоему набросу мы не увидим)?


[1] opennet.me/opennews/art.shtml?num=45354
Критическая уязвимость в ядре Linux, уже эксплуатируемая злоумышленниками

[2] opennet.me/opennews/art.shtml?num=61186
SSH-бэкдор, установленный при взломе kernel.org, два года оставался незамеченным

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

9. Сообщение от Аноним (9), 20-Мрт-26, 00:27   +/
Упс… они думали никто не спросит
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #7

10. Сообщение от Аноним (10), 20-Мрт-26, 00:44   +/
>А где эти ошибки посмотреть?

- https://sashiko.dev
- https://github.com/sashiko-dev/sashiko

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

11. Сообщение от Аноним (11), 20-Мрт-26, 01:02   +4 +/
> в честь традиционного японского плетения, состоящее из небольших прямых стежков, образующих разные узоры.

Что-то запахло растом и аниме

> Код Sashiko написан на языке Rust

А, понятно.

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

16. Сообщение от Аноним (16), 20-Мрт-26, 01:16   –5 +/
Ну не всем быть старыми прдунами, которые ненавидят мир и веселье.

Вон астрономы в честь анимешных персонажей называют астероиды (Тоторо, Миядзаки)

Но там лицензия апач, так что ты можешь форнуть и переименовать в Занудоляндию))
Правда раст всё равно придется освоить

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

17. Сообщение от Аноним (17), 20-Мрт-26, 01:18   –2 +/
к хорошему быстро привыкаешь, раз, другой найдет, в десятый и сотый, а на сто первый споткнется, а живой человек опоздывающий на электичку к маме решит что и пофиг, и вот, тем более в моделях этих регулярно находят пути пропихнуть чтото
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5 Ответы: #18

18. Сообщение от Аноним (18), 20-Мрт-26, 01:23   +/
> а живой человек опоздывающий на электичку к маме решит что и пофиг,

А что ему мешает так сделать вот прям щас?
Без всяких ЫЫ?
Ну типа "у меня была cpaчка, поэтому я забил на ревью"

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

19. Сообщение от Аноним (17), 20-Мрт-26, 01:26   –2 +/
> Ну не всем быть старыми прдунами, которые ненавидят мир и веселье.

всем, ну кто доживет, а остальным да, секс наркотики рон рол, и могилка в 30 лет.

> Миядзаки

это который игры с ядовитыми болотами придумал и непроходимыми боссами, ага, весело.

> Правда раст всё равно придется освоить

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

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

20. Сообщение от Аноним (20), 20-Мрт-26, 01:33   +/
> всем, ну кто доживет, а остальным да, секс наркотики рон рол, и могилка в 30 лет.

Нынешние смузихлебы лучше выпьют смузи и пойдут на йогу))
Это диды упарывались, собирали марки и писали такой код, что через 30 лет дыры находят.

> это который игры с ядовитыми болотами придумал

Не, то другой.
Который мультики для детей рисовал.

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

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

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

21. Сообщение от Аноним (17), 20-Мрт-26, 01:33   +1 +/
ответственность, ну типа код совсем без проверки нельзя, а тут вроде как была какаято, в ином случае он бы отложил мб, а так ну мб проканает

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

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

22. Сообщение от Аноним (17), 20-Мрт-26, 01:47   +1 +/
в вашем коде ошибок через 30 лет не находят потому, что 30 лет еще не прошло

> Который мультики для детей рисовал

это был сарказм, там этих миядзаки как смитов


> Про "почитать документацию и гарантии" я вообще молчу.

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

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

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

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

23. Сообщение от Аноним (11), 20-Мрт-26, 01:51   +/
> К сожалению растохейтеры настолько дундуки, что отличить логическую ошибку от порчи памяти не смогли. Про "почитать документацию и гарантии" я вообще молчу.

Дак к порче памяти тоже логические ошибки приводят.


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

24. Сообщение от cheburnator9000 (ok), 20-Мрт-26, 01:53   +/
Нет бы сразу нормальный язык погромирования выбрать, ну там С++ хотя бы.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #25, #48

25. Сообщение от Аноним (25), 20-Мрт-26, 02:23   +/
Плюсы растсеры сейчас опускают так же, как плюснутые опускали паскаль в своё время.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #24 Ответы: #44

26. Сообщение от Аноним (11), 20-Мрт-26, 02:28   +2 +/
А что, весь мир и веселье это исключительно аниме? И схерали ты взял что все, кто не любит аниме, ненавидят мир и веселье?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #16 Ответы: #95

31. Сообщение от Аноним (31), 20-Мрт-26, 07:07   +1 +/
> смог обнаружить 53.6% ошибок из неотфильтрованного набора, включающего 1000 недавних проблем в ядре, отмеченных тегами "Fixes

Т.е. ИИ искал в 1000 постах тег Fixes? И нашел только 53,6%. Долго искал? Круто, чо.

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

35. Сообщение от нах. (?), 20-Мрт-26, 08:14   –1 +/
Минусы очевидные: 20% ложных срабатываний. Т.е. каждая пятая найденная им "ошибка" - бесполезная трата времени разработчика (причем ОЧЕНЬ грамотного, потому что разбирать эти сопли - сложно).

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

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

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

37. Сообщение от vibecoder (?), 20-Мрт-26, 08:34   +1 +/
> Минусы очевидные: 20% ложных срабатываний.

Вспомни что из себя представлял ИИ-кодинг 2 года назад. Акцентирую: ДВА ГОДА назад.

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

38. Сообщение от mikhailnov (ok), 20-Мрт-26, 08:40   +/
Выглядит полезной штукой
Ответить | Правка | Наверх | Cообщить модератору

40. Сообщение от Аноним (40), 20-Мрт-26, 08:42   +/
Без MalwareScript не рендерится. Товарищи вайбкодеры, раз платформу навайбкодили, могли бы навайбкодить и progressive enhancement. У вас есть рабочий JS-вариант, по нему ИИ накодит вам и не-JS вариант, и интегрирует первое в последнее. "Нам трудно" - в эпоху вайбкодинга - жалкие отговорки.
Ответить | Правка | Наверх | Cообщить модератору

44. Сообщение от INSANEWAVE (ok), 20-Мрт-26, 09:05   +1 +/
А разве паскаль это не учебный язык?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #25 Ответы: #50, #82, #84

46. Сообщение от Аноним (47), 20-Мрт-26, 09:26   +1 +/
> 53.6% [...] из выявленных проблем вначале не были замечены при рецензировании людьми и оказались включены в основную ветку ядра

Смешно, как местные воины против ИИ тактично игнорируют этот факт. Неудобненько выходит, да?

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

47. Сообщение от Аноним (47), 20-Мрт-26, 09:29   +/
> Вспомни что из себя представлял ИИ-кодинг 2 года назад. Акцентирую: ДВА ГОДА назад.

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

Так что не жди от него адекватной дискусии по поводу ИИ.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #37 Ответы: #72, #76, #92, #114, #117

48. Сообщение от Аноним (48), 20-Мрт-26, 09:31   –1 +/
Да. Сразу на ассемблере.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #24

49. Сообщение от нах. (?), 20-Мрт-26, 09:53   +/
> Вспомни что из себя представлял ИИ-кодинг 2 года назад. Акцентирую: ДВА ГОДА назад.

ну вот через два года и приходите.

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

  

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

50. Сообщение от нах. (?), 20-Мрт-26, 09:56   –5 +/
Нет. Потому что ничему не учит полезному в реальной жизни.

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

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

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

59. Сообщение от Аноним (59), 20-Мрт-26, 10:25   +/
Неудобненько будет продираться через слоп-ревью, которые нагаллюцинируют несуществующих проблем.
Может проведешь обратное исследование? Сколько люди заметили проблем, которые ИИ не заметил? Отслеживай фиксы в код, который этот ИИ пропустит и не игнорируй, сообщай.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #46 Ответы: #90

62. Сообщение от Аноним (62), 20-Мрт-26, 10:34   –2 +/
Не проблема, пропустят все позитивы через куда более дорогой клод-код (но Gemini - это всё равно моя любимая модель, она менее цензурирована, менее натаскана на лицемерие, и лучше справляется с длинными контекстами, другие модели в них начинают путаться и забывать куски информации, изначально впихнутой).
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #35 Ответы: #75

64. Сообщение от Аноним (64), 20-Мрт-26, 10:38   +/
> Работа разработчика и заключается в обработке краевых случаем.

Ты не смог сюда правильно сообщение написать, откуда тебе знать, в чем "заключается работа разработчика"?

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

66. Сообщение от Аноним (66), 20-Мрт-26, 10:39   +/
53,6% с 20% ложных срабатываний - это уже только 43%. Уже не так круто выглядит, не так ли?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #46 Ответы: #77, #107

69. Сообщение от Мемоним (?), 20-Мрт-26, 10:51   –3 +/
> бесполезная трата времени разработчика

А что, патчи в рассылке ОЧЕНЬ грамотные уже не читают?

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

70. Сообщение от Аноним (70), 20-Мрт-26, 11:01   +/
>> 2 года назад. Акцентирую: ДВА ГОДА назад.
> ну вот через два года и приходите

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

> мусор на лопате. Точно так же как был мусором код жва года назад.

Не неси чушь. Два года назад ничего подобного ИИ еще не умел.

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

71. Сообщение от Аноним (70), 20-Мрт-26, 11:05   +/
> диалектах, пускающих всю строгость и бесполезную мишуру побоку.

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

> Остается только синтаксический сахарок с словесами вместо скобочек и оператор присваивания

Не, остается нормальный язык, со ссылками, строгой типизацией, массивами, строками, полным контролем над проверками переполнений/индексов, полноценными юнитами компиляции и т.п.

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

72. Сообщение от Аноним (72), 20-Мрт-26, 11:29   +2 +/
1) Не жду адекватной дискуссии от тех, кто смешивает LLM и SD.
2) LLM-ки как бредили, так и продолжают. Это их врожденное свойство.
3) В этом году анонсировали игру с шестью пальцами на промо-арте. Азаза!
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #47 Ответы: #109

73. Сообщение от kusb (?), 20-Мрт-26, 11:38   +/
Видимо это иррационально для людей.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5

74. Сообщение от пох. (?), 20-Мрт-26, 11:38   +/
> Так они через два годы и пришли.

"Разработка велась последние несколько месяцев"

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

СЕЙЧАС, а не два года назад.

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

75. Сообщение от пох. (?), 20-Мрт-26, 11:40   +/
ага, а оплачивать токены ты им будешь?

gemini - принадлежит гуглу и платить они не собирались.

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

76. Сообщение от нах. (?), 20-Мрт-26, 11:56   +/
> "азаза, шесть пальцев111"

то ли вот дело щас...

https://pbs.twimg.com/media/HDjOgbzbgAE0cRG.jpg - очевидно ж что фейк. Ни прическа не совпадает, ни разрез глаз.

> Так что не жди от него адекватной дискусии по поводу ИИ.

конечно, не до адекватности, тут от смеха бы не лопнуть нафиг.

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

77. Сообщение от Аноним (77), 20-Мрт-26, 12:01   +1 +/
> Уже не так круто выглядит, не так ли?

Как сказать.
Ну пусть будут 43%. Мясные мешки пропустили 43% багов в своих же фиксах.

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

78. Сообщение от Аноним (70), 20-Мрт-26, 12:05   +/
> и оно дает каждое пятое ложное срабатывание, а половину реальных ошибок не видит.

Как тактично ты игнорируешь ключевое: "53.6% [...] выявленных проблем вначале не были замечены при рецензировании людьми и оказались включены в основную ветку ядра".

> СЕЙЧАС, а не два года назад.

Именно. Два года назад он бы и близко к 53% не обнаружил.

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

80. Сообщение от Аноним (80), 20-Мрт-26, 12:13    Скрыто ботом-модератором+1 +/
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #64

81. Сообщение от Аноним (81), 20-Мрт-26, 12:30   +/
> причем ОЧЕНЬ грамотного, потому что разбирать эти сопли - сложно

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

> большая часть вероятнее всего никогда в реальности не проявится.

Ну-ну, а потом "у нас очередная RCE жила 5 лет! Кто же могу подумать?!"

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

82. Сообщение от Аноним (70), 20-Мрт-26, 12:33   +1 +/
> А разве паскаль это не учебный язык?

Нет, на Delphi написано полно пользовательского и промышленного софта.

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

83. Сообщение от Аноним (83), 20-Мрт-26, 12:36   +4 +/
>Работа разработчика и заключается в обработке краевых случаем.

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

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

84. Сообщение от Аноним (84), 20-Мрт-26, 12:40   +/
Нет, на паскале написана игра HROT
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #44

85. Сообщение от Аноним (84), 20-Мрт-26, 12:43   +/
>Бюджет токенов и инфраструктуру Sashiko финансирует Google

Почему гугл оплачивает такой бесполезный банкет, да и еще так дорого, что они от этого получат?

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

86. Сообщение от Аноним (86), 20-Мрт-26, 12:45   +/
Разумеется, Гугл будет покупать токены Клода и OpenAI. Там все дистиллируют со всех. Иначе  - вылетишь из топа.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #75

88. Сообщение от Аноним (90), 20-Мрт-26, 12:53   +/
https://sashiko.dev/#/patchset/20260320-no-gpio-control-v2-0...

Since chip is managed by devres, it is freed when the probe fails, resulting in a use-after-free when the delayed work eventually executes.

О... очередные use-after-free :)
Эта песня может длиться вечно)))

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

89. Сообщение от Аноним (11), 20-Мрт-26, 12:57   +/
Это не всегда так, и возможно нет там никакого use-after-free.
Много раз отправлял патчи на подобное в рассылку и мейнтейнеры давали развернутый ответ почему это не так.

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

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

90. Сообщение от Аноним (90), 20-Мрт-26, 12:57   –1 +/
> Неудобненько будет продираться через слоп-ревью

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

И сразу так неудобненько становится.
Приходится начинать оправдываться "да оно никогда не произойдет!"

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

91. Сообщение от Аноним (91), 20-Мрт-26, 13:23   +/
Где главное в новости? Что думает по этому поводу Линус Торвальдс?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #94

92. Сообщение от Аноним (92), 20-Мрт-26, 13:23   –1 +/
Шесть пальцев - это уже мем. Тут недавно видео с политиком одной тирании публиковали. Там шесть пальцев было. Надо же. Почему?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #47

93. Сообщение от Аноним (92), 20-Мрт-26, 13:30   +/
Если бы у бабки были ...

Такой задачей озаботились только сейчас. Сейчас ИИ финансовая пирамида грозит всех задавить. Вон уже владельцы корпораций обещают сильный ИИ к концу года. Тот кто в курсе, сразу понимает, что так он выпрашивает себе времени до конца года. Хоть как-то смягчить падение. И вливает бабки в рекламу. Что нужно для рекламы? Применения! Вот и занялись, наконец-то этим.

А так. Тут попытались сбалансировать между ложноположительными и ложноотрицательными срабатывания. Как всегда.

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

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

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

94. Сообщение от Аноним (25), 20-Мрт-26, 13:36   –2 +/
Умеет ли он это сейчас делать - вот вопрос.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #91 Ответы: #96

95. Сообщение от Аноним (92), 20-Мрт-26, 13:37   –1 +/
Ну, примерно так же, как религиозные уверенны, что доброта от бога. Что эволюция оставила в итоге только тех, среди кого было больше добрых, лучше, даже, не заикаться.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #26

96. Сообщение от Аноним (91), 20-Мрт-26, 14:03   +/
А ты умеешь?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #94

104. Сообщение от Анонисссм (?), 20-Мрт-26, 17:27   +/
>кцентирую: ДВА ГОДА назад.

трансформеры придумали 7 лет назад. как раз на днях была статья про то что все GPT под капотом одинаковые, только меняются мелочи типа количесва экспертов и тип внимания. короче, развития нет.

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

что скажешь в оправдание слопа?

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

105. Сообщение от vibecoder (?), 20-Мрт-26, 19:19   +/
> что скажешь в оправдание слопа?

С трудом дочитал до конца твой комментарий. Похоже он и есть слоп.

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

106. Сообщение от Аноним (106), 20-Мрт-26, 19:22   +1 +/
Перечитал твой бред дважды, через силу.
Ссылки на статью не увидел.

Предположу, что ты ранняя ступень развития нейросетки имитирующей человека.
Как минимум учебник русского в тебя не загрузили.
Я уже молчу, про такие вещи как "приведение доказательств".


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

107. Сообщение от Аноним (107), 20-Мрт-26, 19:41   +/
> 53,6% с 20% ложных срабатываний - это уже только 43%. Уже не так круто выглядит, не так ли?

Да нет, все так же круто. Получить на 5 срабатываний 3 реальные ошибки, да еще и таких, которые иначе не заметили бы люди - это крутой результат.

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

108. Сообщение от нах. (?), 20-Мрт-26, 20:32   +/
он ничего не оплачивает, просто перекладывает деньги из левого кармана в правый, и то со скидкой 100%

Эта нейробредилка работает на Google Gemini Pro 3.1 - угадай с трех раз, какой компании принадлежит?

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

109. Сообщение от нах. (?), 20-Мрт-26, 20:38   +/
> В этом году анонсировали игру с шестью пальцами

ты ничего не понимаешь, это сеттинг такой.
Там игра про ЫЫ-постапокалипсис.

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

110. Сообщение от Аноним (110), 20-Мрт-26, 20:43   +/
> Такой задачей озаботились только сейчас

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

> Тот кто в курсе, сразу понимает, что так он выпрашивает себе времени до конца года. Хоть как-то смягчить падение. И вливает бабки в рекламу.

Очередная порция экспертизы от диванных экономистов. Какой год подряд вы там поете про "вот-вот, уже сейчас лопнет!"?

Кстати, когда там уже крипта лопнет? Больше десяти лет уже жду! 🤣

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

111. Сообщение от Аноним (-), 20-Мрт-26, 22:45   +/
Теоретики в треде? Разработчик решает задачу посредством создания модели реальности в коде, весь его код опирается на эту модель. Из этого с неизбежностью вытекают стандартные проблемы для моделей: любая модель несовершенна, либо она громоздка до уровня бесполезности (Джонатана Свифт описывал эту бесполезность на примере карты в масштабе 1:1).

Любая модель содержит упрощения, и что самое интересное, когда ты эту модель создаёшь, ты не знаешь заранее, какие упрощения тебя потом укусят, потому что для того, чтобы знать, надо сначала разработать программу: разработчик изучает предметную область на необходимом уровне детализации в процессе разработки программы. И поэтому неизбежно потом вылезают те самые edge-cases, ты их можешь найти в любом реальном проекте, заглянув в багтрекер.

Но в теории, конечно, очень уютно: правильная модель избавляет от edge-cases.

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

112. Сообщение от Аноним (-), 20-Мрт-26, 22:53   +/
> Это всё edge cases, которые зачастую нереально триггернуть.
> зачастую

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

Кроме того, как правило эту "нереальность" невозможно доказать, потому что... сложная система. Потому что можно повысить вероятность того, что код наступит на edge-case, а потом погонять его достаточно долго, чтобы вероятность выстрелила. Как и насколько можно повысить вероятность -- это очень и очень неочевидно. Алгоритмические попытки ответить на этот вопрос undecidable.

> Или вообще false positive на намеренный дизайн кода.

Читать, моя твая не умей? "53.6% ошибок из неотфильтрованного набора, включающего 1000 недавних проблем в ядре, отмеченных тегами "Fixes:"."

Из того, что разработчики признали ошибками, нейросетка признала ошибками 53.6%. Это не "намеренный дизайн кода". То о чём ты говоришь описано в одном из последующих предложений: "Уровень ложных срабатываний, оценённый на основе выборочной ручной проверки, составил не более 20%.".

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

114. Сообщение от Аноним (114), 20-Мрт-26, 23:33   +/
> шести пальцах

вот пряв вот недавно-недавно нетаньяху по тельавизору шестипалого показывали...

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

115. Сообщение от Аноним (117), 21-Мрт-26, 01:01   +2 +/
> Sashiko смог обнаружить 53.6% ошибок из неотфильтрованного набора

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

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

116. Сообщение от Аноним (116), 21-Мрт-26, 01:02   +/
>Теоретики в треде?

Ну тыж тут.

>Любая модель содержит упрощения

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

>(Джонатана Свифт описывал эту бесполезность на примере карты в масштабе 1:1).

А сколько систем построил Джонатан Свифт, чтоб его мнение принимать в расчет?

>чтобы знать, надо сначала разработать программу

"Имитмоделирование? Не, не слышали".

>разработчик изучает предметную область на необходимом уровне детализации в процессе разработки программы.

Это разговоры в пользу недоучек :)

>И поэтому неизбежно потом вылезают те самые edge-cases, ты их можешь найти в любом реальном проекте, заглянув в багтрекер.

Найди мне багтрекер радара или самолета, трепло.

>Но в теории, конечно, очень уютно: правильная модель избавляет от edge-cases.

В теории между теорией и практикой нет разницы. Потому что... теорию ты строишь перебором краевых эффектов? Ну, можно и так, но зачем? Когда

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

117. Сообщение от Аноним (117), 21-Мрт-26, 01:09   +/
> Два года назад вот этот персонаж бегал тут в комментариях с "азаза, шесть пальцев111" (можешь найти его комменты в истории). Сейчас почему-то о шести пальцах больше не вспоминает.

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

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

118. Сообщение от Аноним (116), 21-Мрт-26, 01:12   +/
...Когда есть ограничения сверху и снизу, в рамках собственно "матаппарата" предметной области, который существенно не меняется в практически применимых случаях. Или ты каждый раз физику по краевым случаям переизобретаешь? Это при вбросах "тайм-ту-маркет" модели фактически нет -- есть "ху-як-ху-як и в продакшен". А краевые эффекты покраски кнопок и скруглений и майнинг шиткоинов -- это вообще мусор, прогрев гоев и атмосферы. Поэтому у них "багтрекер" вместо моделей.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #111

119. Сообщение от Аноним (119), 21-Мрт-26, 01:27   +/
> Кстати, когда там уже крипта лопнет? Больше десяти лет уже жду! 🤣

Про доткомы то же ждал, пока лопнет?

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

120. Сообщение от Аноним (119), 21-Мрт-26, 01:31   +/
Насчёт криптовалюты и лопнет:

Всего с 2009 года обанкротилось не менее 17 крупных криптовалютных бирж, причем пик пришелся на 2022 год.

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

121. Сообщение от Аноним (-), 21-Мрт-26, 01:33   +/
> Кстати, когда там уже крипта лопнет? Больше десяти лет уже жду! 🤣

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



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

122. Сообщение от Аноним (119), 21-Мрт-26, 01:34   +/
> Очередная порция экспертизы от диванных экономистов. Какой год подряд вы там поете про "вот-вот, уже сейчас лопнет!"?

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

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

123. Сообщение от Аноним (119), 21-Мрт-26, 01:37   +/
Очевидно, это у вас стёб такой. Ибо уж что-то но ИИ всегда выдает синтаксически правильную семантическую муть. То что семантически будет верно - это точно.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #106

124. Сообщение от Онаим (?), 21-Мрт-26, 11:30   +/
Откройте рот... Так, закройте. Не вижу патологии, мешающей тоже говорить про 53%!
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #115

125. Сообщение от Аноним (125), 21-Мрт-26, 11:39   +/
> Ну тыж тут.

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

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

Короче, не надо себя обобщать на меня, ты рылом для этого не вышел.

> Нужна не "любая", а адекватная модель, упрощения которой не влияют на целевую функцию.

Гагага. Ты не знаешь, что влияет, а что нет, пока не написал программу.

> А сколько систем построил Джонатан Свифт, чтоб его мнение принимать в расчет?

Ты видимо построил много систем и не согласен с Джонатаном Свифтом? Ты не мог бы изложить тезисно это своё несогласие, мне очень интересно послушать, как ты будешь аргументировать полезность карты страны в масштабе 1:1.

Не, а если серьёзно: чо совсем сказать нечего, что ты в такой позорный ad hominem скатываешься?

> Это разговоры в пользу недоучек :)

Опять ad hominem? Видимо да, нечего.

> "Имитмоделирование? Не, не слышали".

Создать модель модели, чтобы промоделировать модель моделью.

Как там было? В программировании дополнительным уровнем абстракции можно решить любую проблему, кроме проблемы слишком большого количества уровней абстракций? Так? Или я что-то неправильно помню?

> Найди мне багтрекер радара или самолета, трепло.

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

Хочешь поговорить, чем таким разработка софта отличается от настоящего инженерного дела, и почему софт не может избавиться от багов и почему выискивание edge-case'ов -- это один из ключевых навыков программиста?

Но, справедливости ради, если ты глянешь на историю самолётостроения, ты можешь найти историй багов столько, что никогда не закончишь их разбирать. Начать можешь с блога Admiral Cloudberg: Кира весьма увлекательно пишет об этом. Там далеко не все истории про инженерные и/или софтовые баги, там есть и про баги менеджмента, регуляторов, людей, ... Но немало багов именно инженерных. С радарами я, увы, ничего посоветовать не могу. Если тебе так интересно, придётся искать самостоятельно.

> В теории между теорией и практикой нет разницы.

Это зависит от теории. В некоторых теориях 1+1=10.

> Потому что... теорию ты строишь перебором краевых эффектов?

Есть единственная теория, которую можно выстроить перебором краевых эффектов -- это теория проблемы останова.

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

126. Сообщение от Аноним (126), 21-Мрт-26, 12:09   +/
>Five Fingers Does a screenshot of a video show that Israeli Prime Minister Benjamin Netanyahu has six fingers? No, that's not true: The screenshot captured a moment when there is a shadow on the side of his hand. The full video from Israel's Government Press Office shows him speaking and gesturing with his hands, each of which has five fingers.

Сам видео не смотрел, что сообщение от "фактчекеров" в инете правдиво поручиться не могу.

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

129. Сообщение от нах. (?), 21-Мрт-26, 14:24   –1 +/
> А что это за диалект Паскаля такой

вот например та самая дельфя.

> Не, остается нормальный язык

до первого SetLength (с неправильно посчтитанным вторым параметром, канешна).
ну или вовсе asm чтотатам end

Потому что со всеми этими полными контролями банальный сетевой пакет обработать - не получаетсо.

Я уж молчу о том чтобы сделать это эффективно, а не двадцать раз копировать "массив".

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

130. Сообщение от Аноним (110), 21-Мрт-26, 16:03   –1 +/
> вот например та самая дельфя.

Ты забыл привести пример, как Delphi "пускает строгость побоку".

> Потому что со всеми этими полными контролями банальный сетевой пакет обработать - не получаетсо.
> Я уж молчу о том чтобы сделать это эффективно, а не двадцать раз копировать "массив".

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

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

131. Сообщение от Аноним (131), 22-Мрт-26, 05:31   +/
Ментор Пайлот тут как раз опубликовал очередное видео на тытрубе про баг в самолёте: DHHeGrvuAhg

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

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

132. Сообщение от нах. (?), 22-Мрт-26, 08:25   +/
тебе прямо ткнули в морду, как именно, но твое образование заборостроителя не позволило тебе понять написанного.

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

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

133. Сообщение от Аноним (133), 23-Мрт-26, 10:40   +/
Это не так работает. Слоп время от времени будет содержать буквально то, чего в коде нет, и этот очевидный разработчику факт не будет очевиден нетехническим манагерам и большим техническим директорам своей жопы. В ИИ для ревью ничего плохого не вижу, использую постоянно.

>Ты супер-мега-опытных софтваря-ЫнжЫнегp

А ты вообще кто? Венду настраиваешь, мышки подключаешь?

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

134. Сообщение от Аноним (92), 23-Мрт-26, 16:06   +/
Смотрел. Там реально 6.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #126

135. Сообщение от Аноним22 (?), 24-Мрт-26, 08:03   +1 +/
Почитал коменты, такое впечатление, что здесь половина а то и больше, считают, что ии это что-то вроде поделки, которая выдает галюцинации в каждом втором ответе/строчке кода.
Ответить | Правка | Наверх | Cообщить модератору

136. Сообщение от Аноним (136), 25-Мрт-26, 05:58   +/
> Найди мне багтрекер радара или самолета, трепло.

Ты озадачил меня багами радара, и шарясь тут в разных местах _я нашёл_ описание бага радара и тут же вспомнил про тебя, с твоим опаснейшим заблуждением, что теория это что-то, на что можно положиться, и что где-то есть _настоящие_ инженеры, которые не ошибаются. Глянь в тытрубе на _Dbd3z8t9qc проблемы Patriot из 1991. Они не нашли лучшего способа представиь 1/10 секунды битами, кроме как дробной частью в двоичной системе, где 1/10 превращается в бесконечную периодическую дробь. Они использовали 24 бита под эту дробь (видимо они float'ы использовали: 23 бита отведено под хранение мантиссы, +1 бит неявный с постоянной 1 в нём из старшей цифры мантиссы, хотя это может быть и fixed, но чувак читающий текст за кадром убеждён что это float был). А потом они _суммировали_ такие дроби в аккумулятор. За 100 часов без ребута время в аккумуляторе "уползало" на треть секунды, что давало ошибку определения положения в ~700м.

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

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


Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2026 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру