Alisa v Zadzerkalli (українською) — Аліса в Задзеркаллі. Світ
по той бік дзеркала, куди ти потрапляєш навмисно, і все
віддзеркалено, навпаки, і неправильно.

«Ніколи не вгадаєш, ким станеш за хвилину.»
"You can never guess who you'll become in a minute." — Аліса, у
Аліса в Країні Див, пер. Валентин Корнієнко, ред. Іван Малкович, с. 53.

Бот для Discord, написаний на C++.

Можливості

Слеш-команди

/ping — час обробки запиту до шлюзу
/leaderboard — рейтинг Clube de Programação (UFFS), отриманий з
групи клубу на vjudge та відсортований за кількістю розв'язаних задач

Розмова

Згадайте її, або напишіть alisa чи obliterator у повідомленні — і вона відповість.
Відповідь не генерується локально. Аліса збирає контекст, а Providence думає.

Що вона передає моделі в кожному повідомленні:

кожного члена клубу, у порядку рейтингу, з їхнім нікнеймом, кількістю
розв'язаних задач і часом останньої активності
повний список задач, які розв'язав кожен учасник, за кожною платформою
десять задач, які розв'язують найчастіше по всьому клубу

Цей контекст дозволяє їй відповідати на питання, для яких ніхто не писав команду.
Хто в топ-3, які задачі вони мають спільні, хто замовк. Модель забезпечує
міркування, скрейпер забезпечує факти.

Дані клубу

Стан учасників отримується з vjudge під час запуску пулом з восьми
воркерів, кожен з яких тримає одне з'єднання для своєї частини групи. Кожен
учасник коштує двох запитів: сторінка профілю для кількості та рейтингу, і
кінцева точка деталей розв'язків для списку задач.

Структура

main.cpp — точка входу
src/commands/ — слеш-команди та диспетчер
src/members/ — склад клубу, скрейпинг профілів і списків розв'язків
src/parser/ — запити до HTML через lexbor
src/network/ — HTTP з повторним використанням з'єднань
src/speech/ — зв'язок з Providence і збірка промптів
src/onmessage/, src/onready/ — обробники подій шлюзу
src/embeds/ — основний ембед
src/config/ — налаштування кластера та спільний стан бота

Як відбувається відповідь

Обробник повідомлень прокидається на кожне повідомлення в кожному каналі, який
бачить бот. Він відкидає ботів, відкидає все, що не згадує її через пінг або
слова alisa чи obliterator, а зараз також відкидає всіх авторів, крім одного,
чий ID захардкоджений у src/onmessage. Усе, що виживає, отримує миттєвий ембед
із текстом Thinking..., опублікований до того, як модель щось запитають, щоб
канал бачив, що вона прийняла питання, навіть якщо відповідь буде повільною.

Сама відповідь — це POST до Providence на http://127.0.0.1:8931 на
/speech/deepthink/, який несе повідомлення, весь контекст клубу та
ім'я користувача Discord як ідентичність викликача. Він чекає до 200 секунд.
Відповідь обрізається до 1990 байтів на межі UTF-8 символу, щоб обрізання
ніколи не потрапило в середину кодової точки, а потім ембед-заглушка
редагується на місці. Таймаут, відмова або нерозбірливе тіло — усе
завершується текстом у тому ж ембеді, а не мовчанням.

Providence — це окремий сервіс, якого немає в цьому репозиторії. Без нього
на цьому порту бот все одно запускається, відповідає на слеш-команди та
скрейпить клуб — він просто перестає думати.

Що додає Providence

Аліса надсилає light true, що є дешевим шляхом: один вузол міркування і без
розгалужень. Приберіть цей прапорець — і та сама кінцева точка запускає
обмежене дерево думок замість цього: глибина два, щонайменше дві позначені
гілки на вузол, кожна оцінюється за ймовірністю успіху та за тим, скільки
потенціалу вона додає або знищує, і кожен вузол генерується нативним
мислителем, запущеним як підпроцес. Цей механізм просто сидить без діла
в кожному повідомленні, яке вона надсилає.

Вона також сама вирішує, чи потребує питання більше, ніж розмови. Якщо так,
класифікатор зіставляє повідомлення з однією командою та її аргументом,
виконує її та вбудовує результат у фінальну відповідь. Що зараз у цьому списку:

побудова графіків, 2D-крива або 3D-поверхня з функції, яку ви описуєте словами
алгебра, спрощення, розкладання, факторизація, розв'язок змінної
математичний аналіз, похідні, визначені та невизначені інтеграли, границі
матриці, детермінант, обернена матриця, власні значення
рендеринг будь-якого виразу як LaTeX
портал UFFS SIGAA, поточні дисципліни, розклад, майбутні завдання
ресторан UFFS, які страви відкриті для бронювання і як минулі пройшли,
керується через справжній headless-браузер із власними обліковими даними

Кожна з цих відповідей несе структуровані поля поруч із прозою. Графік або
LaTeX-рендер повертається як base64 PNG під image, читання порталу повертається
як JSON під data, а власний коментар моделі розміщується поруч під response.
Аліса читає response і викидає решту, тому сьогодні питання, яке створює графік,
доходить до Discord як речення про графік, який ніхто не бачить. Надсилання
зображення як вкладення — це очевидна наступна річ, якої цей бот має навчитися.

Доступ — на викликача, а не на бота. Вона ідентифікує себе як discord та
ім'я користувача автора, і Providence перевіряє цю пару та відмовляє будь-кому,
кого не знає, — це та відмова, яку вона друкує дослівно. Додавання члена клубу
означає додавання його там, а не тут.

Збірка

Потрібен компілятор C++20, CMake 3.16 або новіший, і три бібліотеки: DPP для
шлюзу, cpr для HTTP, lexbor для HTML. На Arch Makefile встановлює відсутні
через yay або paru. У будь-якому іншому місці встановіть їх самостійно.

make deps      завантажити DPP, cpr і lexbor, якщо їх немає
make           налаштувати та зібрати в build/
make run       завантажити .env, потім запустити бінарник
make rebuild   стерти build/ і почати заново

Дві речі в збірці навмисні. Тип збірки за замовчуванням — RelWithDebInfo,
а кількість паралельних компіляцій обмежена двома. Заголовки DPP досить
шаблонні, що неоптимізована збірка коштує кілька гігабайт на процес
компілятора, а один процес на ядро звалить машину разом із собою. Дайте
більше, коли маєте пам'ять: make JOBS=8.

Джерела збираються через CONFIGURE_DEPENDS, тому новий файл у src/
підхоплюється наступною збіркою без зміни CMakeLists.

Конфігурація

Бот читає DISCORD_TOKEN із середовища і більше нічого. Покладіть його в .env
у корені репозиторію, і make run експортує його за вас, або експортуйте
самостійно та запустіть build/alisa-v-zadzerkalli_core безпосередньо. Вона
підключається зі стандартними інтентами плюс вміст повідомлень, що є
привілейованим інтентом, тому увімкніть його в застосунку на порталі
розробників Discord, інакше обробник повідомлень бачитиме лише порожні рядки.

Ключі Providence зберігаються поруч у .env для сервісу на іншому кінці
сокета. Цей бінарник їх ніколи не читає.

Alisa V Zadzerkalli