Поиск
Найдено: 50
1ч 44м🔄 Протокол Килиана — Микали: Сжатие PCP с помощью хеш-функций
1ч 32м🌲 Парадигма Фиата — Шамира: как криптографы устраняют интерактивность из доказательств
56 мин🔄 Профессор MIT объяснила построение универсальных аргументов и дерева Меркла
1ч 10м🧩 Яэль Калай об открытой проблеме PSPACE и криптографических аргументах
8ч 21м☁ Как покорить облако: разбор экзамена AZ-900 и экосистемы Azure
1ч 33м🔄 Как гомоморфное шифрование сделало неинтерактивные доказательства надежными?
1ч 14мMIT о SNARGs: «Локальная согласованность не гарантирует глобальную корректность»
1ч 21м📦 Как Чженчжун Цзинь строит краткие аргументы для Batch NP
1ч 31м🎓 Как протокол Sum-Check совершил революцию в интерактивных доказательствах
1ч 01м📱 Мозг в сетях: как лайки, игры и цифровое чтение меняют поколение «экранных» детей
1ч 06м🎲 Интерактивные доказательства: от протокола Sum-Check до верификации сложных вычислений
13 мин🏛 Джереми Атли: «Я не использую ИИ — я с ним работаю»
6ч 56м🚀 Эволюция Vue.js: от Options API к Composition API
1ч 13м🧱 Умный LEGO и Claude Code: как технологии меняют нас в 2026 году
1ч 29м🧩 Лектор MIT объясняет создание PCP на базе протокола GKR
8ч 17м🛠 Мастерство C#: как писать чистый, надежный и структурированный код
2ч 46м🎯 Тирания целей: почему путь к успеху лежит через случайность
7 мин📺 Эволюция вместо революции: почему технологии не смогли заменить учителей
11 мин🗺 Главные аргументы против религии: взгляд Ричарда Докинза и научных скептиков
47 мин🚀 Чувство присутствия — это Святой Грааль: Марк Цукерберг о будущем после смартфонов
34 мин🌌 Уэс Рот о Qwen3: «Хороший кодер, но не король»
18 мин🌀 Роджер Пенроуз: «Наша Вселенная — лишь одно звено в бесконечной цепи»
20 мин🌐 Как ИИ меняет лингвистику: спор Эндрю Лампинена с Ноамом Хомским на NeurIPS
1ч 58м🍏 Итоги WWDC 2025: дизайн Liquid Glass, новый Spotlight и скрытая драма вокруг Siri
1ч 17м🍎 Waveform: Samsung S23, новый HomePod и оценка технологий
16 мин🐧 Топ-10 Linux-вопросов на собеседовании: технический минимум
46 мин🐕 Сэм Парр и Шанган Дхарма: 7 самых странных и перспективных стартапов
1ч 29м🔍 Как связать руки доказывающему: PCP из протокола GKR
34 мин🚀 Аарон Леви: «Софтверная индустрия — это лучшая работа на планете, просто повзрослейте»
1ч 08м🌌 Квантовые деньги, молодые менторы и колонизация Марса: беседа Майкла Нильсена и Тайлера Коуэна
50 мин🧠 Исследование Стэнфорда: как предвзятость подтверждения влияет на решения с ИИ
3ч 14м🚀 Код как данные: почему Common Lisp опережает время
1ч 17м💀 Дженни Вен из Anthropic: «Привычный нам дизайн-процесс практически мертв»
53 мин⚖ Илон Маск против OpenAI и новые скандалы вокруг Google Gemini
1ч 07м📉 Марк Хебнер о создании IFA: как данные побеждают интуицию
3ч 52м💻 Архитектура интерактивного портфолио: от Three.js до лимитов GitHub
1ч 16м⚖ Кэл Ньюпорт: «Алгоритмический интернет должен умереть, чтобы мы снова стали людьми»
1ч 51м🧠 Теория всего от нейробиологии: как Карл Фристон связывает физику, разум и машинное обучение
2ч 03м🚀 Рэй Курцвейл: как человечество превратится в цифровую цивилизацию к 2045 году
45 мин💼 Как вырастить пайплайн до миллиардов: три урока от CMO Samsara Сары Паттерсон
58 мин🤝 Джерри Янг и Джозеф Цай: станет ли торговая война США и Китая концом глобальных технологий?
1ч 02м🚀 Эдвард Саатчи: «ИИ — это не карандаш, а самостоятельный творец и наш конкурент»
15 мин🤖 Как ИИ «воскресил» Стива Джобса на подкасте Джо Рогана
16 мин📞 Ведущий tutoriaLinux назвал топ-10 вопросов на собеседовании по Linux
53 мин🌍 Насрин Мостафазаде: «Современные языковые модели — вовсе не попугаи»
1ч 53м📅 Профессор Калаи: «Протокол Sumcheck — это хлеб с маслом систем доказательств»
2ч 28м🚀 От подхалимства к результату: как на самом деле работает ИИ
2ч 46м🧭 Ловушка целей: почему погоня за результатом убивает прогресс
1ч 21м🏗 Blazor с нуля: руководство по созданию современных веб-приложений на C#
1ч 11м🧠 Скотт Адамс о медиа и ловушках «лузермысли»