Poul-Henning Kamp-მა ბოლო სვეტი ღია კოდის მომავლის შესახებ გაფრთხილებით დაასრულა

სვეტი, რომელმაც ორი ათწლეული იარსება

Poul-Henning Kamp-მა, FreeBSD-ის ხანგრძლივი დროის დეველოპერმა და Varnish HTTP ქეშის ავტორმა, ACM Queue-ში თავისი სვეტის — „Bikeshed“-ის — ბოლო ნაწილი გამოაქვეყნა. სვეტი თითქმის 20 წლის წინ დაიწყო, წერს ის — ერთი შემთხვევითი კითხვის შემდეგ. ბოლო მასალას ქვესათაური აქვს — „Please make my predictions come out wrong“.

LLM-ით კოდის განხილვა: სასარგებლო, მაგრამ არა რევოლუცია

Kamp სკეპტიკურად უყურებს LLM-ის დახმარებით კოდის განხილვის ახლანდელ ტალღას. ის აღწერს ნიმუშს, რომელიც ყველა იმ კოდის ხარისხის ხელსაწყოსთან უნახავს, რომელიც ოდესმე გამოუყენებია — 1984 წელს წაკითხული lint-იდან Clang-ის სტატიკურ ანალიზამდე: ორი დღე შთამბეჭდავი აღმოჩენებით, მომდევნო დღეებში რამდენიმე რეალური შეცდომა, და მეორე კვირისთვის — მეტი არაფერი. ამის საფუძველზე ის ეჭვობს, რომ „LLM-ის ხელსაწყოებით ნაპოვნი ყველაზე ცუდი შეცდომების“ სიის ნახევარზე მეტი უკვე გამოქვეყნებულია.

მოდელებს ის ჭადრაკის პროგრამებს ადარებს, რომლებიც ადამიანის ტვინზე ფართოდ და ღრმად ძებნიან, და ამას უსაფრთხოების სფეროსთვის რეალურ მოგებად მიიჩნევს. ღია რჩება ეკონომიკური კითხვა: ტრენინგის ხარჯები წინასწარ იხდება, მიღებული წონები კი მილიონჯერ უნდა გაიყიდოს, რომ მოგება მოიტანოს. კინოინდუსტრია საავტორო უფლებების დაცვით იფარება, LLM-ის შემქმნელები კი სასამართლოებში „სამართლიან გამოყენებას“ ამართლებენ, ამიტომ გაურკვეველია, ვინ გაწვრთნის მოდელების შემდეგ თაობას ბუშტის გახეთქვის შემდეგ.

ასაკის ვერიფიკაცია და ანგარიშვალდებულების პრობლემა

სვეტის მეორე ნახევარი უფრო პესიმისტურია. Kamp-ის აზრით, სავალდებულო ასაკის ვერიფიკაცია კრიპტოგრაფიულად დამოწმებულ პროგრამულ მთლიანობას მოითხოვს: ვინმემ უნდა მოაწეროს ხელი, რომ ოპერაციული სისტემის ნდობა შესაძლებელია, და ამას არავინ გააკეთებს, თუ მომხმარებელს კოდის შეცვლა და ხელახლა კომპილაცია შეუძლია. სავარაუდო შედეგი, წერს ის, „შემოღობილი ბაღის“ აპსტორის მოდელია, სადაც ვებზე სერფინგისთვის საჭირო სამართლებრივი დამოწმებების უზრუნველყოფა მხოლოდ დამოწმებულ ბირთვებს შეუძლიათ, ხოლო ბრაუზერის სენდბოქსის გარეთ მხოლოდ უცვლელი, დამტკიცებული პროგრამები მუშაობს.

პრობლემის ნაწილი, მისი აზრით, დაშიფვრიდან მოდის: Snowden-ის გამჟღავნებების შემდეგ ინდუსტრიამ ყველაფერი დაშიფრა, ახლა კი სახელმწიფოები იმ კუთხიდან გამოდიან, სადაც თავად მოექცნენ. მსგავსი ეფექტი აქვს ევროპის ციფრული სუვერენიტეტისკენ სწრაფვასაც: Google-ის, Apple-ის, Microsoft-ისა და Meta-ს ევროპული ალტერნატივა არ არსებობს, ღია კოდის ლიცენზიები კი, მისი სიტყვებით, „ნუ დამადანაშაულებ“ პუნქტს შეიცავს, ამიტომ მთავრობებს ანგარიშვალდებული მხარეები სჭირდებათ. ევროკავშირის გამონაკლისები ღია კოდისთვის, მათ შორის კიბერგამძლეობის აქტში, მთავრდება მაშინვე, როგორც კი პროექტი მოგებას იწყებს.

მენტენერები და ეპოქის დასასრული

Kamp ვარაუდობს, რომ „სიცოცხლის ბოლომდე კეთილშობილი დიქტატორის“ მოდელი, რომელსაც თავადაც მიეკუთვნება, გაქრება. მნიშვნელოვან ღია კოდის პროექტებს, მისი პროგნოზით, სტიუარდის ან კომპანიის მიერ დანიშნული კომიტეტები მართავენ, რადგან ცოტა ადამიანი აიღებს ანაზღაურებად მენტენერის საქმეს, სანამ სხვები მოგებას იღებენ. FOSS-იდან, როგორც მან იცნობს, რჩება მხოლოდ საწყისი კოდის წაკითხვის შესაძლებლობა — და, შესაძლოა, მისი კომპილაციაც, თუ არაფერს შეცვლი. სვეტს ის იმით ამთავრებს, რომ მეგობარს ახალ ლეპტოპზე Ubuntu-ს დაყენებაში დაეხმარა, და აღიარებს, რომ სძულს, რამდენად ჰგავდა ეს მომავალს.