А вот, что ChatGPT (o3) "думает" насчёт этой статьи:
Но вот почему это «доказательство» вряд ли убивает идею ИИ общего назначения (AGI)
Раздутое определение. Автор требует равномерной ε-оптимальности на всех входах в неразрешимо бесконечном пространстве. Но и люди не соответствуют этой планке — мы довольствуемся приближениями, подстраховываемся и часто просто ошибаемся. Если установить порог так высоко, то невозможность становится почти гарантированной.
Набор символов на практике не фиксирован. Современные модели уже умеют расширять свой словарь «на лету» с помощью дополнений через внешнюю память, инструментов и человека в контуре. Это можно рассматривать как «оракул», но он реален и доступен — что размывает строгие ограничения, на которых строится доказательство.
Приблизительные смены фреймов существуют. AlphaGo находил «странные» ходы, которые были вне рамок вековой человеческой интуиции; модели типа GPT изобретают новые паттерны каждый день. Это ещё не смена научной парадигмы, но уже свидетельство того, что градиентный спуск способен находить качественно новые представления.
Тяжёлые хвосты ≠ безнадёжность. Методы устойчивой статистики, регрессии по квантилям, конформистского прогнозирования и обучения с противниками как раз предназначены для работы в условиях, где среднее и дисперсия не существуют. Они не дают идеальных гарантий, но позволяют строить рабочие политики.
Эмпирическая траектория противоречит идее полной стагнации. В статье упоминаются теоретические «потолки» для моделей вроде GPT-4, но уже в 2024–25 годах появились мультимодальные агенты, опровергшие часть прежних предсказаний масштабируемости. История ИИ знает много примеров, когда «доказательства невозможности» быстро устаревали.
Элегантность ≠ строгость. Изложенное доказательство сильно опирается на интуитивные переходы (например, приравнивание «в фрейме Ньютона нет символа Λ» к полной невозможности вывода) — формалист из области верификации бы потребовал строгой формализации перед тем, как принять такой вывод.
Особые условия содержания: Доступ к SCP-███ должен быть ограничен только сотрудниками уровня 4 и выше. Все данные, передаваемые через SCP-███, должны подлежать строгому контролю и анализу безопасности. Использование SCP-███ в личных целях сотрудниками запрещено. Любые попытки использовать SCP-███ для [УДАЛЕНО] должны немедленно пресекаться, а виновные лица подвергаться дисциплинарным мерам.
Описание: SCP-███ представляет собой комплекс технологий, позволяющих создавать защищённый шифрованный канал связи между двумя и более точками в сети Интернет, скрывая при этом истинные IP-адреса устройств и данные о трафике, проходящем через этот канал. Считается, что SCP-███ был разработан с целью обеспечения повышенной конфиденциальности и безопасности данных.
SCP-███ имеет способность "маскировки", что позволяет пользователям казаться, как будто они подключены к Интернету из другой географической точки. Эта особенность SCP-███ оказалась особенно полезной в средах с ограниченным или цензурированным доступом к информационным ресурсам, хотя первоначальное назначение SCP-███ не включало [УДАЛЕНО].
Примечание: На данный момент исследователи Фонда пытаются разработать методы, которые могли бы нейтрализовать потенциальную угрозу, исходящую от неправомерного использования SCP-███ для [УДАЛЕНО]. В связи с этим, все операции с использованием SCP-███ подлежат строгому регулированию и контролю.
Важно отметить, что SCP-███ может быть использован не только в злонамеренных целях. Многие организации используют SCP-███ для обеспечения безопасности корпоративной связи и защиты передаваемых данных. Однако, в силу своих способностей к [УДАЛЕНО], SCP-███ был классифицирован как объект Евклид и требует соответствующих мер безопасности и контроля.
Теперь, благодаря этой оптимизации, можно статически сохранить все 765 возможных состояний игры в 1435 байтах. А текущее состояние уже "удобно" хранить в 10 битах. (шутка)
Пробовал перейти на Caddy для своих домашних проектов. Понравилось, что он автоматически получает https-сертификаты, но вот конфиг, честно говоря, вообще не показался простым. Да и памяти он потребляет сильно больше (для меня критично, потому что пользуюсь самими дешёвыми VPS).
В общем, мне кажется, nginx всё же лучше. По крайней мере для простых случаев (статика, reverse proxy): очень быстрый, надёжный, есть пакеты во всех мыслимых дистрибутивах, с кучей инфы на том же stack overflow.
Go скачивает только исходный код зависимостей и компилирует всё статически. Место занимают только код и объектные файлы в кэше после компиляции. Я вообще сомневаюсь, что он в принципе с готовыми бинарями умеет работать на уровне go mod.
А вот, что ChatGPT (o3) "думает" насчёт этой статьи:
Но вот почему это «доказательство» вряд ли убивает идею ИИ общего назначения (AGI)
Раздутое определение.
Автор требует равномерной ε-оптимальности на всех входах в неразрешимо бесконечном пространстве. Но и люди не соответствуют этой планке — мы довольствуемся приближениями, подстраховываемся и часто просто ошибаемся. Если установить порог так высоко, то невозможность становится почти гарантированной.
Набор символов на практике не фиксирован.
Современные модели уже умеют расширять свой словарь «на лету» с помощью дополнений через внешнюю память, инструментов и человека в контуре. Это можно рассматривать как «оракул», но он реален и доступен — что размывает строгие ограничения, на которых строится доказательство.
Приблизительные смены фреймов существуют.
AlphaGo находил «странные» ходы, которые были вне рамок вековой человеческой интуиции; модели типа GPT изобретают новые паттерны каждый день. Это ещё не смена научной парадигмы, но уже свидетельство того, что градиентный спуск способен находить качественно новые представления.
Тяжёлые хвосты ≠ безнадёжность.
Методы устойчивой статистики, регрессии по квантилям, конформистского прогнозирования и обучения с противниками как раз предназначены для работы в условиях, где среднее и дисперсия не существуют. Они не дают идеальных гарантий, но позволяют строить рабочие политики.
Эмпирическая траектория противоречит идее полной стагнации.
В статье упоминаются теоретические «потолки» для моделей вроде GPT-4, но уже в 2024–25 годах появились мультимодальные агенты, опровергшие часть прежних предсказаний масштабируемости. История ИИ знает много примеров, когда «доказательства невозможности» быстро устаревали.
Элегантность ≠ строгость.
Изложенное доказательство сильно опирается на интуитивные переходы (например, приравнивание «в фрейме Ньютона нет символа Λ» к полной невозможности вывода) — формалист из области верификации бы потребовал строгой формализации перед тем, как принять такой вывод.
Раздражает, что кто-то продолжает уделять TIOBE внимание. Есть много разных рейтингов популярности ЯП, и TIOBE, имхо, — один из худших среди них.
Напомнило
Если погуглить по "Русский Илон Маск", то в первых результатах будет попечальнее пример: «Русский Илон Маск» умер из‑за пыток и изнасилований в СИЗО
Я так понял из описания, что тачпад и аккумулятор есть. Так что выходит, что только экрана не хватает)
Ссылка на ristretto битая (ну для import она норм, но не для браузера :)).
Видимо, имелось в виду либо
https://github.com/dgraph-io/ristretto/
либо
https://pkg.go.dev/github.com/dgraph-io/ristretto/z
Ещё плюс в том, что проект можно установить через `go install`. Он не запускает generate автоматически принципиально, по причинам безопасности.
Есть uchardet, которая для длинных текстов довольно неплохо определяет кодировку.
В Python, кстати, такая либа уже есть из коробки:
Мне ещё вот эта библиотека для телеграм-ботов нравится: https://github.com/tucnak/telebot
Спасибо! Передам автору текста (он тоже своего рода SCP - "генеративный искусственный интеллект"). ;-)
Ну да, пожалуй. Вообще, к ███ сложно правило коробки применить, потому что это не материальный объект, чтобы его можно было в коробку убрать.
Ну как же он безопасный? Оставил коробку подальше, а люди взяли, начитались [УДАЛЕНО] и пошли власть свергать. :)
Объект SCP-███: "Виртуальная Приватная Сеть"
Класс объекта: Евклид
Особые условия содержания: Доступ к SCP-███ должен быть ограничен только сотрудниками уровня 4 и выше. Все данные, передаваемые через SCP-███, должны подлежать строгому контролю и анализу безопасности. Использование SCP-███ в личных целях сотрудниками запрещено. Любые попытки использовать SCP-███ для [УДАЛЕНО] должны немедленно пресекаться, а виновные лица подвергаться дисциплинарным мерам.
Описание: SCP-███ представляет собой комплекс технологий, позволяющих создавать защищённый шифрованный канал связи между двумя и более точками в сети Интернет, скрывая при этом истинные IP-адреса устройств и данные о трафике, проходящем через этот канал. Считается, что SCP-███ был разработан с целью обеспечения повышенной конфиденциальности и безопасности данных.
SCP-███ имеет способность "маскировки", что позволяет пользователям казаться, как будто они подключены к Интернету из другой географической точки. Эта особенность SCP-███ оказалась особенно полезной в средах с ограниченным или цензурированным доступом к информационным ресурсам, хотя первоначальное назначение SCP-███ не включало [УДАЛЕНО].
Примечание: На данный момент исследователи Фонда пытаются разработать методы, которые могли бы нейтрализовать потенциальную угрозу, исходящую от неправомерного использования SCP-███ для [УДАЛЕНО]. В связи с этим, все операции с использованием SCP-███ подлежат строгому регулированию и контролю.
Важно отметить, что SCP-███ может быть использован не только в злонамеренных целях. Многие организации используют SCP-███ для обеспечения безопасности корпоративной связи и защиты передаваемых данных. Однако, в силу своих способностей к [УДАЛЕНО], SCP-███ был классифицирован как объект Евклид и требует соответствующих мер безопасности и контроля.
Теперь, благодаря этой оптимизации, можно статически сохранить все 765 возможных состояний игры в 1435 байтах. А текущее состояние уже "удобно" хранить в 10 битах. (шутка)
Ну оно и так не шибко сложное, если честно - `certbot --nginx` и всё. Но выглядит интересно, посмотрю. Спасибо.
Пробовал перейти на Caddy для своих домашних проектов. Понравилось, что он автоматически получает https-сертификаты, но вот конфиг, честно говоря, вообще не показался простым. Да и памяти он потребляет сильно больше (для меня критично, потому что пользуюсь самими дешёвыми VPS).
В общем, мне кажется, nginx всё же лучше. По крайней мере для простых случаев (статика, reverse proxy): очень быстрый, надёжный, есть пакеты во всех мыслимых дистрибутивах, с кучей инфы на том же stack overflow.
Хм, интересно, надо будет попробовать.
Go скачивает только исходный код зависимостей и компилирует всё статически. Место занимают только код и объектные файлы в кэше после компиляции. Я вообще сомневаюсь, что он в принципе с готовыми бинарями умеет работать на уровне go mod.
Ага, а Ada, Prolog и X++ обгоняют по популярности Typescript.