Тёмный

6th HLF - Lecture: Leslie Lamport 

Heidelberg Laureate Forum
Подписаться 10 тыс.
Просмотров 19 тыс.
50% 1

Опубликовано:

 

24 окт 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 30   
@rebase
@rebase 6 лет назад
Perplexing how someone thought it was a good idea to show the slides at the size of a stamp...
@professormoriarity89
@professormoriarity89 6 лет назад
they didnt use a programming language, which is why the size is wrong :D
@LaureateForum
@LaureateForum 6 лет назад
This video is also available on another stream: hitsmediaweb.h-its.org/Mediasite/Play/abdee6c8696a48288ce8c3e004c50cd41d?playFrom=13826&autoStart=false&popout=true If you open the link, in the upper right-hand corner you will see a few icons: · Select the middle icon ‘Slide by Slide’ · Then select the last icon - ‘Swap media elements’
@TimothyLaurent
@TimothyLaurent 6 лет назад
Thanks for this helpful hint, it does enlarge the slides slightly, but it is still rather small.
@TimothyLaurent
@TimothyLaurent 6 лет назад
Ahhh you have to 'show more' to get to the swap slide elements instruction.
@alexmiller
@alexmiller 6 лет назад
I would reupload the video to RU-vid with the views swapped.
@karansapolia2676
@karansapolia2676 6 лет назад
This is frustrating! The size of the slides should take major portions of the view window, not the other way round. Would suggest you edit and reupload the video. I want to see this presentation and the slides legibly too
@siyabongampongwana990
@siyabongampongwana990 Месяц назад
Can you please upload the video with the media elements swapped. Or you can make the media-elements-swapped videos in your site downloadable only when if you have viewed the whole video? Or maybe just downloadable from the get?
@Oromion
@Oromion 5 лет назад
Thank you Lamport. {\bfseries Do the basics:} ``{\color{blue} You should find and understand that algorithm before you start writing the program.}'' The best way to understand an algorithm is to describe it with mathematics.
@shotamakino663
@shotamakino663 6 лет назад
Why is (x=y) => (x=GCD(M,N)) not an inductive invariant? Doesn't it hold both properties?
@JavierAravenaClaramunt
@JavierAravenaClaramunt 6 лет назад
Anyone has the slides for this? They're unreadable in the video.
@LaureateForum
@LaureateForum 6 лет назад
This video is also available on another stream: hitsmediaweb.h-its.org/Mediasite/Play/abdee6c8696a48288ce8c3e004c50cd41d?playFrom=13826&autoStart=false&popout=true If you open the link, in the upper right-hand corner you will see a few icons: · Select the middle icon ‘Slide by Slide’ · Then select the last icon - ‘Swap media elements’
@jsgoller1
@jsgoller1 6 лет назад
Slides are available in full size here (from the HN thread): drive.google.com/file/d/1sZciK13LDh4rBFwbRCk0Oylga3NtNH6k/view
@ahmxtb
@ahmxtb 6 лет назад
Such a valuable talk, but could not follow it due to small slides. I'm not sure if the folks who put the video together has ever watched a tech presentation with slides.
@nathankoren
@nathankoren 6 лет назад
Is there a way to enlarge the slides in the video? I have no objection to Leslie's face, but I'd really like to be able to read the equations on his slides, which is difficult when his slides are the size of a postage stamp!
@LaureateForum
@LaureateForum 6 лет назад
This video is also available on another stream: hitsmediaweb.h-its.org/Mediasite/Play/abdee6c8696a48288ce8c3e004c50cd41d?playFrom=13826&autoStart=false&popout=true If you open the link, in the upper right-hand corner you will see a few icons: · Select the middle icon ‘Slide by Slide’ · Then select the last icon - ‘Swap media elements’
@nathankoren
@nathankoren 6 лет назад
Heidelberg Laureate Forum Thanks for the tip. Unfortunately, that video isn't really working from where I'm at in California. It has to cache for 30 seconds to play 1 second of video. (RU-vid's infrastructure really gives you an advantage). It would be great if you could host it on youtube with the media elements swapped, because right now it's not really accessible either here or there.
@elonmusk2046
@elonmusk2046 6 лет назад
so how would one implement a program without a programming language?
@Atreyuguy590
@Atreyuguy590 6 лет назад
We would like to read the slides please.
@LaureateForum
@LaureateForum 6 лет назад
This video is also available on another stream: hitsmediaweb.h-its.org/Mediasite/Play/abdee6c8696a48288ce8c3e004c50cd41d?playFrom=13826&autoStart=false&popout=true If you open the link, in the upper right-hand corner you will see a few icons: · Select the middle icon ‘Slide by Slide’ · Then select the last icon - ‘Swap media elements’
@dmilanp
@dmilanp 6 лет назад
Waiting all talk for him to have a sip of that water
@ivanvano13
@ivanvano13 6 лет назад
Talk with slides: www.heidelberg-laureate-forum.org/blog/video/lecture-monday-september-24-2018-leslie-lamport/
@Overthought7
@Overthought7 6 лет назад
Makes perfect sense.
@jsgoller1
@jsgoller1 6 лет назад
Slides are available in full size here (from the HN thread): drive.google.com/file/d/1sZciK13LDh4rBFwbRCk0Oylga3NtNH6k/view
@hadlevick
@hadlevick 6 лет назад
(Reproduction/Feed/Reasoning)decantedselfoverhexagon...
@hadlevick
@hadlevick 6 лет назад
Simultaneity...
@hadlevick
@hadlevick 6 лет назад
It's worthless FOR YOU mister Lamport...(Reproduction/Feed/Reasoning)decantedselfoverhexagon
Далее
4th HLF - Lecture: Leslie Lamport
53:49
Просмотров 12 тыс.
Ron Pressler - The Practice and Theory of TLA+
48:10
Просмотров 12 тыс.
NAH UH
00:17
Просмотров 1,8 млн
6th HLF - Lecture: Sir Michael Francis Atiyah
49:03
Просмотров 186 тыс.
A Conversation with Turing Award Winner Leslie Lamport
22:46
How to Improve Blender's UI
20:27
Просмотров 10 тыс.
HLF Laureate Portraits: Geoffrey E. Hinton
58:00
Просмотров 6 тыс.
Stop Writing Classes
27:29
Просмотров 937 тыс.
Leslie Lamport: Thinking Above the Code
59:50
Просмотров 370 тыс.
6th HLF - Lecture: Michael Stonebraker
47:44
Просмотров 1,7 тыс.
HLF Laureate Portraits: Sanjeev Arora
53:23
Просмотров 6 тыс.
Andrew Wiles - What does it feel like to do maths?
8:32
programming ≠ coding - Leslie Lamport
1:15:46
Просмотров 31 тыс.