home.social

#hollywood — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #hollywood, aggregated by home.social.

  1. Today is the birthday of Brian De Palma (1940), Amy Madigan (1950), Virginia Madsen (1961), and Kristy McNichol (1962) toilet-guru.com/movie-stars.ht #Hollywood #history

  2. Today is the birthday of Philip Baker Hall (1931), Amy Irving (1953), Colin Firth (1960), and Guy Ritchie (1968) toilet-guru.com/movie-stars.ht #Hollywood #history

  3. Today is the birthday of Philip Baker Hall (1931), Amy Irving (1953), Colin Firth (1960), and Guy Ritchie (1968) toilet-guru.com/movie-stars.ht #Hollywood #history

  4. Today is the birthday of Philip Baker Hall (1931), Amy Irving (1953), Colin Firth (1960), and Guy Ritchie (1968) toilet-guru.com/movie-stars.ht #Hollywood #history

  5. Today is the birthday of Philip Baker Hall (1931), Amy Irving (1953), Colin Firth (1960), and Guy Ritchie (1968) toilet-guru.com/movie-stars.ht #Hollywood #history

  6. Today is the birthday of Philip Baker Hall (1931), Amy Irving (1953), Colin Firth (1960), and Guy Ritchie (1968) toilet-guru.com/movie-stars.ht #Hollywood #history

  7. @johncarlosbaez

    Just declare an unproven axiom. They still check the definitions, I hope, so you would get caught immediately.

    Flawed definitions or vacuous proofs are genuine vulnerability. You should write them in such way that reviewers don't catch them.

    I think the real con would be to get your friend on the Lean development team to help really mess things up. Once they figure it out, you are gone with the money.

    #Hollywood where are you. A con movie with mathematics. Even better if a rogue AI contacts you and you team up in buddy-movie style.

  8. @johncarlosbaez

    Just declare an unproven axiom. They still check the definitions, I hope, so you would get caught immediately.

    Flawed definitions or vacuous proofs are genuine vulnerability. You should write them in such way that reviewers don't catch them.

    I think the real con would be to get your friend on the Lean development team to help really mess things up. Once they figure it out, you are gone with the money.

    #Hollywood where are you. A con movie with mathematics. Even better if a rogue AI contacts you and you team up in buddy-movie style.

  9. @johncarlosbaez

    Just declare an unproven axiom. They still check the definitions, I hope, so you would get caught immediately.

    Flawed definitions or vacuous proofs are genuine vulnerability. You should write them in such way that reviewers don't catch them.

    I think the real con would be to get your friend on the Lean development team to help really mess things up. Once they figure it out, you are gone with the money.

    #Hollywood where are you. A con movie with mathematics. Even better if a rogue AI contacts you and you team up in buddy-movie style.

  10. @johncarlosbaez

    Just declare an unproven axiom. They still check the definitions, I hope, so you would get caught immediately.

    Flawed definitions or vacuous proofs are genuine vulnerability. You should write them in such way that reviewers don't catch them.

    I think the real con would be to get your friend on the Lean development team to help really mess things up. Once they figure it out, you are gone with the money.

    #Hollywood where are you. A con movie with mathematics. Even better if a rogue AI contacts you and you team up in buddy-movie style.

  11. @johncarlosbaez

    Just declare an unproven axiom. They still check the definitions, I hope, so you would get caught immediately.

    Flawed definitions or vacuous proofs are genuine vulnerability. You should write them in such way that reviewers don't catch them.

    I think the real con would be to get your friend on the Lean development team to help really mess things up. Once they figure it out, you are gone with the money.

    #Hollywood where are you. A con movie with mathematics. Even better if a rogue AI contacts you and you team up in buddy-movie style.

  12. #Highest2Lowest isn’t a bad #crime #movie.
    The only issue with it is that the first half is so boring and goes so slow that mostly made quit it.

    I’d advise to give it a chance, if you don’t fall asleep on that first hour.

    #movies #streaming #cinema #AppleTV #AppleTVPlus #Music #MusicIndustry #MusicBusiness #Hollywood #Thriller #DenzelWashington #HighestToLowest

  13. #Highest2Lowest isn’t a bad #crime #movie.
    The only issue with it is that the first half is so boring and goes so slow that mostly made quit it.

    I’d advise to give it a chance, if you don’t fall asleep on that first hour.

    #movies #streaming #cinema #AppleTV #AppleTVPlus #Music #MusicIndustry #MusicBusiness #Hollywood #Thriller #DenzelWashington #HighestToLowest

  14. #Highest2Lowest isn’t a bad #crime #movie.
    The only issue with it is that the first half is so boring and goes so slow that mostly made quit it.

    I’d advise to give it a chance, if you don’t fall asleep on that first hour.

    #movies #streaming #cinema #AppleTV #AppleTVPlus #Music #MusicIndustry #MusicBusiness #Hollywood #Thriller #DenzelWashington #HighestToLowest