Загрузка видео...

Не удалось загрузить видео

На главную

Leslie Lamport advise on the best way to learn programming.

Tech_girlll's profile picture

Mari

11,907 subscribers

40,888 просмотров • 5 месяцев назад •via X (Twitter)

LIVE

Anya Rossi• Live Now

Private livecam show

Комментарии: 0

Нет доступных комментариев

Здесь появятся комментарии из оригинального поста

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

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 просмотров • 2 лет назад

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 просмотров • 1 месяц назад

"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 просмотров • 3 лет назад

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,616 просмотров • 4 месяцев назад

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

The best way to learn is to teach.

Coach Dan Casey

32,351 просмотров • 5 месяцев назад

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

The best and easiest way to learn Fante.

SIKAOFFICIAL🦍

42,817 просмотров • 1 год назад

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 просмотров • 1 год назад

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

What’s the best way to learn multiple languages 🤔

Jaysoenho

159,779 просмотров • 3 месяцев назад

Best way to learn Linux
4:09

Best way to learn Linux

Elorm Daniel

61,554 просмотров • 3 месяцев назад

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,571,903 просмотров • 8 месяцев назад

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

Best way to learn is to unlearn. #DoqTok

DOQ

26,022 просмотров • 1 год назад

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 просмотров • 6 месяцев назад

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 просмотров • 5 месяцев назад

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

18,449 просмотров • 1 месяц назад

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,022 просмотров • 1 месяц назад

The BEST Way to Learn 3D for Beginners Find more tutorials here! 👇 ✨ ✨
0:34

The BEST Way to Learn 3D for Beginners Find more tutorials here! 👇 ✨ ✨

Crashsune

10,331 просмотров • 1 месяц назад