Video wird geladen...

Video konnte nicht geladen werden

Zur Startseite

Leslie Lamport advise on the best way to learn programming.

Tech_girlll's profile picture

Mari

11,907 subscribers

40,888 Aufrufe • vor 5 Monaten •via X (Twitter)

LIVE

Anya Rossi• Live Now

Private livecam show

0 Kommentare

Keine Kommentare verfügbar

Kommentare vom Original-Post werden hier angezeigt

Ähnliche Videos

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 Aufrufe • vor 2 Jahren

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 Aufrufe • vor 1 Monat

"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 Aufrufe • vor 3 Jahren

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 Aufrufe • vor 4 Monaten

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

The best way to learn is to teach.

Coach Dan Casey

32,351 Aufrufe • vor 5 Monaten

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

The best and easiest way to learn Fante.

SIKAOFFICIAL🦍

42,817 Aufrufe • vor 1 Jahr

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 Aufrufe • vor 1 Jahr

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

What’s the best way to learn multiple languages 🤔

Jaysoenho

159,779 Aufrufe • vor 3 Monaten

Best way to learn Linux
4:09

Best way to learn Linux

Elorm Daniel

61,554 Aufrufe • vor 3 Monaten

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 Aufrufe • vor 8 Monaten

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

Best way to learn is to unlearn. #DoqTok

DOQ

26,022 Aufrufe • vor 1 Jahr

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 Aufrufe • vor 6 Monaten

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 Aufrufe • vor 5 Monaten

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 Aufrufe • vor 1 Monat

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 Aufrufe • vor 1 Monat

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 Aufrufe • vor 1 Monat