Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет borrowedpointer ([info]borrowedpointer)
@ 2026-01-27 18:18:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
формальнологическийвопрос
здравствуйте дорогие матаноёбы. мне одна нейросеть сказала, что в обозримой перспективе llm-ки не освоят пруверы. речь шла про разработку софта, так что всякие f*, lean и прочие dafny. оставим за скобками неготовность индустрии за это платить - врет ли нейросеть? освоят ли блестящие металические зады эту тему, или у людишек есть пара-тройка лет поковыряться там в одиночестве?


(Читать комментарии) - (Добавить комментарий)


(Анонимно)
2026-01-27 16:52 (ссылка)
В продолжение рефлексии про применение ИИ агентов в разработке. Мои личные ощущения от применения для различных задач.

Документирование. Почти на 100% закрывается с помощью ИИ агентов, при условии что сам код ясно написан и в коде документация присутствует (в Python это обязательные docstrings). Как простая документация так и сложная генерируется без излишних сложностей, но как и код её необходимо тестировать промптами в условном стиле "проверь что все примеры упомянутые в документации являются рабочими" (в реальной работе немного сложнее, но и так можно).

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

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2026-01-27 17:53 (ссылка)
Враньё про документирование. «Агентов» не существует ввобще. Абсолютно все комментарии приходится удалять.

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2026-01-27 18:57 (ссылка)
ну не верь, хуле я сделаю

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2026-01-27 21:40 (ссылка)
ну я незнаю, может, заткнешься?

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2026-01-28 00:58 (ссылка)
terpi

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2026-01-28 01:00 (ссылка)
ПЕРЧИ!

(Ответить) (Уровень выше)


(Читать комментарии) -