Leslie Lamport wants you to escape the box of computational thinking

Похожие видео

Как программисту мыслить ясно с помощью математики и TLA+ — Лесли Лэмпорт @ HLF 2019

Звёздный язык, который затмит Rust? Gleam

Lamport on discovering the Bakery Algorithm

Человек, который произвел революцию в информатике с помощью математики

Why a New Browser Is Being Built in Zig — Not C++ or Rust

Если это сработает… ИИ появится раньше. (Термодинамические вычисления)

Лампорт о написании книги "Время, часы и порядок событий в распределенной системе"

Если Митчелл Хашимото добьётся успеха, Tmux и Zellij исчезнут.

HLFF Shortcuts: Leslie Lamport

CACM June 2014 - Leslie Lamport, recipient of the 2013 ACM A.M. Turing Award

What's the difference between programming and coding - Leslie Lamport @ HLF 2019

Изучите Docker ПРЯМО СЕЙЧАС! От Hello World до Doom за 15 минут!

Feynman: Mathematicians versus Physicists

Чистейший стиль кодирования, в котором ошибки практически невозможны

Линус Торвальдс «Нет ничего лучше Си»

Think and Write, with Leslie Lamport

Git is awful. GitHub isn't good enough. It's killing us! (Steve Yegge)

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

Coding Was HARD Until I Learned These 5 Things...

Turing Award winner Leslie Lamport