6 Aug 2026, 15:50 UTC133 views14 reactionsread 6 August 2026 Photo
Мне спокойнее использовать Codex, потому что там есть нормальный sandbox в отличие от тех же OpenCode и Pi.
К чему я это. Мы поддержали Responses API для deepseek-v4-flash. И теперь вы можете использовать его прямо из Codex. Для простоты настройки мы сделали скрипт который одной командой настроит codex для работы с CoreInfra AI Hub
uvx --from git+https://github.com/CoreInfraAI/setup-codex setup-codex --api-key <yo…
🤩5❤4🔥4👍1
5 Aug 2026, 09:22 UTC245 views11 reactionsread 6 August 2026 Photo
Две забавные мысли:
Программа : циклы процессора ~= агент : токены.
LLM-ки похожи на фаззеры тем, что и там, и там – мы понимаем механизм, но не понимаем, почему это работает, и в обоих случаях в сердце процесса compute go brrrr.
LLM-ки – это фаззеры мыслительного процесса. Да-да, за таблетками уже иду 🙂
– @pgregory
😁7👍4
4 Aug 2026, 15:53 UTC289 views11 reactionsread 6 August 2026 Объяснить я и сам могу.
Мне очень нравится этот анекдот. Он буквально про агентов, которые готовы объяснить, что угодно, но не только про них.
Хороший маркетолог расскажет, как строится рынок, разработает стратегию продвижения и объяснит, почему одно сработало, а другое нет. Но он не сможет что-то построить, строить и создавать могут только авторы продукта. Никто за основателя не придумает бренд, не сможет его напол…
😁4🔥3🎅1👍1💯1🤨1
3 Aug 2026, 15:09 UTC353 views34 reactionsread 6 August 2026 Photo
Сегодня – лучшее время, чтобы вернуться к своим пет проектам.
Есть у меня проект: "улицы Санкт-Петербурга", где я хочу обойти все улицы этого прекрасного города. Но как понять, что я действительно это сделал? Очевидно, нужно записывать GPS треки и сделать софтину, которая подскажет что осталось. В до-LLM времена, я как начинал думать, что нужно ресечить OpenStreetMap API, считать геометрию в WGS84, учиться маппить т…
🔥21👍5❤3👏3😈1😭1
30 Jul 2026, 08:36 UTC649 views9 reactionsread 6 August 2026 Photo
Когда программируешь с агентами обычно нужно читать много кода и ревьюить коммиты. (ну если только ты не школьник-вайбкодер, хи-хи). Интересным вопросом является вопрос структурирования больших PR, об этом я думаю как-нибудь расскажет @pgregory, а @razmser мне подсказал классный тул, который рекомендую к использованию.
revdiff супер прост в использовании, согласно документации буквально:
Usage:
revdiff [base] [ag…
👍6🔥3
29 Jul 2026, 10:01 UTC580 views8 reactionsread 6 August 2026 Photo
Самое загадочное в больших языковых моделях – это то, что они все работают, несмотря на огромную разницу во всем.
Dense, MoE, LatentMoE, все варианты attention (в т.ч. например Kimi Linear который вообще не совсем attention), все варианты функций активации, все варианты обучения – классический pretrain, JEPA-like цели, RL, все модальности – текст, сырое (!) аудио и картинки, видео, квантизация и дистилляция – все ра…
❤4👍3🤷♂1
27 Jul 2026, 17:11 UTC529 viewsread 6 August 2026 Me too
27 Jul 2026, 17:11 UTC520 views10 reactionsread 6 August 2026 Forwarded from @profunctor_ioPhoto
Photo, posted without a caption
😁6👍3🔥1
25 Jul 2026, 15:20 UTC602 views6 reactionsread 6 August 2026 Свежее выступление моего любимого поляка Фила Пизло про его проект, скромно названный Fil-C – самое интересное, что случилось в системном программировании за последний год.
https://www.youtube.com/watch?v=5F-2Y1LPRek
Ну и легкий троллинг Раста это всегда хорошо :-)
– @pgregory
😁4👍2
24 Jul 2026, 15:55 UTC556 views15 reactionsread 6 August 2026 Открытые китайские модели всё ближе подбираются к фронтиру.
Сначала появился DeepSeek R1, удививший всех своей доступностью. Затем вышел GLM-5.2 — он лишь на полшага отстаёт от фронтирных моделей и сейчас особенно популярен для ревью кода.
А недавно Moonshot AI представила Kimi K3 — уже полноценную фронтирную модель. В веб-разработке она показывает одни из лучших результатов.
С сегодняшнего дня вы можете попробова…
🔥12👍2👏1
23 Jul 2026, 22:58 UTC678 views9 reactionsread 6 August 2026 Photo
И опять контрэкземпл, но не там где ждали и не от AI. На этот раз с инвариантом свойства логарифма для Lua и PHP (кто бы сомневался).
Утверждается, что если a>b>1, то логарифмы от x, где x>1 по основанию a и b будут строго меньше соответвующе. Но PHP и Lua получают обратный результат.
Очень забавная находка и спойлер такой, что дело не в арифметике с плавающей точкой, это было бы достаточно скучно, дело в том, что…
😁4🔥2❤1👍1😭1
23 Jul 2026, 15:15 UTC478 views11 reactionsread 6 August 2026 Photo
Работаю над CoreInfra AT1 и переодически сталкиваюсь с тем, что OpenAI считает это cybersecurity professional tool и отказывается работать.
С одной стороны это приятно, поскольку действительно мы считаем AT1 лучшим и уникальным продуктом в сфере полносистемного семантического фаззинга и поиска ошибок, с другой доставляет некоторые неудобства.
Сейчас спасает, что под боком в хабе есть китайские модельки, которые не …
🔥8🫡2👍1
Showing the 12 most recent of 20 posts we hold for @coreinfra. View and reaction counts are the latest single reading for each post, not a live figure, and a recent post is still accumulating both. A view count marked ≈ was rounded by Telegram before we ever saw it — t.me prints views in full below 1,000 and to three significant figures above, so ≈1,200,000 means somewhere between 1,150,000 and 1,249,999. Unmarked counts are exact. Text is reproduced from the public post preview and truncated for length.