Loading video...

Video Failed to Load

There was a problem loading this video. This could be due to a temporary network issue or the video might be unavailable.

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

Changelog

31,964 subscribers

39,453 views • 2 years ago •via X (Twitter)

Education Science & Technology Comedy

Anya Rossi• Live Now

Private livecam show

8 Comments

Dago2 years ago

That pod is ready to listen ?

Changelog2 years ago

Yes!

Rahul2 years ago

But at least it will keep our job relevant , not everyone is as talented as Lamport

G.I Joe2 years ago

Facts!

Random Dude2 years ago

@GoTimeFM Need to listen but from that cut I disagree. You can’t design a system for unknown requirements, if you try, you end up with an over-engineered mess instead of a simpler mess that’s easier to fix.

Yawar Amin.ai2 years ago

This was a fantastic episode, I coulsnt believe my eyes when I saw you got Leslie Lamport as a guest! (LaTeX was a big thing for me back in the day)

Avi2 years ago

@AstraKernel Nice. Should be a great listen 🎧.

Talha Altınel2 years ago

I deeply agree but also we have to keep in mind, analysis paralysis meaning if we try to design everything upfront, no one can increment it or becomes too rigid/inflexible. Moderate designing is important tho

Related Videos

"If you think the way a man treats you in the beginning of a relationship is a phase, don't think that at all. That is the preview of every beginning that will come after." — Lifeofsjay admonishes ladies.

"If you think the way a man treats you in the beginning of a relationship is a phase, don't think that at all. That is the preview of every beginning that will come after." — Lifeofsjay admonishes ladies.

YabaLeftOnline

36,180 views • 2 months ago

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":

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 views • 1 month ago

Leslie Lamport (Creator of LaTex): "If you think you know something but don't write it down. You only think you know something. It reveals what you haven't said. And that there's steps in there. You may think they're obvious, but you haven't written them down. And that's where errors come in. That's where that one third of the paper's errors come in, because it really makes you honest."

Leslie Lamport (Creator of LaTex): "If you think you know something but don't write it down. You only think you know something. It reveals what you haven't said. And that there's steps in there. You may think they're obvious, but you haven't written them down. And that's where errors come in. That's where that one third of the paper's errors come in, because it really makes you honest."

Ryan Peterman

134,003 views • 4 months ago

A TURING AWARD WINNER STOOD UP AND TOLD A ROOM OF ENGINEERS THAT ALMOST NONE OF THEM DO THE ONE THING THAT ACTUALLY SEPARATES REAL ENGINEERING FROM TYPING, THEY WRITE CODE BUT THEY NEVER WRITE THE BLUEPRINT 56 minutes from Leslie Lamport -- Turing Award winner, creator of the tech behind almost every distributed system on earth. -> His claim: architects draw plans before a brick is laid. Programmers just start coding and hope. That gap is where complex systems quietly break. 04:10 -- A blueprint for software is called a spec. Write what the system must DO before touching how it does it. 10:13 -- Thinking above the code is the skill. The language is just the last, easiest step. 43:23 -- What programmers should really know isn't syntax. It's thinking clearly enough that "done" actually means done. 48:15 -- Thinking is hard, so we skip it. We jump straight to code because typing feels like progress. And this is exactly the wall the new "Loop engineering" hype is about to hit -- people now design loops of agents that write and check code while they walk away. But an unattended loop with no spec just ships broken work faster. Lamport is the missing half: the discipline that makes it safe to leave a loop running at all. You thought the leverage moved into better prompts and better loops. This is the man showing it moved above the code, where almost no one is willing to think. Save this. Read it before you trust a single agent loop ↓

A TURING AWARD WINNER STOOD UP AND TOLD A ROOM OF ENGINEERS THAT ALMOST NONE OF THEM DO THE ONE THING THAT ACTUALLY SEPARATES REAL ENGINEERING FROM TYPING, THEY WRITE CODE BUT THEY NEVER WRITE THE BLUEPRINT 56 minutes from Leslie Lamport -- Turing Award winner, creator of the tech behind almost every distributed system on earth. -> His claim: architects draw plans before a brick is laid. Programmers just start coding and hope. That gap is where complex systems quietly break. 04:10 -- A blueprint for software is called a spec. Write what the system must DO before touching how it does it. 10:13 -- Thinking above the code is the skill. The language is just the last, easiest step. 43:23 -- What programmers should really know isn't syntax. It's thinking clearly enough that "done" actually means done. 48:15 -- Thinking is hard, so we skip it. We jump straight to code because typing feels like progress. And this is exactly the wall the new "Loop engineering" hype is about to hit -- people now design loops of agents that write and check code while they walk away. But an unattended loop with no spec just ships broken work faster. Lamport is the missing half: the discipline that makes it safe to leave a loop running at all. You thought the leverage moved into better prompts and better loops. This is the man showing it moved above the code, where almost no one is willing to think. Save this. Read it before you trust a single agent loop ↓

slash1s

15,306 views • 1 month ago

If you don't like the dribbling patch on FC26, it's a skill issue. Here is why!

If you don't like the dribbling patch on FC26, it's a skill issue. Here is why!

Anthony Day

70,254 views • 9 months ago

I don't know any scriptures, philosophy or religion. I know only one thing – I know this piece of life absolutely, from its origin to its ultimate. If you know this piece of life, you know everything that is worth knowing by inference because in terms of fundamental design, the way the human system is made is the way the whole cosmos is made. It is only a question of a difference in complexity. #SadhguruWisdom

I don't know any scriptures, philosophy or religion. I know only one thing – I know this piece of life absolutely, from its origin to its ultimate. If you know this piece of life, you know everything that is worth knowing by inference because in terms of fundamental design, the way the human system is made is the way the whole cosmos is made. It is only a question of a difference in complexity. #SadhguruWisdom

Sadhguru

39,497 views • 1 year ago

Write everything you want from God on a piece of paper.

Write everything you want from God on a piece of paper.

Neuron Powers 🧠

29,171 views • 1 year ago

this is the greatest piece of reality television history. you couldn't write a script like this

this is the greatest piece of reality television history. you couldn't write a script like this

female dennis reynolds

1,934,376 views • 2 years ago

ANTHROPIC HAS AN OFFICIAL PROMPT LIBRARY FOR CLAUDE CODE Most people have never opened it. So they write every prompt from scratch. It is copy-paste, tagged by task and by role, across the whole lifecycle: discover → design → build → ship → operate Straight from the page: > what would break if I deleted this helper? > plan this refactor, list the files, do not touch code yet > write tests for this, run them, fix what fails > the test is failing, find out why and fix it This is not a cheat sheet. It is a map of what Claude Code already does for you. Bookmark it before you forget it exists.

ANTHROPIC HAS AN OFFICIAL PROMPT LIBRARY FOR CLAUDE CODE Most people have never opened it. So they write every prompt from scratch. It is copy-paste, tagged by task and by role, across the whole lifecycle: discover → design → build → ship → operate Straight from the page: > what would break if I deleted this helper? > plan this refactor, list the files, do not touch code yet > write tests for this, run them, fix what fails > the test is failing, find out why and fix it This is not a cheat sheet. It is a map of what Claude Code already does for you. Bookmark it before you forget it exists.

shmidt

521,746 views • 1 month ago

Well, you can still jump on the rest. Don't ask for the code. The code is right there.

Well, you can still jump on the rest. Don't ask for the code. The code is right there.

Asaky

62,422 views • 2 years ago

🔥 Youth Mobility Scheme debate today! Please write to your MP right now. Or if you have already- send a follow up to chase or to argue their reply. This is the beginning of the campaign.

🔥 Youth Mobility Scheme debate today! Please write to your MP right now. Or if you have already- send a follow up to chase or to argue their reply. This is the beginning of the campaign.

Mike Galsworthy

20,302 views • 1 year ago

"He asked, What makes a man a writer? Well, I said, it's simple. You either get it down on paper, or jump off a bridge." Writing is the best form of thinking in existence. • If you don't write you don't think. • If you write online you're braver than a fireman.

"He asked, What makes a man a writer? Well, I said, it's simple. You either get it down on paper, or jump off a bridge." Writing is the best form of thinking in existence. • If you don't write you don't think. • If you write online you're braver than a fireman.

Tim Denning

22,538 views • 1 year ago

Every time you switch between design and code, you lose something, your momentum, your fidelity, or your vision. The gap between what you designed and what ships has always been the cost of building. That’s why we built Wonder, a design tool where everything you create is backed by real code. Public Alpha is now live at

Every time you switch between design and code, you lose something, your momentum, your fidelity, or your vision. The gap between what you designed and what ships has always been the cost of building. That’s why we built Wonder, a design tool where everything you create is backed by real code. Public Alpha is now live at

Wonder

1,283,673 views • 4 months ago

Mangunrok’s final piece😭😭😭 “If you, the one I love, someday read these words, may you return to my side. Then I will be someone who recognises you from the very beginning, someone who loves you from the very beginning.” #BonAppetitYourMajestyEp12

Mangunrok’s final piece😭😭😭 “If you, the one I love, someday read these words, may you return to my side. Then I will be someone who recognises you from the very beginning, someone who loves you from the very beginning.” #BonAppetitYourMajestyEp12

😵‍💫🍬

235,340 views • 10 months ago

I built 3 functional web apps in 4min… on my phone! Replit ⠕ Agent don’t just review and write code, their AI agents plan the functions, create development environment, install dependencies, write the code, configure databases and deploy. Is this the beginning of the end of paying for software? What’d you create?

I built 3 functional web apps in 4min… on my phone! Replit ⠕ Agent don’t just review and write code, their AI agents plan the functions, create development environment, install dependencies, write the code, configure databases and deploy. Is this the beginning of the end of paying for software? What’d you create?

Sander Saar

86,072 views • 1 year ago

Feed your todos right into Cursor as markdown and it will write the code for you. The future is letting AI do the work for you while you guide it.

Feed your todos right into Cursor as markdown and it will write the code for you. The future is letting AI do the work for you while you guide it.

Mckay Wrigley

245,007 views • 2 years ago

Anthropic Developer Andrej Karpathy: "At OpenAI I saw two types of engineers: ones who write every instruction - ones who describe what they want The second type replaced the first in a year " the Karpathy framework - 3 eras of programming: 1.0 → you write the code → takes weeks 2.0 → you feed data, model writes the algorithm → takes hours 3.0 → you describe what you want in English → takes minutes each era killed the last. most people are still in 1.0 "the best code is the code you never write. you don't program the solution - you program the data -the solution programs itself" he built this at OpenAI - now applies it at Anthropic - the framework never changed watch & save - guide about Software by Andrej ↓

Anthropic Developer Andrej Karpathy: "At OpenAI I saw two types of engineers: ones who write every instruction - ones who describe what they want The second type replaced the first in a year " the Karpathy framework - 3 eras of programming: 1.0 → you write the code → takes weeks 2.0 → you feed data, model writes the algorithm → takes hours 3.0 → you describe what you want in English → takes minutes each era killed the last. most people are still in 1.0 "the best code is the code you never write. you don't program the solution - you program the data -the solution programs itself" he built this at OpenAI - now applies it at Anthropic - the framework never changed watch & save - guide about Software by Andrej ↓

codila

106,761 views • 1 month ago

Design Mode for Cursor Introducing a new way to design right where you code.

Design Mode for Cursor Introducing a new way to design right where you code.

Tom Krcha

361,077 views • 10 months ago