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

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:32 (ссылка)
ну сколько лет можно повторять враньё.
не может даже писать юнит тесты для готового кода.

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


[info]iskramivpeople
2026-01-27 16:41 (ссылка)
Так большой процент тех кто занимается прогой профессионально,
пишут максимум по сто строчек в день какого-то glue code, алгоритмическая часть
которого покривается на 100% готовими либами. Для таких как раз все
довольно кришесносно, теперь можно вместо 100 строчек на ЯП где могут
все равно бить ошибки и тд, можно 10 строчек промта писать, оптимизация хуле

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


(Анонимно)
2026-01-27 17:59 (ссылка)
10 строчек промтпа отнимают много времени на формулировку. Дебаггинг ии кода и правка стиля еще больше.
Время экономится только если надо делать то, что сам не умеешь: использовать незнакомый язык или библиотеку, известный сложный, но незнакомый тебе алгоритм, математику, физику.

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


[info]borrowedpointer
2026-01-28 03:22 (ссылка)
вообще не так, имхо

какие-то вещи он делает сразу, какие-то его можно с трудом заставить, какие-то вообще никак

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

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

причем там даже паттерн не всегда виден. ок, он натренирован на существующих проектах. бывает что-то на их основе генерит очень хорошо. а бывает, то ровно такое же фейлит и не понимает, почему оно не работает (хотя носом тыкаешь).

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


[info]ololo
2026-02-05 22:05 (ссылка)
Экономит время но снижает качество. В итоге за ним приходится переписывать и в средне-срочной перспективе времени тратится больше. Единственное где действительно может сэкономить время это какой-то идиоматический кусок конфига вставить и т.д.

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


[info]borrowedpointer
2026-02-06 00:40 (ссылка)
лотерея. где-то приходится, где-то ок, а где-то оно и так сойдет в силу специфики задачи

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


[info]phantom
2026-01-27 18:09 (ссылка)
Надо переходить на ЯП, в которых не надо глю код писать (повышать уровень языка).

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

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


(Анонимно)
2026-01-27 18:28 (ссылка)
???? Глюкод это то, что создает крупномасштабную структуру и обеспечивает майнтейнабилити.
Надо наконец строить инженерную культуру в программировании, тогда и автоматизируется все лучше. Но надежды на это умерли в прошлом веке.

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


[info]phantom
2026-01-27 19:06 (ссылка)
Мы на разных языках говорим. Каламбур интендед, хехе.

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


(Анонимно)
2026-01-27 18:57 (ссылка)
промпт программирование это сокращение времени на разработку

ты на ассемблере до сих пор пишешь?

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


(Анонимно)
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 (ссылка)
ПЕРЧИ!

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

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