Ссылка
нажмите — покажем
нажмите — покажем
Коллеги, например, переписывают GAP (который https://github.com/gap-system/gap) для искиновой песочницы. Тащатся...
Кстати, а где человек из этого чата, который предрекал, что вот уже скоро AI настанет и там были какие-то регулярные длинные посты с кучей слов, из которых ничего не было понятно? Что AI как-то универсально должен был всё делать, главное ему методологию правильную дать, и там ещё промпт был на миллион токенов.
😈1
S A Ссылка
нажмите — покажемЯ предрекал, например, https://t.me/JuliaLanguage/46171 (сентябрь 2025). Перелом был где-то в декабре 2025 года, о нём говорил Karpathy — это подробно обсуждалось. Я на месяц ошибся ))) У меня не промпт, у меня языки паттернов — https://github.com/ailev/FPF (и там вроде вполне неплохо с гитхабовскими звёздами и форками — всё отлично работает). Заявка на универсальность и участие AI-агентов да, была и осталась — AI-native first-principle-driven engineering. Физматвычислительное мышление там уже в какой-то форме есть (и мне пишут, что вполне работает). И архитектура систем, методов и всего остального тоже как-то раскрыта. И много чего ещё любопытного. Сейчас общий объём где-то 25М знаков, разве что времена озабоченности "промптами" уже прошли, озабоченности harness прошли, озабоченности конкретными языками (естественными или программирования) прошли, важны другие проблемы и в объяснениях другая лексика. Поэтому грядёт чистка одних паттернов (они умным агентам не нужны) и добавка других (экономят время на мышление — даже умным агентам).
Немного в сторону.
Я вот смотрю на использование лексики ("школотроны" и т.п.), общему отношению и удивляюсь. Я в своё время много преподавал, у меня у самого уже дети не очень маленькие. И у меня нет ощущения или отношения к ним, что они глупее, ничего не соображают, всему надо учить и т.п. Что если их не пинать в нужном направлении, то они будут дураками и школотой.
Наоборот, я как раз вижу, что следующее поколение умнее и сообразительнее, умеет быть гораздо более ответственными, любит быть креативным. Да, набор приоритетов может быть другой, но это точно не "школотроны".
A
Я на практике перевел весь свой биостатистический пайплайн на Julia и по удобству никакой R и Python рядом не валялись. Какие-то вещи пришлось дописывать под себя, но это оправдывается на дистанции. Каждый специалист со временем обрастает собсивенной кодовой базой и база на Julia куда лучше переиспользуется и читается. Обучаю тоже на Julia - нет альтернатив что бы накидать ДУ-шек прям из статьи и решить их, несколько строк и у тебя уже хоть ML решение, хоть баесовское. LinearAlgebra из коробки это вообще имба. Студентам - непривычно, но по сути у нас вообще нет ни одного места где бы изучалось "научное" программирование - это фундаментальный пробел. Проблема с LLM есть - но проблема эта шире - студенты отказываются формулировать задачу, ЯП используется как инструмент формализации задачи - вот этот пласт студенты пропускают, по большому счету плевать на навык программирования, но с его помощью развивались навыки формализации - сейчас это труднее.
🤝1
Ссылка
нажмите — покажем
нажмите — покажем
Migrating the GitHub Copilot runtime to Rust, using Copilot (https://github.blog/ai-and-ml/generative-ai/migrating-the-github-copilot-runtime-to-rust-using-copilot/) - радуемся за генерацию более 800к строк кода, снижение потребления памяти на порядок и ускорение более чем на порядок? Или ждём незамеченных тестами глюков и неочевидных регрессий?
Очень интересный разбор, даже интересней bun...
👍1
Alexey NeznanovСтатьи (11 штук), заявления открытоискиновцев (3 шт.), заявления математиков (4 шт.). Код на Lean (3 шт.), вариант кода на Рок (2 шт.). И вплоть до коммуникации нового органа: https://openai.com/index/advisory-group-on-mathematics-and-ai/
P.S. Это на фоне кучи переписки в соцсетях...
Ссылка
нажмите — покажем
нажмите — покажем
Вот, кстати, чего очень ждали - https://arxiv.org/pdf/2609.20803 - анализ решения при воздействии внешней силы.
Всё не так однозначно. Пойдут дальше вязкость моделировать...