Исправил ошибку, внесённую китайцем под наблюдением индуса (google summer of code).

   - Что делать с плохим кодом, созданным ИИ? - спрашивают нас... и писателями-то их не назвать. ;)

Наверное, можно сказать, что "началось."

https://agda.readthedocs.io/en/v2.7.0/language/syntax-declarations.html

Оказывается, в Агде есть расширение языка своим синтаксисом. Мало им mixfix (if_then_else_ это функция, а не синтаксическая конструкция) , теперь ещё и синтаксис можно ( ( Read more... )

https://deepmind.google/discover/blog/funsearch-making-new-discoveries-in-mathematical-sciences-using-large-language-models/Read more... )

Вот диалог:

sergueyz ( Read more... )

Первое, что отвалилось, это был pthread_create. ;)

После чего всё совсем упало.

Делал я это с помощью jemalloc и спешу заметить, что сложность его внутри запредельная. Это одна из самых сложных программ, что я видел.

И если это ещё и быстро, быстрее многих других систем управления памятью, то что же в них такое творится?

https://simonwillison.net/2023/Mar/27/ai-enhanced-development/Read more... )

Только что дошло, почему пишут #define ЧТОТО (выражение)Потому, что то, что в скобках имеет наивысший приоритет. И если у вас определение О раскрывается в (100/19), то оно должно быть 5 всюду, включая использование О*19. Последнее должно вычисляться в значение 95, а не 100 ( Read more... )

А я, седой, лысый, косоватый из-за сколиоза, пожилой программист исправляю ошибки в этом коде.

PS
Ошибки в коде, порождённом ИИ, тоже мне исправлять придётся.

https://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%B8%D0%BD%D1%86%D0%B8%D0%BF_%D0%BF%D0%BE%D0%B4%D1%81%D1%82 ( Read more... )