Video yükleniyor...

Video Yüklenemedi

Ana Sayfaya Dön

Leslie Lamport advise on the best way to learn programming.

Tech_girl's profile picture

Mari

12,789 subscribers

41,312 görüntüleme • 7 ay önce •via X (Twitter)

LIVE

Anya Rossi• Live Now

Private livecam show

11 Yorum

Ibrahim Koros profil fotoğrafı
Ibrahim Koros7 ay önce

His name is Leslie Lamport, a genius!

Mari profil fotoğrafı
Mari7 ay önce

His approach is so good.

Wilson Wizard profil fotoğrafı
Wilson Wizard7 ay önce

Lamport's book on temporal logic is actually pretty useful for learning about concurrent systems

Mari profil fotoğrafı
Mari7 ay önce

Does it have an audio book?

fhools⚡️🦀 profil fotoğrafı
fhools⚡️🦀7 ay önce

And then your manager ask you to center a div.

Danny Wolf profil fotoğrafı
Danny Wolf7 ay önce

thanks grandpa, now i hate programming too on top on math

Ryan Elliot Crow | Author Identity & Books profil fotoğrafı
Ryan Elliot Crow | Author Identity & Books7 ay önce

Crud devs laughing now

Abdullah Shaikh profil fotoğrafı
Abdullah Shaikh7 ay önce

Yes, approach is good!

Moving Degen profil fotoğrafı
Moving Degen7 ay önce

Yeah; it's better to learn binary only and not learn any syntax 🙃

Aidas Bendoraitis 💻 profil fotoğrafı
Aidas Bendoraitis 💻7 ay önce

There are many areas of programming that doesn't need mathematical thinking (or needs very little of it), for example, creating or consuming APIs, developing websites, parsing texts, reading or writing to a database.

Пан з Марсу (Holy Cogs) ⚙️ profil fotoğrafı
Пан з Марсу (Holy Cogs) ⚙️7 ay önce

Noooo. Nooo. This is stupid. Maybe it was top notch for his time. But right now - coding does not equal math.

Benzer Videolar

4. Introduction to Python Programming Learn to solve practical problems with Python. You'll learn the fundamentals of the Python programming language, along with programming best practices.
0:21

4. Introduction to Python Programming Learn to solve practical problems with Python. You'll learn the fundamentals of the Python programming language, along with programming best practices.

Alif Hossain

52,930 görüntüleme • 2 yıl önce

Enough of the fluff. Time for some real advice. Launch your GPT 5.6 Sol Pro. Use the following prompt (feel free to swap the second and third lines for something of your choice): Prove for me that the group of rational points on the elliptic curve (y^2=x^3+17) is finitely generated. I want to tailor the general proof to this particular case to narrow down my understanding to a particular case. Write down a full mathematical proof, step by step, in Leslie Lamport style. Unpack all the definitions and notions so that it is fully self-contained. An example here: Notice how Sol is spawning all the subagents to complete the task. What is "Leslie Lamport style"? It's a technique where you split your proof into short, one-line sentences (claims) that are easy to justify. In a situation where your proof is not a 1-to-1 translation of, e.g., Python code, the Leslie Lamport-style proof can be treated as such. It tremendously improves the possibility of verifying each claim and helps the model structure the arguments in a very clear way. Leslie Lamport, a legendary mathematician and computer scientist, was a promoter of this way of structuring proofs. Partly because of that, he created an extension of Donald Knuth’s typesetting system TeX called LaTeX. Here you can read about "Leslie Lamport-style proofs":
1:44

Enough of the fluff. Time for some real advice. Launch your GPT 5.6 Sol Pro. Use the following prompt (feel free to swap the second and third lines for something of your choice): Prove for me that the group of rational points on the elliptic curve (y^2=x^3+17) is finitely generated. I want to tailor the general proof to this particular case to narrow down my understanding to a particular case. Write down a full mathematical proof, step by step, in Leslie Lamport style. Unpack all the definitions and notions so that it is fully self-contained. An example here: Notice how Sol is spawning all the subagents to complete the task. What is "Leslie Lamport style"? It's a technique where you split your proof into short, one-line sentences (claims) that are easy to justify. In a situation where your proof is not a 1-to-1 translation of, e.g., Python code, the Leslie Lamport-style proof can be treated as such. It tremendously improves the possibility of verifying each claim and helps the model structure the arguments in a very clear way. Leslie Lamport, a legendary mathematician and computer scientist, was a promoter of this way of structuring proofs. Partly because of that, he created an extension of Donald Knuth’s typesetting system TeX called LaTeX. Here you can read about "Leslie Lamport-style proofs":

Bartosz Naskręcki

31,115 görüntüleme • 3 ay önce

"If you don't design right from the beginning, every piece of the code you write is a patch" – Leslie Lamport
0:52

"If you don't design right from the beginning, every piece of the code you write is a patch" – Leslie Lamport

Changelog

39,453 görüntüleme • 3 yıl önce

Who can advise Tinubu supporters on the best approach to defend Tinubu without sounding the way they are sounding.
4:10

Who can advise Tinubu supporters on the best approach to defend Tinubu without sounding the way they are sounding.

ADC Vanguard

17,638 görüntüleme • 5 ay önce

The best way to learn is to teach.
0:25

The best way to learn is to teach.

Coach Dan Casey

32,351 görüntüleme • 7 ay önce

The best and easiest way to learn Fante.
2:15

The best and easiest way to learn Fante.

SIKAOFFICIAL🦍

42,817 görüntüleme • 1 yıl önce

Learn from the best. Become the best. WNBA Legend Lisa Leslie taking Angel Reese under her wing is so special 🫶🏽🌹
0:42

Learn from the best. Become the best. WNBA Legend Lisa Leslie taking Angel Reese under her wing is so special 🫶🏽🌹

ROSE BC 🌹

280,356 görüntüleme • 1 yıl önce

What’s the best way to learn multiple languages 🤔
1:06

What’s the best way to learn multiple languages 🤔

Jaysoenho

159,779 görüntüleme • 5 ay önce

Best way to learn Linux
4:09

Best way to learn Linux

Elorm Daniel

73,052 görüntüleme • 4 ay önce

This guy teaches the best way to learn how to juggle
1:00

This guy teaches the best way to learn how to juggle

Dudes Posting Their W’s

1,575,733 görüntüleme • 9 ay önce

Best way to learn is to unlearn. #DoqTok
1:03

Best way to learn is to unlearn. #DoqTok

DOQ

26,022 görüntüleme • 1 yıl önce

This video is the best way to learn Spanish. Take that Duolingo.
0:56

This video is the best way to learn Spanish. Take that Duolingo.

Funny Or Die

15,999 görüntüleme • 6 ay önce

Oh yeah this is the best way to learn japanese I think
0:41

Oh yeah this is the best way to learn japanese I think

Jusagi 🎲💭⏳🗿

68,171 görüntüleme • 8 ay önce

Best relationship advise comes from married women. Listen attentively on her advise:
3:20

Best relationship advise comes from married women. Listen attentively on her advise:

Eagle View 🦅

125,531 görüntüleme • 1 ay önce

A little revamp to an older project I worked on to learn programming! Satisfying! 🤩 #RobloxDev #Roblox
1:07

A little revamp to an older project I worked on to learn programming! Satisfying! 🤩 #RobloxDev #Roblox

Pixleygon

19,210 görüntüleme • 2 ay önce

1. Introduction to Computer Science and Programming Using Python. What you'll learn: • Skip What you'll learn • A Notion of computation • The Python programming language • Some simple algorithms • Testing and debugging • Data structures 🔗
1:39

1. Introduction to Computer Science and Programming Using Python. What you'll learn: • Skip What you'll learn • A Notion of computation • The Python programming language • Some simple algorithms • Testing and debugging • Data structures 🔗

Alamin

75,165 görüntüleme • 3 yıl önce

This is the best advise you will see on your timeline Today.
0:49

This is the best advise you will see on your timeline Today.

Omo Kogi (Yagba) 🌍

12,089 görüntüleme • 2 ay önce