How to think clearly as a programmer with mathematics and TLA+ - Leslie Lamport @ HLF 2019

แชร์
ฝัง
  • เผยแพร่เมื่อ 18 ม.ค. 2025

ความคิดเห็น • 13

  • @frankstanley7760
    @frankstanley7760 2 ปีที่แล้ว +25

    "reducing codes to 1/10th is not done by coding better; it done by thinking better"

  • @VladimirSanchez
    @VladimirSanchez 2 ปีที่แล้ว +6

    Yes! My dad always said (back in the 80s), "it's all math Vlad!" 😢😍

  • @evertoncosta5714
    @evertoncosta5714 2 ปีที่แล้ว +3

    What amazing video

  • @valerapadolochniy9537
    @valerapadolochniy9537 2 ปีที่แล้ว +8

    The magic bullet is mathematics (c)

    • @shankar4510
      @shankar4510 2 ปีที่แล้ว

      hi should i stick to mathematics instead of programmming then to be a wonderful computer scientist ?

    • @valerapadolochniy9537
      @valerapadolochniy9537 2 ปีที่แล้ว

      ​@@shankar4510 Depends on your free time. If you have a job, your first goal would be programming. Otherwise I would recommend to learn math (related to programming) first, or programming and math in parallel.

    • @shankar4510
      @shankar4510 2 ปีที่แล้ว +1

      @@valerapadolochniy9537 math related to programming is discrete math and calculus?

    • @valerapadolochniy9537
      @valerapadolochniy9537 2 ปีที่แล้ว

      @@shankar4510 well, depends on direction of programming. For web or mobile: discrete math; for game dev: discrete math, linear algebra; for computer science: discrete math, mathematical analysis... In general (imho) discrete math - it's a good milestone for the beginning and after that you should dive into some specific area of math required for a specific direction of programming.

    • @VladimirSanchez
      @VladimirSanchez 2 ปีที่แล้ว

      Yes! My dad always said (back in the 80s), "it's all math Vlad!" 😢😍

  • @Dreadwinner
    @Dreadwinner 2 ปีที่แล้ว

    💗

  • @nurlatifahmohdnor8939
    @nurlatifahmohdnor8939 2 ปีที่แล้ว

    Henry the 8th
    I
    Elizabeth
    Pilgrims : the colony of Plymouth in Massachusetts was founded in 1620 by a band of English settlers.

  • @421sap
    @421sap ปีที่แล้ว

    In Jesus' Name Amen ✝️