<![CDATA[Комментарии / Профиль ctrl_break]]> https://habr.com/ru/users/ctrl_break/comments/ ru editor@habr.com habr.com Fri, 24 Apr 2026 21:35:26 GMT https://habr.com/ru/ https://habrastorage.org/webt/ym/el/wk/ymelwk3zy1gawz4nkejl_-ammtc.png Хабр 29.07.2025 04:55:53 https://habr.com/ru/companies/ruvds/articles/928170/#comment_28631304 https://habr.com/ru/companies/ruvds/articles/928170/#comment_28631304 Это будет ближе к гипотезе, "похоже на правду". Такое недоказуемое утверждение (или его отрицание) можно принять в качестве новой аксиомы в рамках нашей формальной системы. Вот только тогда в рамках этой новой, расширенной системы, сразу же можно придумать другое недоказуемое утверждение.

]]> Tue, 29 Jul 2025 04:55:53 GMT 28.07.2025 21:53:40 https://habr.com/ru/companies/ruvds/articles/928170/#comment_28630774 https://habr.com/ru/companies/ruvds/articles/928170/#comment_28630774 Скорее всего, это кривая отсылка к аргументам Пенроуза, который считает что человеческое созданание, и, соответственно, сильный ИИ, нельзя смоделировать как вычислимый процесс. Там примерно так: допустим, у нас получилось сделать компьютерную программу (или другую формальную систему), моделирующую человеческую рассуждалку. Тогда, по теореме Гёделя, можно придумать такие (истинные) утверждения, которые будут не доказуемы этой программой. Но человек, используя свою нечеловеческую интуицию, вполне может допетрить что утверждения истинны, шах и мат.

]]> Mon, 28 Jul 2025 21:53:40 GMT 24.06.2025 21:21:55 https://habr.com/ru/companies/timeweb/articles/920708/#comment_28481946 https://habr.com/ru/companies/timeweb/articles/920708/#comment_28481946 Не спешите выбрасывать перегоревшую лампочку! Осторожно отделите колбу от цоколя, поменяйте вольфрамовую спираль и припаяйте колбу на место, одновременно откачивая воздух. Лампочка еще долго вам прослужит!

]]> Tue, 24 Jun 2025 21:21:55 GMT 19.06.2025 02:02:22 https://habr.com/ru/articles/918512/#comment_28455082 https://habr.com/ru/articles/918512/#comment_28455082 странно что ещё не упомянули https://www.jetbrains.com/mps/

Редактируй себе прямо в AST сколько хочешь. Пока до серьёзных рефакторингов не дойдёт.

]]> Thu, 19 Jun 2025 02:02:22 GMT 28.05.2025 01:58:29 https://habr.com/ru/articles/913408/#comment_28361108 https://habr.com/ru/articles/913408/#comment_28361108 или если оптимизатор начинает делать AST rewrites

]]> Wed, 28 May 2025 01:58:29 GMT 30.03.2025 15:43:50 https://habr.com/ru/news/895336/#comment_28110310 https://habr.com/ru/news/895336/#comment_28110310 всё дело в волшебных пузырьках!

]]> Sun, 30 Mar 2025 15:43:50 GMT 10.02.2025 05:18:05 https://habr.com/ru/articles/880912/#comment_27901110 https://habr.com/ru/articles/880912/#comment_27901110 офигеть, у меня точно такой же ergodox. Куплен на massdrop примерно 10 лет назад, так ни на что другое пересесть и не могу

]]> Mon, 10 Feb 2025 05:18:05 GMT 14.11.2024 03:56:54 https://habr.com/ru/articles/858268/#comment_27552414 https://habr.com/ru/articles/858268/#comment_27552414 а можно сначала AI, который умеет хорошо ревьюить код?

]]> Thu, 14 Nov 2024 03:56:54 GMT 03.11.2024 18:07:22 https://habr.com/ru/articles/855580/#comment_27508168 https://habr.com/ru/articles/855580/#comment_27508168 https://ploum.net/2023-06-23-how-to-kill-decentralised-networks.html

]]> Sun, 03 Nov 2024 18:07:22 GMT 03.11.2024 04:25:54 https://habr.com/ru/articles/855498/#comment_27505314 https://habr.com/ru/articles/855498/#comment_27505314 так всё-таки на шпатлёвку или на шпаклёвку?

]]> Sun, 03 Nov 2024 04:25:54 GMT 13.09.2018 06:20:00 https://habr.com/ru/articles/423057/#comment_19103985 https://habr.com/ru/articles/423057/#comment_19103985 Thu, 13 Sep 2018 06:20:00 GMT 02.07.2018 22:19:29 https://habr.com/ru/companies/mosigra/articles/415891/#comment_18839069 https://habr.com/ru/companies/mosigra/articles/415891/#comment_18839069 Mon, 02 Jul 2018 22:19:29 GMT