Мені стаття відгукується думками, котрі тут описані І ніби трохи сумую за часом коли не було агентного кодінгу, якраз таки на власних проектах балансую між АІ та написанням коду старим способом
Я дедалі обережніше ставлюся до такого перенесення. Досвід інших компаній дуже корисний як джерело knowledge, patterns і anti-patterns. Але з цього не випливає, що їхню відповідь можна взяти майже без змін і перенести в іншу організацію.
Справа в тому, що песимістичний сценарій світу, в якому доведеться залишок життя виживати з рушницею в руках, виглядає настільки неапетитно, що вибір покінчити зі власними стражданнями з цієї ж самої гвинтівки — видається не таким вже поганим..
хочеться нести щось нове, а не розбирати ази.
Так не треба тотально ази. Але вони гарні для більш зрозумілого входження в тему: що теорія типів — вона скрізь навкруги, хоча дуже часто і неявно.
Задачі можна робити із локальною LLM, звісно потрібно буде оновити залізо, щоб був гарний перформанс цього всього Побудувати свій харнес навколо якоїсь з моделей, або вже знайти готові рішення і буде у вас локальний агентний кодінг Why not ?
Вінничинні
вінничини може бути норм ближче до кордонів ссср
чи Тернопільщини
тернопольщіні я би не радив особисто там певні складнощі з логістики і взагалі
імхо тоді луцьк забув як воно називається териториально або рівне за його західної більш...
Там кстати интересное пишут в статье в коментах: Anthropic и OpenAI доработали токенизаторы под новые версии LLM (5 для Anthropic, 6 для OpenAI) и теперь там разница не настолько огромна, как была раньше.
ADT + залежні типи
Там Calculus of Inductive Constructs (CIC), то відповідно всі тактики написані в Lean4 з нуля, й треба руками під кожний зал тип й теорему вказувати оптимальну стратегію (ring, grind etc).
Руслан Назаренко
Коментарі