Новый рантайм для kdb+ вышел закрытым, без бенчмарков и «попахивает ИИ»

Что обещает «l»: язык kdb+ без изменений и без счёта от Kx

q и k, знаменитые своей лаконичностью языки массивов, созданные Артуром Уитни; q работает поверх kdb+, колоночной базы данных Kx Systems, которую Уолл-стрит использует для обработки тиковых данных и которую сама Kx называет самой быстрой в мире. Это ещё и одна из самых дорогих лицензий, которые покупает трейдинговый деск. «l» от команды l-labs — независимый рантайм, который обещает запускать существующий код k4/q/qSQL (таблицы, словари, партиции и сплеи) без изменений, с прозрачным SIMD, автоматическим параллелизмом и сжатием на всех уровнях стека. Главная цифра: 86,5 млн строк в аналитическом запросе на одном CPU «без прохода декодирования». Главный слоган: «В K/Q массивы — единица мышления», развёрнутый до «сжатые векторы как единица исполнения». Чего нет на лендинге: лицензии, заявления об открытом коде и хотя бы одного прямого бенчмарка.

«Вайб-код» и «реально нужно»: два полюса одного треда

Первой проблемой стало просто понять, о чём вообще речь. Читатель, которому пришлось спросить у LLM, что такое k и q, признался, что лендинг вызывал у него «лёгкую шизофрению», пока Claude не объяснил ему, что это «база данных, которой Уолл-стрит пользуется для тиковых данных». Пользователь k, поначалу принявший l за ребрендинг Shakti, последнего языка массивов от Уитни, дал самое ясное определение из всех: это «кодгольф для опытных программистов, которые не хотят отрывать руки от клавиатуры», инструменты, которые «совмещают доступ к данным и возможность их вычислять с минимумом абстракций».

Дальше пошёл скептицизм. Самый заплюсованный ответ сразу поставил публикацию под сомнение:

«Куча необъяснённых громких заявлений вроде «k и q сделали вектор единицей мышления»... «единичный вектор мышления» — псевдонаучный язык. Почти наверняка написано ИИ».

Техническое возражение было конкретнее, и отмахнуться от него сложнее: новый рантайм для существующего языка вышел без сравнения с другими реализациями того же языка. Комментатор, сославшийся на список существующих реализаций k в вики, сформулировал это прямо, а Питер Вессенес, инвестор и исследователь безопасности Ethereum, заострил мысль: «насколько вайб-кодный интерпретатор k/q выдержит сравнение с Shakti или с чем там ещё выпустит мистер Уитни».

Когда появилась защита, она оказалась конкретной. Ответ, в котором нашёлся собственный репозиторий бенчмарков l-labs, провёл черту, отделяющую l от любимых хобби-интерпретаторов: «в отличие от klong/ngn/bqn и прочих (которые ОТЛИЧНЫЕ), цель здесь: полная совместимость с продакшен-базой (и полная языковая совместимость)». Вот в чём реальная ценность: замена, способная тянуть продакшен-нагрузку kdb+, а не просто быстрая игрушка.

Самую взвешенную реакцию вызвала закрытость кода. Комментатор, упомянувший ktye, свободную реализацию k, назвал закрытый вайб-кодный софт «неприемлемым для многих, включая меня самого», но тут же признал нюанс, который спутывает всю критику: «проприетарная лицензия вообще-то обычное дело для языков семейства APL и K». Конкуренты, которых l хочет потеснить, тоже закрыты и тоже избегают бенчмарков. Значит, планку, которую l и правда нужно взять, определяет не более симпатичный лендинг, а воспроизводимый публичный бенчмарк против kdb+ и Shakti. Пока его нет, вердикт сообщества любителей массивов остаётся там же, где его оставил тред: интерес есть, доказательств ждут.