Как-то неожиданно консольный клиент github gh стал для меня лучшим примером CLI

Хроники хайпа (XX)

Круги по воде от петиции (https://www.tg-me.com/gonzo_ML/1448) всё ещё расходятся, а Маск тем временем собирает свой стартап-конкурента OpenAI под названием X.AI (https://www.ft.com/content/2a96995b-c799-4281-8b60-b235e84aefe4). Сам OpenAI планирует улучшения в GPT-4, но обучение GPT-5 пока не начинал (https://www.theverge.com/2023/4/14/23683084/openai-gpt-5-rumors-training-sam-altman).

Появляется всё больше моделей. Финансовая BloombergGPT, лайтовые LLaMA (https://www.tg-me.com/gonzo_ML/1324), Alpaca (https://www.tg-me.com/gonzo_ML/1407), Vicuna, Dolly 2.0 (https://www.tg-me.com/gonzo_ML/1453).

Кажется, что переломной точкой в обществе стал ChatGPT, а появление GPT-4 только добавило к трендам и хайпу. Многие теперь ведут списки событий вокруг ИИ, типа такого “3 неделя от явления GPT-4 народу” (https://www.reddit.com/r/ChatGPT/comments/12diapw/gpt4_week_3_chatbots_are_yesterdays_news_ai/). Народ же создаёт курсы обучения пользованию ChatGPT-4 (модели, которая не существует) и продаёт торговых роботов криптой на ней (хайпы слились воедино, инфобизнес тут как тут). Когда уже GPT/ChatGPT станет нарицательным как ксерокс или гугл?

В это время LangChain (https://github.com/hwchase17/langchain), библиотека для склейки вызовов LLM и других тулов, которой всего полгода, поднимает раунд на $10M (https://blog.langchain.dev/announcing-our-10m-seed-round-led-by-benchmark/). Я пока не понял, для чего именно мне самому её использовать кроме как для сборки каких-то proof-of-concept. До продакшн энтерпрайз решений там, кажется, ещё далеко, но раунд должен помочь.

Другой интересный экспериментальный проект, Auto-GPT (https://github.com/Significant-Gravitas/Auto-GPT), предназначенный для добавления автономности к GPT, набрал за месяц звёзд на гитхабе больше, чем у PyTorch (https://github.com/pytorch/pytorch). Auto-GPT умеет искать в интернете, синтезировать голос, хранить состояние в векторной базе данных. Умеет также генерить и исполнять код (https://twitter.com/SigGravitas/status/1642181498278408193). Для чего-то полезного рабочего, кажется, использовать сложно, но эксперимент интересный, посмотрим, куда разовьётся. С кодом в принципе может быть и опасно, Моррис когда своего червя запускал тоже не думал, что он весь ARPANET наводнит.

Ещё один в чём-то похожий проект -- BabyAGI (https://github.com/yoheinakajima/babyagi), итеративно разбирающий задачи (и создающий новые) и выполняющий их через GPT.

Развивается ветка самоулучшения моделей. Сравнительно свежий Self-Refine (https://arxiv.org/abs/2303.17651) улучшает ответ модели через фидбек от самой модели. Это в целом похоже на RLAIF (https://www.tg-me.com/gonzo_ML/1285). Наверное, стоит отдельного разбора.

Другая недавняя работа “Towards Healthy AI: Large Language Models Need Therapists Too” (https://arxiv.org/abs/2304.00416) вводит в дополнение к понятию критика, понятие психотерапевта, и предлагает фреймворк SafeguardGPT.

А ещё одна интересная работа, “Generative Agents: Interactive Simulacra of Human Behavior“ (https://arxiv.org/abs/2304.03442), заводит подобно игре Sims множество симулирующих людей агентов, каждый со своей памятью и историей, которые живут своей жизнью в своём сэндбоксе. Сколько нам ещё до 13-го этажа (https://www.imdb.com/title/tt0139809/)?

Возвращаясь к разговору о языках поверх нейронок. Я бы хотел вообще что-то типа

; Описание функции в свободной форме
;  - тесткейс 1
;  - тесткейс 2
;  - ...
<здесь название функции>

И всё, остальное пусть "AGI" рисует

> Люди потратили много времени на размышления о том, как написать макросы более безопасно - иногда за счет экспрессивности или простоты - и почти все недавние языки используют некоторую форму гигиенической системы макросов, которая по умолчанию делает правильные вещи.

> Но насколько мне известно, никто не подходил к системам макросов с другой стороны. Никто не смотрел на макросы Common Lisp и не говорил: "А если эти макросы недостаточно опасны? А если мы могли бы сделать их еще сложнее для правильной записи, чтобы увеличить их мощность и экспрессивность незначительно?"

https://ianthehenry.com/posts/generalized-macros/

кстати AI анализатор логов когда

Знакомьтесь, это stretchr, они помогают людям с растяжкой за денюжку

> We are the first and original assisted stretching brand in Indonesia. We offer personalized home service sessions in Bali, or you can choose to come into our new flagship studio in Umalas. Our easy mobile booking app will be launching soon for a seamless booking experience. Feel the difference with passive assisted stretching in your regular wellness routine.


И они сделали лучший и самый популярный фреймворк для тестирования в Golang.

Да-да, тот самый https://github.com/stretchr/testify, которым пользуются чуть меньше чем все.

Как? Почему? Зачем? Нет ответа

Erlang: the movie https://youtu.be/xrIjfIjssLE

The Python environmental protection agency wants to seal it in a cement chamber, with pictorial messages to future civilizations warning them about the danger of using sudo to install random Python packages.

https://xkcd.com/1987/