Роман Гушчин од тимот за развој на јадрото Linux, работејќи во Google, објави создавање на нов систем за верификација на кодови со користење на големи јазични модели. Развојот е во тек во последните неколку месеци и се нарекува Сашико, именуван по традиционалната јапонска техника на ткаење која се состои од мали, прави бодови кои формираат различни шари.
Проектот се користи веќе некое време во Google за идентификување на проблеми, а сега е јавно достапен и конфигуриран автоматски да ги прегледува сите закрпи испратени до мејлинг листата на развивачите на јадрото. LinuxКодот на Сашико е напишан во Rust и е со отворен код под лиценцата Apache 2.0. Системот е самостоен и може да се користи на ваш сопствен хардвер.
Sashiko е развиен да работи со моделот Gemini Pro 3.1 на Google, но е делумно тестиран со Claude и веројатно ќе работи и со други модерни модели на големи јазици. Прашањата што се користат за преглед се базираат на збир прашања за преглед подготвени од Крис Мејсон, креатор на датотечниот систем Btrfs. Google го финансира буџетот за токени и инфраструктурата за Sashiko. Проектот е лиценциран за Linux Фондација.
Врз основа на тестови спроведени со користење на моделот Gemini 3.1 Pro, комплетот алатки на Сашико беше во можност да открие 53% од грешките од нефилтриран сет од 1000 неодамнешни проблеми со јадрото означени со „Поправки:“. На прв поглед, 53% не изгледаат особено импресивно, но вреди да се има предвид дека сите откриени проблеми првично беа неоткриени од човечки рецензенти.
Извор: opennet.ru
