Talk Six Impossible Things by Kevlin Henney

แชร์
ฝัง
  • เผยแพร่เมื่อ 30 ต.ค. 2024
  • Recording brought to you by American Express. americanexpres...
    ?Why, sometimes I've believed as many as six impossible things before breakfast," the Queen told Alice on her adventures through the looking glass. Only six? In software development we believe impossible things all the time, no matter the time of day! In this talk, however, we are going to take a look at six specific impossible things that shape the limits of what we can develop, all the way from the smallest detail of integer representation to the minefield of task estimation and prioritisation, via the uncertainty of distributed systems and the limits of computability. Once we know our limits, we can work within them to create solutions rather than problems.
    Talk by: Kevlin Henney
    #kotlinconf'23 #Kotlin #KotlinConf

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

  • @robg.4213
    @robg.4213 6 หลายเดือนก่อน +2

    6: Representations can be infinite - 3:20
    5: Every question has an answer - 13:38
    4: Every truth can be established where it applies - 36:00
    3: The future is knowable before it happens - 45:39
    2: A distributed system is knowable - 54:05
    1: Technical debt is quantifiable as financial debt - 59:50

  • @ShortFilmVD
    @ShortFilmVD ปีที่แล้ว +7

    "the unknown knowns isn't a real category", my wife would beg to differ, according to her there are many things I didn't know I knew, such as what we're doing this weekend, apparently I've known for weeks but I didn't even know ¯\_(ツ)_/¯

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

    That hair is amazing.

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

    finally there are videos from kotlinconf

  • @andmal8
    @andmal8 ปีที่แล้ว +4

    Very interesting ! Thank you

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

    21:39 I think it was easier to get this right because you actually saw the state of loading and recognised it as state therefore. Today the loading is much quicker and you can overlook it if you don't think about the possible states.

  • @gewusst-vim9583
    @gewusst-vim9583 ปีที่แล้ว +2

    Thx for the great talk with a lot of wisdom! Btw. when it comes to metaphor regarding technical debts i would vote for the one of "technical debt is like tetris" which is for me a perfect fit (it's easy to find articles about this, linking seems not be allowed here)

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

    We don't know how divisible space is. It might be infinitely divisible; There does not seem to be a limit to it.
    We do not know how far space extends. It might extend out infinitely. We have not found any point at which the universe "wraps around," and the curvature of deep space appears to be 0, with our measurements.
    We do not know when the universe began. We know when the big bang happened, but we don't know if there was a time before that point. There are Nobel prize winning physicists who believe it went back forever.
    So it is possible that there are "real infinities."

    • @GeneraluStelaru
      @GeneraluStelaru 11 หลายเดือนก่อน

      But that's speculation. Mathematical infinity is a certainty.

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

    Who t.f. cut this video? The most important content are those slides, which you most of the time can't read properly and instead have look at some peoples' backs and a small Kevlin Henney running up and down the stage... Great job!
    Otherwise: Brilliant talk - thanks a lot!

  • @BryonLape
    @BryonLape ปีที่แล้ว

    It is quite interesting that Harlan Mills is mentioned in that article by Bentley.

  • @gordonsulc8319
    @gordonsulc8319 ปีที่แล้ว

    There are some axioms that, should you attempt to show that they are false, you will find yourself assuming that it is true, resulting in a contradiction. While this is incomplete--a solution might not have been thought of--a millennia and billions of people is a lot of searching power.

  • @playhard719
    @playhard719 ปีที่แล้ว

    I can't unsee but he looks like Rajinikanth.

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

    Assumptions start with Ass

    • @marcux83
      @marcux83 ปีที่แล้ว

      😂

    • @ShortFilmVD
      @ShortFilmVD ปีที่แล้ว

      To assume makes and ass out of u and me

  • @w1darr
    @w1darr ปีที่แล้ว

    I god, I believe instantly that he only got a physics degree - math is the ONLY universally real thing there is.

  • @harriehausenman8623
    @harriehausenman8623 ปีที่แล้ว

    what a waste

  • @harriehausenman8623
    @harriehausenman8623 ปีที่แล้ว

    He doesnt even know how to prompt! 🤣
    Classical GPT-3 user 🧻