Lean Together 2025: David Renshaw, Searching for Proof Improvements with tryAtEachStep

Lean Together 2025: Scott Carnahan, Vertex algebras in Mathlib: coming soon?

Lean Together 2025: Marcus Rossel, Egg: An Equality Saturation Tactic in Lean

Lean Together 2025: Michael Rothgang, Scaling Mathlib.

I Built an AI Agent to Automate My Calendar (Google ADK & Gemini)

Lean Together 2025: Jason Rute, The last mile

Вебинар по микроконтроллерам STM32: Как микроконтроллер управляет всем

LLM и GPT - как работают большие языковые модели? Визуальное введение в трансформеры

Цепи Маркова — математика предсказаний [Veritasium]

Покойся с миром, Arduino и Open Hardware... спасибо Qualcomm

Claude Code: полный гайд по AI-кодингу (хаки, техники и секреты)

Предел развития НЕЙРОСЕТЕЙ

Lean Together 2025: Oliver Nash, Root systems and root data in Mathlib

Теренс Тао о том, как Григорий Перельман решил гипотезу Пуанкаре | Лекс Фридман

Lean Together 2025: Alex Kontorovich, Complex Analysis and PrimeNumberTheorem+ in Lean

Kubernetes — Простым Языком на Понятном Примере

ESP32: распознавание речи нейросетью (TensorFlow Lite)

ИИ Новости: НОВЫЙ ЛУЧШИЙ Видео-ИИ, Спокойный ГАДЖЕТ OpenAI, Flux 2 против Nano Banana

Docker за 20 минут

🧪🧪🧪🧪Как увидеть гиперпространство (4-е измерение)

Краткое объяснение больших языковых моделей