Talk Six Impossible Things by Kevlin Henney

Фильм және анимация

Recording brought to you by American Express. americanexpress.io/kotlin-jobs
?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

  • @ShortFilmVD
    @ShortFilmVD Жыл бұрын

    "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 ¯\_(ツ)_/¯

  • @robg.4213
    @robg.42133 ай бұрын

    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

  • @donwald3436
    @donwald3436 Жыл бұрын

    That hair is amazing.

  • @andmal8
    @andmal8 Жыл бұрын

    Very interesting ! Thank you

  • @georgeshalvashvili6270
    @georgeshalvashvili6270 Жыл бұрын

    finally there are videos from kotlinconf

  • @No3xx
    @No3xx Жыл бұрын

    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 Жыл бұрын

    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)

  • @BryonLape
    @BryonLape11 ай бұрын

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

  • @HerrRausB
    @HerrRausB Жыл бұрын

    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!

  • @LionKimbro
    @LionKimbro Жыл бұрын

    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

    8 ай бұрын

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

  • @playhard719
    @playhard719 Жыл бұрын

    I can't unsee but he looks like Rajinikanth.

  • @gordonsulc8319
    @gordonsulc83199 ай бұрын

    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.

  • @goldnutter412
    @goldnutter412 Жыл бұрын

    Assumptions start with Ass

  • @marcux83

    @marcux83

    Жыл бұрын

    😂

  • @ShortFilmVD

    @ShortFilmVD

    Жыл бұрын

    To assume makes and ass out of u and me

  • @w1darr
    @w1darr9 ай бұрын

    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 🧻

  • @JeremyAndersonBoise

    @JeremyAndersonBoise

    Жыл бұрын

    Expressionless emoji

  • @marcux83

    @marcux83

    Жыл бұрын

    😐

Келесі