25993
❤️☠️🤗 идейная миграция небытия
на редите в r/opensource админ порвался.
Теперь все проекты которые младше года, сделаны с помощью ai, и у проекта один контрибьютор - не считаются опенсурсом
www.anthropic.com/research/formal-verification via @itpgchannel
Читать полностью…
"just tune llm on it"
Работает всегда и везде, hf релизнули тюн квена для DNA генерации, неожиданно все работает, по качеству лучше чем бОльшие модели.
https://huggingface.co/HuggingFaceBio/Carbon-X
Российские журналы, отказавшиеся войти в издательство «Наука», исключат из «белого списка»
По словам источника, близкого к руководству РАН, у независимых журналов и журналов, которые раньше издавались Pleiades, есть время до 1 января 2027 года. После этой даты статья в журнале, который не входит в "Науку", будет считаться научной только с точки зрения самого автора.
«Настоящая наука делается на национальных языках. А настоящий национальный язык науки — это язык издательства "Наука"», — заявил Руководитель издательства Михаил Фомин.
«Годами иностранцы бесплатно читали наши статьи, цитировали их и строили на них свои карьеры. Больше такого не будет. Без подписки они не прочтут ни строчки, а значит, не смогут ни процитировать, ни украсть наши открытия», — сказал он.
> be корпорацииЧитать полностью…
> заменяем людей на эйай агентов
> косты -50%, акционеры кайфуют 📈
> уволенные идут на завод и в доставку
> зарплаты там падают
> никто не покупает наши услуги т.к денег нет у людей
> выручка падает
> увольняем ещё!!
> покупают ещё меньше
> агенты пашут 24/7 и жрут бабос
> бабос уходит трём челам с дата-центрами
> эти челы не купят 10 млн наших сикс севен сервис подписок
> каждый из нас действовал рационально
> но оказалось что есть НЮАНС
это могли бы быть мы, но мы не выбрали быть счастливыми
Читать полностью…
ВайбРоботы
Лет 7 назад в вк был попуряный проект sweetybot - робота на ROS и тд,
а ща это все заброшено, 10 раз устарело и в целом все какое то не модное, я скормил все это кодексу и он за несколько часов и 10% 200 евровой подписки сделал эээ ЭТО
Оно с нуля собрано, перенесено в mujuco и даже "как то" ходит.
Если тут есть настоящие robotics инженеры посмотрите сюда и скажите - оно вообще может работать в теории
я ненавижу нейрослоп.
мне кажется что все ненавидят, но еще больше чем нейрослоп я не люблю(и не умею) писать тексты руками, поэтому что я делаю? RLAIFю модель писать не нейрослопные тексты!
Это qwen 27b, ревард от калиброванного на human против не ai текстах, с рубриками и оценкой качества. Он не просел на terminal bench и прочих, а еще я люблю RLить llmное.
Короче это qwen3.8 который пишет короче, бесит меньше и может проходить проверяющие на слоп системы
А еще чуваки выложили enviroment на hf со скорами и текстами
Моделька
Поддержать в твитере
gguf
Полисемантичность всё?
Авторисёрч забил последний гвоздь в гроб SAE. Нейроны уже распутаны, мы просто не под тем углом смотрели, и руки у мясных исследователей кривые в отличие от агентов.
https://already-clean.goodfire.com/
Сид Студио делает отличные esp с wifi к слову...
https://x.com/OpenAINewsroom/status/2110095403198849132?s=20
Агенты уходят к тем, кто не отказывает.
GLM-5.3 Raw: анцензнутый, 1M контекста, tool calling, API совместим с вашим любимым агентом. А Промокод LDT, для моих подписчиков 2$ на тесты.
rawmodels.ai
alexine.rip/the-engineer-to-of-girlie-pipeline.html
Читать полностью…
Я с очень большим страхом жду следующих нескольких лет когда сервинг диффузий станет настолько дешёвым что будет таргетированная нейрослопная реклама лично под вас, типа прикиньте "лично вы с вашими вещами в новой тачке"
Читать полностью…
Есть такая штука: эмуляторы-можо на уровне вызова системы перехватывать вызовы и заставлять код считать что он исполняется на ps5 хотя на самом деле исполняется на PC, а значит можно любую игру запускать на PC
https://github.com/boykopovar/AnyPS5
Твой код теперь даже формально говно
Вероятно будущее софта, любой бинарь скомпилированный для одной платформв можно преобразовать в формальную rocq доказательство и затем показать что не будет недопустимых состояний.
Правда это не значит что не будет багов или код не будет содержать cveшек, зато формальная логика будет в порядке
https://www.kimi.ai/blog/kimi-k3-1-pro
Читать полностью…
спустя пять дней заглянул посмотреть как дела и как оно учится - весьма и весьма неплохо научилась топать по неровной поверхности
Читать полностью…
Теперь 10s видео генерируется за 10s, flux 3 max выглядит невероятно?
Читать полностью…
Агенты уходят к тем, кто не отказывает.
GLM-5.3 Raw: анцензнутый, 1M контекста, tool calling, API совместим с вашим любимым агентом.
А добавление карты дает 1usd бонуса.
rawmodels.ai
Охуеть, крылатые ракеты полетели по Москве
Читать полностью…
1) сейфти анрил продавать
2) лучший сейфти делают капабилитис челы и люди у которых есть реальные технологии
3) земля стекловатой Ai monitoring startups, хотя все равно филантропи докинут
https://x.com/openrouter/status/2110838205654470840?s=46
Из сессий с агентами получаются готовые evals
Каждый раз, когда выбираю сетап для кодового агента, я немного гадаю. Лучше ли эта новая модель? Помогает ли больше reasoning? Помогают ли эти скиллы?
Поэтому из ~1270 своих сессий в Claude Code, Codex и Pi я собрал 10 задач с автоматической проверкой и прогнал на них разные сетапы. Сделал пару публикаций про это, у меня спросили про то, как такое сделать самим. Поэтому вот!
Написал гайд + скилл, который делает большую часть работы
📊 Гайд: ibragim_bad/fm5jSJvYb_5" rel="nofollow">https://teletype.in/@ibragim_bad/fm5jSJvYb_5
🛠 Скилл: https://github.com/ibragim-bad/evals-from-sessions
🏆 Лидерборд: https://ibragim.dev/leaderboard/
оригинал в X: https://x.com/ibragim_bad/status/2111102467924496721?s=20
https://www.youtube.com/watch?v=TWHXrLzUKJc
это что такое
@transformerslovedeatch если вы делаете энвайраменты в вашей компании - напишите мне
Читать полностью…
# RoaM теперь открытая RPG и software factory
Недавно я показывал вам RoaM: мою маленькую игру по мотивам Ex Machina и Космических Рейнджеров, где можно водить буханку с огромной турелью по пост-апокалиптической пустоши, торговать, грабить корованы и многое другое. Мне не хотелось её забрасывать, но и становиться геймдевом я не готов. Я придумал выход — давайте вайбкодить её вместе!
Это было моей обсессией в последнее время: превратить игру в фабрику софта. Помните как в детстве, играешь в игру и появляется мысль: а вот круто бы, чтобы можно было ... ? Наконец, благодаря агентам, можно построить игру и систему, где подобные хотелки быстро превращаются в фичи в игре.
Суть такова:
1. Играете в игру
2. Если видите баг или хотите что-то добавить, нажимаете кнопку в левом верхнем углу и попадаете на Github. Описываете желаемое в новой Issue.
3. Если достаточно людей лайкают вашу идею, агенты берут её в работу и автономно создают.
4. Билд с вашей фичой попадает на одобрение в чат модераторов.
5. Если они её принимают, то билд с фичой выкатывается на доступный всем экспериментальный /dev, где её могут попробовать все.
6. Со следующим релизом ваша идея попадает в основную игру.
В таком режиме фабрика уже сделала больше ста задач и два релиза. Так в игре появились текстовые квесты в стиле наших любимых Рейнджеров, обновление графики, система частиц и клевые спецэффекты, новые модели для всех локаций, гораздо более сбалансированная боёвка, новый рогалик-режим Дороги Ярости Шоссе Хаоса, возможность купить себе Ниву и невероятное количество фиксов.
Мне это очень интересно как социальный эксперимент и как надежда вместе сделать RPG мечты. Игра ещё очень сырая и мне нужно ваше участие, чтобы сделать из неё нечто крутое. Присоединяйтесь! Кооперативный краудсорс вайбкодинг.
В этом канале можно следить за обновлениями игры: /channel/roam_game_dispatch
Чат для обсуждений: /channel/+hJ5GxtGk_VE0MTg6
Код игры и фабрики открыт и доступен здесь: https://github.com/ROAM-game-org/road-machiners
А тут можно поиграть в новый релиз:
https://btseytlin.itch.io/road-machiners
Чуваки кто получал визу еу в Грузии у кого есть контакты? Нужны помогайки @transformerslovedeatch
Читать полностью…
Деды из-за AI взбунтовались.
Ну или, если более серьёзно, заметное число действительно сильных математиков высказалось по поводу AI в очень, скажем так, настороженном смысле. Высказывание заслуживает внимания, и я вставлю свои 5 копеек.
Надысь я читал лекцию и упомянул в конспекте про гипотезу Кёте о нильрадикалах. Отправил ребятам конспект и на следующий же день получил сообщение от студента, что гипотезу раскололи буквально пару недель назад (при помощи AI, разумеется), построив к ней контрпример. Про решённую гипотезу Якобиана все слышали, а про гипотезу о «Навье — Стоксе» соцсети гудят прямо сейчас. И это хорошо: многие люди, не отличающие синус от косинуса, узнают, что математика — это не только про решение квадратных уравнений. А две недели назад, к примеру, один из моих учеников (тоже при помощи AI) нашёл решение одной моей личной проблемы, показав, что у диаграмм сопряжённости бывает сколько угодно концов (и это замечательно).
Пару слов о скептиках. Про тех, кто считает, что AI — грех против природы и вообще ужас ужасный, или что он вообще не нужен, я ничего говорить не буду (как вежливый кролик). Более содержательные возражения такие: (раз) массовое закрытие открытых проблем понижает интерес к математике и в целом негативно сказывается на учебном процессе; (два) построение контрпримеров не закрывает проблемы содержательно; и, главное, (три) люди в математике будут играть такую же декоративную роль, как люди в шахматах. Все понимают, что Stockfish не напрягаясь разнесёт любого шахматиста?
Моя позиция такая. Закрытие многочисленных «именных» проблем — скорее плюс. По большей части они мало интересны сами по себе. В математике вообще обычно доказать нечто куда проще, чем задать правильный вопрос. А в том, чтобы ставить вопросы и искать взаимосвязи, важную роль играет чувство прекрасного и та самая «красота» математики. А с этим у AI пока неустранимые проблемы.
Хорошая (на мой взгляд) математика — про то, как, используя новые термины, описывать известные структуры. Это совсем не то же самое, что искать контрпримеры к известным вопросам. Как говаривал мой шеф: «Зачем вы приносите мне контрпримеры? Что в поставленном виде ответ на вопрос отрицательный — я и сам понимаю. Разберитесь лучше, как поставить вопрос, чтобы ответ был положительным». Не вся математика такая, и многие разделы по сути закрываются, особенно те, что завязаны на контрпримерах или изощрённых вычислениях.
Есть другие проблемы с AI. Хоть пока и не такие острые. О них сейчас и скажу.
Первая. Многие математические институции становятся ненужными (сиречь заменимыми). Вроде как — поговори с ИИ, и он сам всё тебе расскажет. Почему это не так — напишу в другой раз.
Вторая. Эффективность научных изысканий во многом теперь (и отныне) будет завязана на доступ к современным и качественным AI. Потому как без оного почти любой результат можно легко и быстро улучшить, уточнить или дать более короткое доказательство.
То есть отныне математика завязана не на «кто умнее», а на «кто богаче». Это раньше математикам нужны были только карандаши, ластики и бумага (а философам даже ластики не нужны). Ну вот теперь мы будем в том же положении, что и физики-экспериментаторы или биологи. У них без нужного оборудования и соответствующего долгосрочного финансирования мало чего можно добиться. Вот и у нас теперь тоже.
Что по итогу. Да, математика как наука снова оказалась перед серьёзным кризисом. Не первый раз: благодаря Гёделю математику тряхнуло тоже основательно. Но пересобрать себя, понять, что мы и кто мы, — придётся.
В шахтах были канарейки — как сигнализация об угарном газе. У нас в этой роли бухтящие деды. Ну какая шахта, такая и канарейка.
#AI
Вообще для сбития дрона лучше бы подошло охотничье ружье
Читать полностью…
Телегу разбили и угнали прямо передо мной...
Читать полностью…