How to think clearly as a programmer with mathematics and TLA+ - Leslie Lamport @ HLF 2019
Рет қаралды 10,584
4 жыл бұрынLeslie Lamport is best known for his seminal work in distributed systems, and as the initial developer of the document preparation system LaTeX and the author of its first manual. Leslie Lamport was the winner of the 2013 Turing Award for imposing clear, well-defined coherence on the seemingly chaotic behavior of distributed computing systems, in which several autonomous computers communicate with each other by passing messages.
In this video Lamport speaks about how to think as programmer with the help of TLA+, a framework he invented.The talk was recorded at the 7th Heidelberg Laureate Forum (HLF).
Credit: ZME Science, 2019.
@frankstanley7760 2 жыл бұрын
"reducing codes to 1/10th is not done by coding better; it done by thinking better"
@VladimirSanchez Жыл бұрын
Yes! My dad always said (back in the 80s), "it's all math Vlad!" 😢😍
@evertoncosta5714 2 жыл бұрын
What amazing video
@valerapadolochniy9537 2 жыл бұрын
The magic bullet is mathematics (c)
@shankar4510 Жыл бұрын
hi should i stick to mathematics instead of programmming then to be a wonderful computer scientist ?
@valerapadolochniy9537 Жыл бұрын
@@shankar4510 Depends on your free time. If you have a job, your first goal would be programming. Otherwise I would recommend to learn math (related to programming) first, or programming and math in parallel.
@shankar4510 Жыл бұрын
@@valerapadolochniy9537 math related to programming is discrete math and calculus?
@valerapadolochniy9537 Жыл бұрын
@@shankar4510 well, depends on direction of programming. For web or mobile: discrete math; for game dev: discrete math, linear algebra; for computer science: discrete math, mathematical analysis... In general (imho) discrete math - it's a good milestone for the beginning and after that you should dive into some specific area of math required for a specific direction of programming.
@VladimirSanchez Жыл бұрын
Yes! My dad always said (back in the 80s), "it's all math Vlad!" 😢😍
@Waferdicing Жыл бұрын
💗
@nurlatifahmohdnor8939 2 жыл бұрын
Henry the 8th I Elizabeth Pilgrims : the colony of Plymouth in Massachusetts was founded in 1620 by a band of English settlers.
@421sap 6 ай бұрын
In Jesus' Name Amen ✝️
ZME Science
Рет қаралды 72 М.
TheSoul Music Jam
Рет қаралды 19 МЛН
超人夫妇
Рет қаралды 11 МЛН
Poly Holy Yow Spanish
Рет қаралды 27 МЛН
Web of Stories - Life Stories of Remarkable People
Рет қаралды 704 М.
GOTO Conferences
Рет қаралды 4,8 М.
Turing Awardee Clips
Рет қаралды 15 М.
ZME Science
Рет қаралды 2,3 М.
A Life Engineered
Рет қаралды 824 М.
No Priors: AI, Machine Learning, Tech, & Startups
Рет қаралды 202 М.
LED Screen Factory-EagerLED
Рет қаралды 7 МЛН
MAMU TECH
Рет қаралды 263 М.