Video wird geladen...

Video konnte nicht geladen werden

Beim Laden dieses Videos ist ein Problem aufgetreten. Dies könnte an einem vorübergehenden Netzwerkproblem liegen oder das Video ist möglicherweise nicht verfügbar.

"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 Aufrufe • vor 3 Jahren •via X (Twitter)

Bildung Wissenschaft & Technologie Comedy

Anya Rossi• Live Now

Private livecam show

8 Kommentare

Profilbild von Dago

Dagovor 3 Jahren

That pod is ready to listen ?

Profilbild von Changelog

Changelogvor 3 Jahren

Yes!

Profilbild von Rahul

Rahulvor 3 Jahren

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

Profilbild von G.I Joe

G.I Joevor 3 Jahren

Facts!

Profilbild von Random Dude

Random Dudevor 3 Jahren

@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.

Profilbild von Yawar Amin.ai

Yawar Amin.aivor 3 Jahren

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)

Profilbild von Avi

Avivor 3 Jahren

@AstraKernel Nice. Should be a great listen 🎧.

Profilbild von Talha Altınel

Talha Altınelvor 3 Jahren

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

Ähnliche 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,354 Aufrufe • vor 4 Monaten

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

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

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,371 Aufrufe • vor 2 Monaten

"Everydayness is the hallmark of excellence in every domain." You can't wait for inspiration or motivation. If you want to write a book, sit down every day. When nothing comes, write it badly, but don't get up. Dr. Gio Valiante explains ...

"Everydayness is the hallmark of excellence in every domain." You can't wait for inspiration or motivation. If you want to write a book, sit down every day. When nothing comes, write it badly, but don't get up. Dr. Gio Valiante explains ...

Shane Parrish

23,907 Aufrufe • vor 1 Monat

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,395 Aufrufe • vor 11 Monaten

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

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

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

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

525,758 Aufrufe • vor 3 Monaten

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

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

it's happening 🥹 Lunagraph is open not just a design canvas, but a visual editor for React this means you can design the full experience: from exploration to defining every state, interaction, and flow. and when it feels right, hand devs nicely packaged code, UX and all come design with code this weekend 🌸 (sound on 🔊)

it's happening 🥹 Lunagraph is open not just a design canvas, but a visual editor for React this means you can design the full experience: from exploration to defining every state, interaction, and flow. and when it feels right, hand devs nicely packaged code, UX and all come design with code this weekend 🌸 (sound on 🔊)

Putri Karunia

97,282 Aufrufe • vor 1 Monat

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

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

Meet Studio Chat 💬 It knows what's in your project. From every track, to every piece of MIDI. It can tidy up, rename, color code or even write a new part straight onto the timeline.

Meet Studio Chat 💬 It knows what's in your project. From every track, to every piece of MIDI. It can tidy up, rename, color code or even write a new part straight onto the timeline.

Suno

26,187 Aufrufe • vor 29 Tagen

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