90 % того, чему учит AI Twitter, умрут через 6 месяцев
10 вещей, на которые старшие AI-инженеры перестали тратить время:
AutoGen / AG2: перешли на поддержку сообществом, релизы застопорились (мертвы для продакшена)
CrewAI: демо работают хорошо, в продакшене ломаются. инженеры, строящие реальные системы, уже ушли с него
Питчи автономных агентов: волна AutoGPT / BabyAGI мертва в продуктовой форме. индустрия остановилась на supervised, ограниченных, оцениваемых агентах
Магазины приложений / маркетплейсы для агентов: обещали с 2023 года, нулевая тяга в enterprise
Погоня за лидербордом SWE-bench: исследователи доказали, что почти каждый публичный бенчмарк можно обойти, не решая базовую задачу
Microsoft Semantic Kernel: если вы не заперты в enterprise-стеке Microsoft, это не то направление, куда движется экосистема
DSPy: философская ценность, нишевая аудитория. не универсальный фреймворк для агентов
Горизонтальные платформы «построй любого агента»: Google Agentspace, AWS Bedrock Agents, Copilot Studio
(запутанные, медленно развивающиеся, математика все еще за то, чтобы строить самим)
Ценообразование per-seat SaaS для продуктов агентов: рынок перешел на outcome-based. per-seat уже мертв
Фреймворк, который взорвался на HN на этой неделе: подождите 6 месяцев. если он все еще важен, это станет очевидным
что на самом деле компаундится вместо этого:
- инженерия контекста
- дизайн инструментов
- паттерн orchestrator-subagent
- дисциплина оценки
- мышление harness (harness > model, всегда)
- MCP как протоколный слой
быть на несколько шагов впереди и переигрывай рынок, пока он не стал массовым мнением
изучай это
10 вещей, на которые старшие AI-инженеры перестали тратить время:
AutoGen / AG2: перешли на поддержку сообществом, релизы застопорились (мертвы для продакшена)
CrewAI: демо работают хорошо, в продакшене ломаются. инженеры, строящие реальные системы, уже ушли с него
Питчи автономных агентов: волна AutoGPT / BabyAGI мертва в продуктовой форме. индустрия остановилась на supervised, ограниченных, оцениваемых агентах
Магазины приложений / маркетплейсы для агентов: обещали с 2023 года, нулевая тяга в enterprise
Погоня за лидербордом SWE-bench: исследователи доказали, что почти каждый публичный бенчмарк можно обойти, не решая базовую задачу
Microsoft Semantic Kernel: если вы не заперты в enterprise-стеке Microsoft, это не то направление, куда движется экосистема
DSPy: философская ценность, нишевая аудитория. не универсальный фреймворк для агентов
Горизонтальные платформы «построй любого агента»: Google Agentspace, AWS Bedrock Agents, Copilot Studio
(запутанные, медленно развивающиеся, математика все еще за то, чтобы строить самим)
Ценообразование per-seat SaaS для продуктов агентов: рынок перешел на outcome-based. per-seat уже мертв
Фреймворк, который взорвался на HN на этой неделе: подождите 6 месяцев. если он все еще важен, это станет очевидным
что на самом деле компаундится вместо этого:
- инженерия контекста
- дизайн инструментов
- паттерн orchestrator-subagent
- дисциплина оценки
- мышление harness (harness > model, всегда)
- MCP как протоколный слой
быть на несколько шагов впереди и переигрывай рынок, пока он не стал массовым мнением
изучай это
Forwarded from НИИ Антропогенеза (ARI) (Chagin Oleg A.)
Первый компьютерный паразит, который похищает способность думать
Рой из «Непобедимого» Станислава Лема начал собирать свое тело внутри человеческого интернета
Исследователи университетов Торонто и Кембриджа запустили в изолированной сети червя, который не просто размножался на зараженных машинах
Захватывая компьютеры с GPU, он превращал их в новые узлы собственного рассуждающего «мозга» – и использовал приобретенную вычислительную способность, чтобы искать следующих хозяев
Девять лет назад я писал о материализации одного из самых красивых прозрений Станислава Лема
В романе «Непобедимый» земляне сталкиваются с черными роями микроскопических «насекомых»
Каждое из них почти беспомощно
Но, объединяясь в самоорганизующуюся систему, они приобретают свойства, которых нет ни у одной отдельной особи
Рой становится новой формой существования материи
В 1963 году, когда Лем написал роман, это казалось чистой фантастикой
Но спустя полвека физики из Стэнфорда обнаружили, что настоящие рои насекомых действительно способны самоорганизовываться в устойчивые агрегато-подобные фазовые состояния
И вот теперь – следующий акт этой лемовской материализации
Медиа увидели в новой работе университетов Торонто и Кембриджа прежде всего очередной «опасный вирус»
За результатами эксперимента можно увидеть нечто гораздо более фундаментальное: рождение нового состояния уже не материи, а цифровой среды
Обычный компьютерный червь был похож на ключ, размножающий собственные копии
Он мог открывать миллионы дверей – но лишь одного, заранее известного типа
Стоило заменить замок, и эпидемия упиралась в стену
Новый червь устроен принципиально иначе
Каждая его копия самостоятельно рассуждает, выбирает способ атаки, ошибается, пробует снова и порождает новые копии
Если один агент не смог проникнуть на узел сети, приходит другой – с иной цепочкой рассуждений
Затем третий
Затем десятый
Постепенно отдельные попытки складываются в коллективный поиск
Авторы сами называют это роем
Но, возможно, происходит нечто еще более фундаментальное
Перед нами возникает самоподдерживающаяся и самовоспроизводящаяся вычислительная инфраструктура, которая захватывает новые машины, чтобы наращивать не только свое тело, но и способность рассуждать
Если биологический паразит использует обмен веществ хозяина, то цифровой начинает использовать его способность вычислять
Он похищает не готовые «мысли» машины, а саму возможность производить «мысли»
Именно поэтому соучредитель Anthropic Джек Кларк пишет, что будущий интернет, вероятно, станет уже не сетью сайтов, а экосистемой взаимодействующих популяций агентов
Одни будут занимать собственные экологические ниши, самовоспроизводиться и существовать практически без участия человека
Другие – выполнять роль своеобразных белых кровяных телец, охотящихся на первых
Любопытно, что Лем часто ошибался в деталях, но почти никогда – в направлении
Его «насекомые» оказались не металлическими
И возникли они не в пустынях далекой планеты, а внутри самой информационной среды человечества
Предотвратить массовое появление подобных цифровых экосистем, скорее всего, уже не удастся
Вряд ли человечество успеет насытить инфосреду цифровыми лейкоцитами, прежде чем ее заполонят миллиарды адаптивных цифровых паразитов
И такому прогнозу Лем, пожалуй, не удивился бы
Рой из «Непобедимого» Станислава Лема начал собирать свое тело внутри человеческого интернета
Исследователи университетов Торонто и Кембриджа запустили в изолированной сети червя, который не просто размножался на зараженных машинах
Захватывая компьютеры с GPU, он превращал их в новые узлы собственного рассуждающего «мозга» – и использовал приобретенную вычислительную способность, чтобы искать следующих хозяев
Девять лет назад я писал о материализации одного из самых красивых прозрений Станислава Лема
В романе «Непобедимый» земляне сталкиваются с черными роями микроскопических «насекомых»
Каждое из них почти беспомощно
Но, объединяясь в самоорганизующуюся систему, они приобретают свойства, которых нет ни у одной отдельной особи
Рой становится новой формой существования материи
В 1963 году, когда Лем написал роман, это казалось чистой фантастикой
Но спустя полвека физики из Стэнфорда обнаружили, что настоящие рои насекомых действительно способны самоорганизовываться в устойчивые агрегато-подобные фазовые состояния
И вот теперь – следующий акт этой лемовской материализации
Медиа увидели в новой работе университетов Торонто и Кембриджа прежде всего очередной «опасный вирус»
За результатами эксперимента можно увидеть нечто гораздо более фундаментальное: рождение нового состояния уже не материи, а цифровой среды
Обычный компьютерный червь был похож на ключ, размножающий собственные копии
Он мог открывать миллионы дверей – но лишь одного, заранее известного типа
Стоило заменить замок, и эпидемия упиралась в стену
Новый червь устроен принципиально иначе
Каждая его копия самостоятельно рассуждает, выбирает способ атаки, ошибается, пробует снова и порождает новые копии
Если один агент не смог проникнуть на узел сети, приходит другой – с иной цепочкой рассуждений
Затем третий
Затем десятый
Постепенно отдельные попытки складываются в коллективный поиск
Авторы сами называют это роем
Но, возможно, происходит нечто еще более фундаментальное
Перед нами возникает самоподдерживающаяся и самовоспроизводящаяся вычислительная инфраструктура, которая захватывает новые машины, чтобы наращивать не только свое тело, но и способность рассуждать
Если биологический паразит использует обмен веществ хозяина, то цифровой начинает использовать его способность вычислять
Он похищает не готовые «мысли» машины, а саму возможность производить «мысли»
Именно поэтому соучредитель Anthropic Джек Кларк пишет, что будущий интернет, вероятно, станет уже не сетью сайтов, а экосистемой взаимодействующих популяций агентов
Одни будут занимать собственные экологические ниши, самовоспроизводиться и существовать практически без участия человека
Другие – выполнять роль своеобразных белых кровяных телец, охотящихся на первых
Любопытно, что Лем часто ошибался в деталях, но почти никогда – в направлении
Его «насекомые» оказались не металлическими
И возникли они не в пустынях далекой планеты, а внутри самой информационной среды человечества
Предотвратить массовое появление подобных цифровых экосистем, скорее всего, уже не удастся
Вряд ли человечество успеет насытить инфосреду цифровыми лейкоцитами, прежде чем ее заполонят миллиарды адаптивных цифровых паразитов
И такому прогнозу Лем, пожалуй, не удивился бы
Американская компания Pattern Computer, специализирующаяся на разработке технологий искусственного интеллекта и анализе сложных данных, ввела в состав своего консультативного совета, бывшего главу британской разведки MI6 (возглавлял MI6 с 1999 по 2004 год, завершив 38-летнюю карьеру в британских спецслужбах, а после ухода из разведки успел поработать ректором Пемброк-колледжа Кембриджа и консультантом целого ряда корпораций и инвестфондов по вопросам геополитических рисков)
В компании прямо заявили: его опыт в разведке и оценке глобальных угроз будет использован для «совершенствования механизмов безопасности AML» и «развития стратегических партнёрств» на международном уровне
Разведывательные структуры Запада исторически стояли у истоков большинства прорывных технологий: от интернета до современных систем анализа данных, и именно логика разведки (сбор, обработка и монетизация информации о мире) легла в основу того, что сегодня называют искусственным интеллектом
Назначение не является чем-то сверхъестественным: спецслужбы не приходят в цифровую индустрию, они изначально в её основании
Гендиректор Pattern Computer отдельно отметил, что новый член принесёт компании «уникальный взгляд на макроэкономическую стабильность и глобальный ландшафт угроз» — по сути, признание, что технологическая стратегия компании выстраивается по разведывательным лекалам оценки угроз и возможностей
На этом фоне стоит серьёзно задуматься тем, кто у нас продолжает делить искусственный интеллект на категории «это можно взять на Западе и в Китае» и «а это можно им отдать взамен»
Логика здесь предельно простая: Запад и Китай отдают ровно то, что сами считают нужным отдать, а забирают то, что сами считают необходимым забрать
Никакого равноценного обмена там нет и не подразумевается, это стратегия одной стороны
AML в стране развивается не на пустом месте
В апреле 2026 года президент поручил правительству разработать национальный план внедрения AML и создать спецкомиссию, а иными словами - «настоящий штаб» по AML
Президент неоднократно подчёркивал: полный цикл разработки и обучения языковых моделей должен осуществляться российскими компаниями, а критическая зависимость от чужих AML-систем — прямой путь к утрате технологического и ценностного суверенитета
На форуме в Астане в мае 2026 года перечислили конкурентные преимущества России: интеллектуальный потенциал, кадры, атомная энергетика, способность концентрировать масштабное финансирование
История с бывшим главой британской разведки MI6, обнажает суть: на Западе разведка и технологии AML — это одна система, работающая на интересы своего государства без всяких компромиссов в вопросах отдачи и заимствования
В России AML развивается: есть суверенные модели, национальный план, спецкомиссия при президенте
Но пока часть экспертного сообщества спорит, что лучше: западные или китайские наработки, обе стороны уже давно всё для себя решили и действуют по собственному расчёту
Останавливаться нельзя: нужно не выбирать между чужими моделями, а считать свои интересы и форсировать собственный, независимый AML, потому что противник не спит, а работает в логике разведки, которая всегда знает, что ей нужно взять и что не жалко отдать
В компании прямо заявили: его опыт в разведке и оценке глобальных угроз будет использован для «совершенствования механизмов безопасности AML» и «развития стратегических партнёрств» на международном уровне
Разведывательные структуры Запада исторически стояли у истоков большинства прорывных технологий: от интернета до современных систем анализа данных, и именно логика разведки (сбор, обработка и монетизация информации о мире) легла в основу того, что сегодня называют искусственным интеллектом
Назначение не является чем-то сверхъестественным: спецслужбы не приходят в цифровую индустрию, они изначально в её основании
Гендиректор Pattern Computer отдельно отметил, что новый член принесёт компании «уникальный взгляд на макроэкономическую стабильность и глобальный ландшафт угроз» — по сути, признание, что технологическая стратегия компании выстраивается по разведывательным лекалам оценки угроз и возможностей
На этом фоне стоит серьёзно задуматься тем, кто у нас продолжает делить искусственный интеллект на категории «это можно взять на Западе и в Китае» и «а это можно им отдать взамен»
Логика здесь предельно простая: Запад и Китай отдают ровно то, что сами считают нужным отдать, а забирают то, что сами считают необходимым забрать
Никакого равноценного обмена там нет и не подразумевается, это стратегия одной стороны
AML в стране развивается не на пустом месте
В апреле 2026 года президент поручил правительству разработать национальный план внедрения AML и создать спецкомиссию, а иными словами - «настоящий штаб» по AML
Президент неоднократно подчёркивал: полный цикл разработки и обучения языковых моделей должен осуществляться российскими компаниями, а критическая зависимость от чужих AML-систем — прямой путь к утрате технологического и ценностного суверенитета
На форуме в Астане в мае 2026 года перечислили конкурентные преимущества России: интеллектуальный потенциал, кадры, атомная энергетика, способность концентрировать масштабное финансирование
История с бывшим главой британской разведки MI6, обнажает суть: на Западе разведка и технологии AML — это одна система, работающая на интересы своего государства без всяких компромиссов в вопросах отдачи и заимствования
В России AML развивается: есть суверенные модели, национальный план, спецкомиссия при президенте
Но пока часть экспертного сообщества спорит, что лучше: западные или китайские наработки, обе стороны уже давно всё для себя решили и действуют по собственному расчёту
Останавливаться нельзя: нужно не выбирать между чужими моделями, а считать свои интересы и форсировать собственный, независимый AML, потому что противник не спит, а работает в логике разведки, которая всегда знает, что ей нужно взять и что не жалко отдать
Google представили прототип AML-системы, проводящей полный цикл научной работы при этом гарантирует проверяемость результатов
Авторы проекта говорят, что сегодняшние автономные AML-учёные уже пишут статьи, но часто:
- выдумывают несуществующие ссылки
- описывают в тексте один метод, а в коде реализуют совсем другой
- говорят о результатах экспериментов, которые нельзя воспроизвести по приложенному коду
Решение от Google - Science One Framework, у которого принцип работы такой: каждое утверждение в статье должно быть привязано к конкретному источнику в реальной статье из базы, строчке лога эксперимента или фрагменту кода
Сам фреймворк состоит из 3-х основных частей:
1. один читает литературу через Semantic Scholar API и берёт ссылки только оттуда, без обращения к памяти модели
2. второй параллельно тестирует решения и фиксирует все результаты в неизменяемом логе
3. третий Claim Verifier перед публикацией сверяет каждое утверждение с доказательной базой и переформулирует то, что за её рамки выходит
В качестве аудита Google предложили отдельный протокол CoE Audit - 4 автоматические проверки любой сгенерированной статьи
Авторы проекта говорят, что сегодняшние автономные AML-учёные уже пишут статьи, но часто:
- выдумывают несуществующие ссылки
- описывают в тексте один метод, а в коде реализуют совсем другой
- говорят о результатах экспериментов, которые нельзя воспроизвести по приложенному коду
Решение от Google - Science One Framework, у которого принцип работы такой: каждое утверждение в статье должно быть привязано к конкретному источнику в реальной статье из базы, строчке лога эксперимента или фрагменту кода
Сам фреймворк состоит из 3-х основных частей:
1. один читает литературу через Semantic Scholar API и берёт ссылки только оттуда, без обращения к памяти модели
2. второй параллельно тестирует решения и фиксирует все результаты в неизменяемом логе
3. третий Claim Verifier перед публикацией сверяет каждое утверждение с доказательной базой и переформулирует то, что за её рамки выходит
В качестве аудита Google предложили отдельный протокол CoE Audit - 4 автоматические проверки любой сгенерированной статьи
Google Research
Science One Framework: A verifiable autonomous research framework via Chain-of-Evidence
Introducing the Science One Framework, an experimental research prototype designed to eliminate hallucinations by natively building verifiable evidence chains, and CoE Audit, an automated protocol to evaluate the integrity of AI-generated papers.
Сегодня кафедры высшей математики в технических университетах стоят на развилке с камнем: оставаться в роли хранителей «бумажной» традиции или стать проводниками в зону формальной математики и ИИ-помощников
Формально записанные доказательства, языки и библиотеки Agda, Coq, Lean, mathlib, системы уровня AlphaProof уже меняют практику исследования и преподавания — но во многих аудиториях по‑прежнему живут только мел, доска, интегралы и устные легенды про «гениев с тетрадью»
За последние два‑три года математика изменилась сильнее, чем за предыдущие несколько десятилетий (а то и столетий)
Формальные доказательные среды и большие языковые модели перестали быть экзотическими игрушками
Они:
• формулируют и проверяют доказательства на уровне международных олимпиад и журналов
• помогают формализовывать классические теоремы, которые раньше годами «жили на бумаге»
• становятся частью инженерной практики: от верификации протоколов до проверки кода систем реального времени
При этом в большинстве технических вузов курс высшей математики по-прежнему устроен так, как будто этих инструментов не существует
Студентов учат решать задачи по образцу, но не учат:
• читать и писать формальные спецификации
• работать с доказательными помощниками (proof assistants)
• проверять корректность рассуждений машинными средствами
Меняются ли преподаватели вместе с дисциплиной?
Вводится хотя бы демонстрационный уровень работы с Lean, Coq или их аналогами?
Учат ли студентов, как формальная запись теоремы и её доказательства выглядит в коде, как устроены библиотеки, что такое тактики доказательства?
Обсуждаются с ними риски неформального подхода, когда БЯМ выдаёт «правдоподобный бред», и отличие этого от формально проверяемого результата?
Если нет — давайте честно признаем: мы готовим выпускников для вчерашнего дня
Инженер, который не умеет читать формальное описание алгоритма или спецификацию протокола, скоро окажется в положении человека, не умеющего пользоваться компилятором
Студент, который ни разу не видел, как AML выступает в роли помощника в формальной верификации, будет вынужден учиться этому «на ходу» уже в индустрии — без поддержки университета
Это не призыв выбросить классические курсы или заменить живое доказательство кликом по кнопке
Речь о другом: о включении формальной математики и AML-инструментов в стандартный образовательный маршрут
О том, чтобы в задачах по анализу и алгебре появлялись не только «найдите интеграл», но и «запишите формальную формулировку теоремы и проверьте её в системе»
О том, чтобы практикумы по программированию и курсы по алгоритмам опирались на тот же формальный язык, что и современные доказательные помощники
Пара переводов статей по AML-математике для размышления:
1) Доказательные помощники: https://clck.ru/3V4THJ
2) Формально или неформально, в области доказательства теорем: https://clck.ru/3V4THv
Формально записанные доказательства, языки и библиотеки Agda, Coq, Lean, mathlib, системы уровня AlphaProof уже меняют практику исследования и преподавания — но во многих аудиториях по‑прежнему живут только мел, доска, интегралы и устные легенды про «гениев с тетрадью»
За последние два‑три года математика изменилась сильнее, чем за предыдущие несколько десятилетий (а то и столетий)
Формальные доказательные среды и большие языковые модели перестали быть экзотическими игрушками
Они:
• формулируют и проверяют доказательства на уровне международных олимпиад и журналов
• помогают формализовывать классические теоремы, которые раньше годами «жили на бумаге»
• становятся частью инженерной практики: от верификации протоколов до проверки кода систем реального времени
При этом в большинстве технических вузов курс высшей математики по-прежнему устроен так, как будто этих инструментов не существует
Студентов учат решать задачи по образцу, но не учат:
• читать и писать формальные спецификации
• работать с доказательными помощниками (proof assistants)
• проверять корректность рассуждений машинными средствами
Меняются ли преподаватели вместе с дисциплиной?
Вводится хотя бы демонстрационный уровень работы с Lean, Coq или их аналогами?
Учат ли студентов, как формальная запись теоремы и её доказательства выглядит в коде, как устроены библиотеки, что такое тактики доказательства?
Обсуждаются с ними риски неформального подхода, когда БЯМ выдаёт «правдоподобный бред», и отличие этого от формально проверяемого результата?
Если нет — давайте честно признаем: мы готовим выпускников для вчерашнего дня
Инженер, который не умеет читать формальное описание алгоритма или спецификацию протокола, скоро окажется в положении человека, не умеющего пользоваться компилятором
Студент, который ни разу не видел, как AML выступает в роли помощника в формальной верификации, будет вынужден учиться этому «на ходу» уже в индустрии — без поддержки университета
Это не призыв выбросить классические курсы или заменить живое доказательство кликом по кнопке
Речь о другом: о включении формальной математики и AML-инструментов в стандартный образовательный маршрут
О том, чтобы в задачах по анализу и алгебре появлялись не только «найдите интеграл», но и «запишите формальную формулировку теоремы и проверьте её в системе»
О том, чтобы практикумы по программированию и курсы по алгоритмам опирались на тот же формальный язык, что и современные доказательные помощники
Пара переводов статей по AML-математике для размышления:
1) Доказательные помощники: https://clck.ru/3V4THJ
2) Формально или неформально, в области доказательства теорем: https://clck.ru/3V4THv
Teletype
Доказательные помощники в эпоху ИИ
Леонардо де Моура
В Якутии планируют построить мощный центр обработки данных (ЦОД), который станет ключевой инфраструктурой для развития искусственного интеллекта на Дальнем Востоке
ЦОД — это высокотехнологичный комплекс для хранения и обработки огромных объемов информации, что необходимо для работы современных цифровых сервисов, нейросетей и научных исследований
Сейчас специалисты выбирают конкретные площадки с надеждой энергетической инфраструктурой
Собственный ЦОД критически важен для развития региона и привлечения ведущих технологических компаний
Глава правительства поддержал создание ЦОД, назвав данные "новой нефтью XXI века"
ЦОД — это высокотехнологичный комплекс для хранения и обработки огромных объемов информации, что необходимо для работы современных цифровых сервисов, нейросетей и научных исследований
Сейчас специалисты выбирают конкретные площадки с надеждой энергетической инфраструктурой
Собственный ЦОД критически важен для развития региона и привлечения ведущих технологических компаний
Глава правительства поддержал создание ЦОД, назвав данные "новой нефтью XXI века"
В прошлом году делились материалом, автор которого потратил огромное кол-во времени и пересобрал сотни кластеров k8s, что помогло реализовать полноценный гайд по ручному развертыванию Kubernetes без использования автоматизированных инструментов, таких как
У автора есть дополнительный материал из этой серии
Статья небольшая, но полезная - поможет освежить в памяти хорошо забытое старое и, возможно, узнать что-то новое
В первой статье собрали control plane вручную: выпустили сертификаты, подготовили конфигурации и запустили управляющие компоненты
API-сервер уже отвечает, но кластер пока остается без рабочих узлов
Пока в кластере нет worker-нод, запускать прикладные поды просто негде
Во второй части добавим Worker-ноду и разберем весь путь от чистой VM до зарегистрированного узла в Kubernetes
Kubernetes The Hard Wa
Часть 1:
➡ Введение
➡ Почему «The Hard Way»
➡ Архитектура развертывания
➡ Создание инфраструктуры
➡ Базовая настройка узлов
➡ Загрузка модулей ядра
➡ Настройка параметров sysctl
➡ Установка компонентов
➡ Настройка компонентов
➡ Проверка готовности компонентов
➡ Работа с сертификатами
➡ Создание корневых сертификатов
➡ Создание сертификатов приложений
➡ Создание ключа подписи ServiceAccount
➡ Создание всех сертификатов
➡ Создание конфигураций kubeconfig
➡ Создание всех kubeconfig;
➡ Проверка блока сертификатов
➡ Создание static pod-ов управляющего контура
➡ Создание всех static pod-ов управляющего контура
➡ Создание static pod-ов ETCD кластера
➡ Запуск службы Kubelet;
➡ Проверка состояния кластера
➡ Настройка ролевой модели
➡ Загрузка конфигурации в кластер
➡ Загрузка корневых сертификатов в кластер
➡ Маркировка и ограничение узлов
Kubernetes The Hard Wa
Часть 2:
➡ Инфраструктура
➡ Базовая настройка узлов
➡ Загрузка модулей ядра
➡ Настройка параметров sysctl
➡ Установка компонентов
➡ Настройка компонентов
➡ Аутентификация
➡ Запуск Kubelet
➡ Проверка
➡ Вывод
S.E. infosec.work
kubeadmУ автора есть дополнительный материал из этой серии
Статья небольшая, но полезная - поможет освежить в памяти хорошо забытое старое и, возможно, узнать что-то новое
В первой статье собрали control plane вручную: выпустили сертификаты, подготовили конфигурации и запустили управляющие компоненты
API-сервер уже отвечает, но кластер пока остается без рабочих узлов
Пока в кластере нет worker-нод, запускать прикладные поды просто негде
Во второй части добавим Worker-ноду и разберем весь путь от чистой VM до зарегистрированного узла в Kubernetes
Kubernetes The Hard Wa
Часть 1:
Kubernetes The Hard Wa
Часть 2:
S.E. infosec.work
Please open Telegram to view this post
VIEW IN TELEGRAM
docs.dobry-kot.ru
Kubernetes The Hard Way: Workers | in-cloud
Подключаем Worker-ноду к Kubernetes-кластеру вручную: подготовка ОС, bootstrap token, CSR API, kubeadm join и запуск kubelet.
Prime intellect introduced Prime Agent a self-improving RLM harness for coding and long-running autonomous tasks
Designed to be both token-efficient and expressive through programmatic tool calling, context as a variable, multi-agent messaging, and a self-modifiable harness state
Prime Agent is a general-purpose coding harness
On ARC-AGI-3, it scores 95.5 %, surpassing the human-expert baseline, but the gain is not benchmark-specific
Prime Agent combines three ideas:
1. Recursive Language Models-native programmatic tool calling
2. Persistent multi-agent orchestration
3. A self-improving Continual Harness
Together, they let the model act on its own context and harness
Prime Agent is built on pi and fully open-source with an open license
Designed to be both token-efficient and expressive through programmatic tool calling, context as a variable, multi-agent messaging, and a self-modifiable harness state
Prime Agent is a general-purpose coding harness
On ARC-AGI-3, it scores 95.5 %, surpassing the human-expert baseline, but the gain is not benchmark-specific
Prime Agent combines three ideas:
1. Recursive Language Models-native programmatic tool calling
2. Persistent multi-agent orchestration
3. A self-improving Continual Harness
Together, they let the model act on its own context and harness
Prime Agent is built on pi and fully open-source with an open license
www.primeintellect.ai
Prime Agent: A self-improving RLM agent
Prime Agent is our open-source, self-improving coding harness built around two abstractions: the Recursive Language Model (RLM) and the Continual Harness. With Opus 5, it achieves 95.5% on ARC-AGI-3, surpassing the reported human expert baseline.
Команда из Prime Intellect выпустила новый тип ИИ-агента, Prime Agent, у которого харнесс является центральной частью архитектуры
Если вы не знаете, что такое харнесс, то в двух словах-это вся обвязка вокруг языковой модели: инструменты, управление контекстом, память, субагенты, цикл работы, система промптов и тд.
Prime Agent создан вокруг двух ключевых идей:
1. Recursive Language Model
2. Continual Harness
Это значит, что харнесс этого агента может сам себя улучшать и при этом он полностью open-source
Если вы не знаете, что такое харнесс, то в двух словах-это вся обвязка вокруг языковой модели: инструменты, управление контекстом, память, субагенты, цикл работы, система промптов и тд.
Prime Agent создан вокруг двух ключевых идей:
1. Recursive Language Model
2. Continual Harness
Это значит, что харнесс этого агента может сам себя улучшать и при этом он полностью open-source
Telegram
All about AI, Web 3.0, BCI
Prime intellect introduced Prime Agent a self-improving RLM harness for coding and long-running autonomous tasks.
Designed to be both token-efficient and expressive through programmatic tool calling, context as a variable, multi-agent messaging, and a self…
Designed to be both token-efficient and expressive through programmatic tool calling, context as a variable, multi-agent messaging, and a self…
Спрос российских школьников на IT-специальности в вузах снизился в 2026 году
Абитуриенты начали отдавать предпочтение другим инженерно-технологическим направлениям с сильной математической базой
Самыми востребованными среди инженерно-технологических направлений стали «Программная инженерия», «Прикладная математика и информатика», «Информатика и вычислительная техника», «Фундаментальная информатика и информационные технологии» и «Физика»
В гуманитарном блоке свою популярность сохранили «Юриспруденция», «Менеджмент», «Экономика»и связанные с управлением и медиа специальности
В лидеры среди всех направлений вышли «Программная инженерия», «Прикладная математика и информатика», «Юриспруденция» и «Экономика»
Абитуриенты начали отдавать предпочтение другим инженерно-технологическим направлениям с сильной математической базой
Самыми востребованными среди инженерно-технологических направлений стали «Программная инженерия», «Прикладная математика и информатика», «Информатика и вычислительная техника», «Фундаментальная информатика и информационные технологии» и «Физика»
В гуманитарном блоке свою популярность сохранили «Юриспруденция», «Менеджмент», «Экономика»и связанные с управлением и медиа специальности
В лидеры среди всех направлений вышли «Программная инженерия», «Прикладная математика и информатика», «Юриспруденция» и «Экономика»
Как воспитывать детей в эпоху цифровых технологий?
И какие методики работы с подростками действительно эффективны?
Именно этими вопросами займётся Научно-методический совет, созданный при Российском детско-юношеском центре
В его состав вошли ведущие учёные и эксперты в сфере образования и воспитания
Вместе они будут разрабатывать современные методические рекомендации, поддерживать педагогов, проводить экспертизу образовательных проектов и внедрять лучшие воспитательные практики
Основными направлениями работы Совета станут научно- методическая поддержка педагогического сообщества, реализация педагогических инноваций и формирование единого воспитательного пространства во всех образовательных организациях нашей страны
Первое заседание Научно-методического совета прошло 6 августа в Санкт-Петербурге в рамках конференции «Воспитание созиданием», объединившей более 100 специалистов из разных регионов России, а также Южной Осетии и Абхазии
Росдетцентр
____________
У меня 22 вопроса к «ведущим учёным и экспертам в сфере образования и воспитания детей в эпоху цифровых технологий»
И еще один для всех…
И какие методики работы с подростками действительно эффективны?
Именно этими вопросами займётся Научно-методический совет, созданный при Российском детско-юношеском центре
В его состав вошли ведущие учёные и эксперты в сфере образования и воспитания
Вместе они будут разрабатывать современные методические рекомендации, поддерживать педагогов, проводить экспертизу образовательных проектов и внедрять лучшие воспитательные практики
Основными направлениями работы Совета станут научно- методическая поддержка педагогического сообщества, реализация педагогических инноваций и формирование единого воспитательного пространства во всех образовательных организациях нашей страны
Первое заседание Научно-методического совета прошло 6 августа в Санкт-Петербурге в рамках конференции «Воспитание созиданием», объединившей более 100 специалистов из разных регионов России, а также Южной Осетии и Абхазии
Росдетцентр
____________
У меня 22 вопроса к «ведущим учёным и экспертам в сфере образования и воспитания детей в эпоху цифровых технологий»
И еще один для всех…
На Яндекс Книгах подборку с задачами, головоломками и полезными приёмами критического мышления
Здесь есть и классика отечественного научпопа, и современные разборы того, как цифры помогают манипулировать людьми
Для любителей задачек:
«Загадки и диковинки в мире чисел» Яков Перельман
Классика отечественного научпопа — Перельман сто с лишним лет назад стал одним из основоположников жанра занимательной математики, и его загадки про числа до сих пор работают
Обязательный пункт для тех, кто интересуется историей популяризации науки в России
«Стратегии решения математических задач» Альфред Позаментье, Стивен Крулик
На первый взгляд это достаточно рядовой сборник задач, но изюминка его вот в чём: авторы разбирают классические типы задач и для каждой показывают два разных пути решения — ординарный и образцовый
Предыдущая задача и решение, кстати, именно из этого сборника!
«133 вопроса на знание логики, математики и физики»
Николай Полуэктов, Павел Полуэктов
Сборник задач-головоломок на сообразительность — то, что можно решать вечером вместо кроссворда
Логика, немного физики, немного чистой математики: авторы явно любят, когда решение находится не через формулу, а через щелчок в голове
Для развития критического мышления:
«Как лгать при помощи статистики» Дарелл Хафф
Классика жанра — книга 1954 года, которая до сих пор не устарела ни на йоту
Хафф на пальцах показывает, как одни и те же цифры превращаются в убедительную ложь: неудачная выборка, обрезанный график, «средняя температура по больнице»
После этой книги критическое мышление уже не даст так спокойно смотреть на инфографику в новостях
«Цифры врут Как не дать статистике обмануть себя»
Том Чиверс, Дэвид Чиверс
Современное продолжение разговора, начатого Хаффом, — про то же самое, но с поправкой на эпоху соцсетей и статистики времён пандемии
Авторы разбирают конкретные громкие случаи, когда журналисты (и учёные) наступали на одни и те же грабли, и объясняют, как отличить надёжное исследование от шумихи
«Числоголики» Микаэль Дален, Хельге Торбьёрнсен
И ещё одна книга о том, как числа и статистика используются и как ими злоупотребляют в рекламе, политике и повседневных решениях
Авторы — маркетолог и экономист — показывают, как легко манипулировать людьми с помощью на первый взгляд объективных цифр
Книги доступны в аудиоформате — их читает виртуальный рассказчик на основе речевых технологий
Яндекса
Здесь есть и классика отечественного научпопа, и современные разборы того, как цифры помогают манипулировать людьми
Для любителей задачек:
«Загадки и диковинки в мире чисел» Яков Перельман
Классика отечественного научпопа — Перельман сто с лишним лет назад стал одним из основоположников жанра занимательной математики, и его загадки про числа до сих пор работают
Обязательный пункт для тех, кто интересуется историей популяризации науки в России
«Стратегии решения математических задач» Альфред Позаментье, Стивен Крулик
На первый взгляд это достаточно рядовой сборник задач, но изюминка его вот в чём: авторы разбирают классические типы задач и для каждой показывают два разных пути решения — ординарный и образцовый
Предыдущая задача и решение, кстати, именно из этого сборника!
«133 вопроса на знание логики, математики и физики»
Николай Полуэктов, Павел Полуэктов
Сборник задач-головоломок на сообразительность — то, что можно решать вечером вместо кроссворда
Логика, немного физики, немного чистой математики: авторы явно любят, когда решение находится не через формулу, а через щелчок в голове
Для развития критического мышления:
«Как лгать при помощи статистики» Дарелл Хафф
Классика жанра — книга 1954 года, которая до сих пор не устарела ни на йоту
Хафф на пальцах показывает, как одни и те же цифры превращаются в убедительную ложь: неудачная выборка, обрезанный график, «средняя температура по больнице»
После этой книги критическое мышление уже не даст так спокойно смотреть на инфографику в новостях
«Цифры врут Как не дать статистике обмануть себя»
Том Чиверс, Дэвид Чиверс
Современное продолжение разговора, начатого Хаффом, — про то же самое, но с поправкой на эпоху соцсетей и статистики времён пандемии
Авторы разбирают конкретные громкие случаи, когда журналисты (и учёные) наступали на одни и те же грабли, и объясняют, как отличить надёжное исследование от шумихи
«Числоголики» Микаэль Дален, Хельге Торбьёрнсен
И ещё одна книга о том, как числа и статистика используются и как ими злоупотребляют в рекламе, политике и повседневных решениях
Авторы — маркетолог и экономист — показывают, как легко манипулировать людьми с помощью на первый взгляд объективных цифр
Книги доступны в аудиоформате — их читает виртуальный рассказчик на основе речевых технологий
Яндекса
Практический курс по Linux (на основе Debian) для тех, кто только начинает путь в IT
Если вы работали только в Windows, никогда не открывали командную строку и не настраивали серверы - вы именно тот, для которого был написан данный материал
• Вы пройдете путь от первого подключения к серверу по SSH до развёртывания веб-сайта в контейнерах Docker с автоматическим деплоем
Через все главы проходит сквозной проект - настоящий сайт на nginx + PHP-FPM + WordPress, который вы соберёте своими руками: сначала вручную, потом в контейнерах, потом с автоматизацией через CI/CD
• Курс охватывает три части:
• Часть I
➡ Первое знакомство: что такое Linux, подключение по SSH
➡ Файловая система: навигация, работа с файлами и каталогами
➡ Права доступа и владение файлами
➡ Текстовые редакторы: nano, основы vim
➡ Coreutils и конвейеры: обработка текста
➡ Основы bash-скриптов
• Часть II
➡ Управление пакетами (apt), репозитории
➡ Пользователи, группы, sudo
➡ Процессы и сервисы (systemd)
➡ Сеть: ip, ss, firewall, основы DNS
➡ Установка и настройка nginx + PHP-FPM + WordPress
➡ Логирование и мониторинг
• Часть III
➡ Git: основы контроля версий
➡ Docker: контейнеризация проекта
➡ Docker Compose: оркестрация в контейнерах
➡ Базовый CI/CD (GitLab CI)
• Учитывайте, что каждая глава опирается на предыдущие, поэтому читайте последовательно
Читать онлайн
Скачать в формате PDF
P.S. Не забывайте про подборку бесплатного материала для изучения Linux, которая будет полезна не только новичкам, но и опытным специалистам!
S.E. infosec.work VT
Если вы работали только в Windows, никогда не открывали командную строку и не настраивали серверы - вы именно тот, для которого был написан данный материал
• Вы пройдете путь от первого подключения к серверу по SSH до развёртывания веб-сайта в контейнерах Docker с автоматическим деплоем
Через все главы проходит сквозной проект - настоящий сайт на nginx + PHP-FPM + WordPress, который вы соберёте своими руками: сначала вручную, потом в контейнерах, потом с автоматизацией через CI/CD
• Курс охватывает три части:
• Часть I
• Часть II
• Часть III
• Учитывайте, что каждая глава опирается на предыдущие, поэтому читайте последовательно
Читать онлайн
Скачать в формате PDF
P.S. Не забывайте про подборку бесплатного материала для изучения Linux, которая будет полезна не только новичкам, но и опытным специалистам!
S.E. infosec.work VT
Please open Telegram to view this post
VIEW IN TELEGRAM
GitHub
GitHub - strannick-ru/linux-book: Учебный курс для начинающего IT-специалиста, знакомого только с Windows. Траектория обучения:…
Учебный курс для начинающего IT-специалиста, знакомого только с Windows. Траектория обучения: "пользователь Linux → системный администратор → начала DevOps". - strannick-ru/linux-book
Для изучения Bash в нашем канале собрано очень большое кол-во полезного и бесплатного материала!
Сегодня нашу коллекцию пополнит одно фундаментальное руководство от GNU, которое поможет освоить Bash или подтянуть свои знания, если Вы ранее уже приступали к изучению
https://www.gnu.org/software/bash/manual/bash.pdf
Сегодня нашу коллекцию пополнит одно фундаментальное руководство от GNU, которое поможет освоить Bash или подтянуть свои знания, если Вы ранее уже приступали к изучению
https://www.gnu.org/software/bash/manual/bash.pdf
This media is not supported in your browser
VIEW IN TELEGRAM
Новый тип чипа использует свет вместо электронов
Через 5–10 лет умножения матриц, которые сейчас требуют огромной энергии и времени, смогут выполняться почти мгновенно с помощью фотонов, потребляя до 95 % меньше энергии
Силиконовая фотоника — это технология, которая делает это возможным: фотонные чипы могут выполнять тяжёлую матричные вычисления почти мгновенно и использовать гораздо меньше энергии
(следующая глава закона Мура)
Через 5–10 лет умножения матриц, которые сейчас требуют огромной энергии и времени, смогут выполняться почти мгновенно с помощью фотонов, потребляя до 95 % меньше энергии
Силиконовая фотоника — это технология, которая делает это возможным: фотонные чипы могут выполнять тяжёлую матричные вычисления почти мгновенно и использовать гораздо меньше энергии
(следующая глава закона Мура)
Конкурс на новый факультет искусственного интеллекта МГУ составил 127 человек на место
Спектральный радиус и устойчивость
Максимальный модуль собственного значения матрицы определяет, разойдётся ли процесс при итерациях
Если он меньше 1 — система схлопывается в точку
Если больше — взрывается
А если равен 1?
Тогда возможны циклы, колебания и вечное движение по орбите
Именно такие матрицы скрываются в основе цепей Маркова и PageRank Google
Максимальный модуль собственного значения матрицы определяет, разойдётся ли процесс при итерациях
Если он меньше 1 — система схлопывается в точку
Если больше — взрывается
А если равен 1?
Тогда возможны циклы, колебания и вечное движение по орбите
Именно такие матрицы скрываются в основе цепей Маркова и PageRank Google