CoreInfra

Telegram @coreinfra

⚔ Compare ☆ Watch Own this channel?

🔄 Data last refreshed 3 hours ago

🤝

Make a deal with CoreInfra

🔒 Paid proposals held safely in escrow — released only when the work's approved.

Subscribers

461

🧰 Free analysis for CoreInfra

🕵️ Fake follower check 📊 Engagement rate 💰 What they charge

Known for

И опять контрэкземпл, но не там где ждали и не от AI. На этот раз с инвариантом свойства логарифма для Lua и PHP (кто бы сомневался). Утверждается, что если a>b>1, то логарифмы от x, где x>1 по основанию a и b будут строго меньше соответвующе. Но PHP и Lua получают обратный результат. Очень забавная находка и спойлер такой, что дело не в арифметике с плавающей точкой, это было бы достаточно

670 views И опять контрэкземпл, но не там где ждали и не от AI. На этот раз с инвариантом свойства логарифма для Lua и PHP (кто бы сомневался). Утверждается, что если a>b>1, то логарифмы от x, где x>1 по основанию a и b будут строго меньше соответвующе. Но PHP и Lua получают обратный результат. Очень забавная находка и спойлер такой, что дело не в арифметике с плавающей точкой, это было бы достаточно

Когда программируешь с агентами обычно нужно читать много кода и ревьюить коммиты. (ну если только ты не школьник-вайбкодер, хи-хи). Интересным вопросом является вопрос структурирования больших PR, об этом я думаю как-нибудь расскажет @pgregory, а @razmser мне подсказал классный тул, который рекомендую к использованию. revdiff супер прост в использовании, согласно документации буквально: Usage:

631 views Когда программируешь с агентами обычно нужно читать много кода и ревьюить коммиты. (ну если только ты не школьник-вайбкодер, хи-хи). Интересным вопросом является вопрос структурирования больших PR, об этом я думаю как-нибудь расскажет @pgregory, а @razmser мне подсказал классный тул, который рекомендую к использованию. revdiff супер прост в использовании, согласно документации буквально: Usage:

Самое загадочное в больших языковых моделях – это то, что они все работают, несмотря на огромную разницу во всем. Dense, MoE, LatentMoE, все варианты attention (в т.ч. например Kimi Linear который вообще не совсем attention), все варианты функций активации, все варианты обучения – классический pretrain, JEPA-like цели, RL, все модальности – текст, сырое (!) аудио и картинки, видео, квантизация и

571 views Самое загадочное в больших языковых моделях – это то, что они все работают, несмотря на огромную разницу во всем. Dense, MoE, LatentMoE, все варианты attention (в т.ч. например Kimi Linear который вообще не совсем attention), все варианты функций активации, все варианты обучения – классический pretrain, JEPA-like цели, RL, все модальности – текст, сырое (!) аудио и картинки, видео, квантизация и

Вы наверняка слышали про недавно найденный контрпример для гипотезы якобиана (Claude Fable 5): hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final Сегодня Дмитрий Рыбин написал (в Твиттере, конечно) о нахождении контрпримера для гипотезы Диница-Гарга-Гоманса (GPT 5.6 Pro). Как? В 4

516 views Вы наверняка слышали про недавно найденный контрпример для гипотезы якобиана (Claude Fable 5): hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final Сегодня Дмитрий Рыбин написал (в Твиттере, конечно) о нахождении контрпримера для гипотезы Диница-Гарга-Гоманса (GPT 5.6 Pro). Как? В 4

📣 Post reach

477

Avg views / post

1×

Reach vs followers

🔥 Top post: И опять контрэкземпл, но не там где ждали и не от AI. На этот ра · 670 views

Recent posts

View on Telegram ↗

🔥 Top post И опять контрэкземпл, но не там где ждали и не от AI. На этот раз с инвариантом свойства логарифма для Lua и PHP (кто бы сомневался). Утверждается, что если a>b>1, то логарифмы от x, где x>1 по основанию a и b будут строго меньше соответвующе. Но PHP и Lua получают обратный р… 👁 670

Две забавные мысли: Программа : циклы процессора ~= агент : токены. LLM-ки похожи на фаззеры тем, что и там, и там – мы понимаем механизм, но не понимаем, почему это работает, и в обоих случаях в сердце процесса compute go brrrr. LLM-ки… 👁 156 Объяснить я и сам могу. Мне очень нравится этот анекдот. Он буквально про агентов, которые готовы объяснить, что угодно, но не только про них. Хороший маркетолог расскажет, как строится рынок, разработает стратегию продвижения и объяснит… 👁 257

Сегодня – лучшее время, чтобы вернуться к своим пет проектам. Есть у меня проект: "улицы Санкт-Петербурга", где я хочу обойти все улицы этого прекрасного города. Но как понять, что я действительно это сделал? Очевидно, нужно записывать GP… 👁 301

Когда программируешь с агентами обычно нужно читать много кода и ревьюить коммиты. (ну если только ты не школьник-вайбкодер, хи-хи). Интересным вопросом является вопрос структурирования больших PR, об этом я думаю как-нибудь расскажет @pgr… 👁 631

Самое загадочное в больших языковых моделях – это то, что они все работают, несмотря на огромную разницу во всем. Dense, MoE, LatentMoE, все варианты attention (в т.ч. например Kimi Linear который вообще не совсем attention), все варианты… 👁 571

Photo post 👁 509 Me too 👁 518 Свежее выступление моего любимого поляка Фила Пизло про его проект, скромно названный Fil-C – самое интересное, что случилось в системном программировании за последний год. https://www.youtube.com/watch?v=5F-2Y1LPRek Ну и легкий троллинг… 👁 586 Открытые китайские модели всё ближе подбираются к фронтиру. Сначала появился DeepSeek R1, удививший всех своей доступностью. Затем вышел GLM-5.2 — он лишь на полшага отстаёт от фронтирных моделей и сейчас особенно популярен для ревью кода… 👁 546

Работаю над CoreInfra AT1 и переодически сталкиваюсь с тем, что OpenAI считает это cybersecurity professional tool и отказывается работать. С одной стороны это приятно, поскольку действительно мы считаем AT1 лучшим и уникальным продуктом… 👁 461

Вы наверняка слышали про недавно найденный контрпример для гипотезы якобиана (Claude Fable 5): hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working dur… 👁 516

📊 Channel activity & format

Posting cadence

5.7 / week

Posts several times a week — consistently active for a campaign window.

Content format

Mostly images

An image/graphic-led channel — suits announcements, drops and visual promos. Recent: 0 video · 8 image.

💡 Facts

👁️Averages 477 views per post.

🕵️ Fake follower check

Estimated

63/100

Good Credibility score

81%

Real Real audience

Low Fake-follower risk

Low Data confidence

Est. 81% real, active audience · Low fake-follower risk.
Strong engagement (~1× of followers engage each post) — an active, real audience.

Low confidence — few signals are public for this listing, so treat it as a rough screen. Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.

About

AI × Verification → Future. https://coreinfra.ru

📸 Gallery

🔀 Audience overlap

Estimated

Estimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.

Спец по специям 17%

Kawaiicore | 2000's anime aesthetic 17%

EA$T ГОТОВЫЕ ОБЛОЖКИ 16%

MIDNIGHT CLUB | ПОКЕР НЕ НА ДЕНЬГИ | МОСКВА 14%

paunpuam павунпум 14%

Вщух-вщух, вщух-щух-щух 14%

More like this

Find more →

MIDNIGHT CLUB | ПОКЕР НЕ НА ДЕНЬГИ | МОСКВА

Kawaiicore | 2000's anime aesthetic

@anime2000s

2.9K Subscribers

Вщух-вщух, вщух-щух-щух

@vshuhvshuh

981 Subscribers

Auto-generated from Telegram's public data — no affiliation with or endorsement by SocialDB. Is this you? Claim it · Remove