home.social

#tromp โ€” Public Fediverse posts

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

  1. "I claimed in the end of the video that this was the first example of animated beta-reductions of visual lambda expressions. Paul Brauner has some videos here: โ€ข Lambda Diagrams [1] , although they do not explicitly animate the mechanics of one step of beta-reduction! I probably should have chosen my words more carefully."
    youtube.com/watch?v=RcVA8Nj6HE
    [1]youtube.com/playlist?list=PLi8
    #lambdacalculus #combinators #animation #representation #church #tromp #turing

  2. "I claimed in the end of the video that this was the first example of animated beta-reductions of visual lambda expressions. Paul Brauner has some videos here: โ€ข Lambda Diagrams [1] , although they do not explicitly animate the mechanics of one step of beta-reduction! I probably should have chosen my words more carefully."
    youtube.com/watch?v=RcVA8Nj6HE
    [1]youtube.com/playlist?list=PLi8
    #lambdacalculus #combinators #animation #representation #church #tromp #turing

  3. "I claimed in the end of the video that this was the first example of animated beta-reductions of visual lambda expressions. Paul Brauner has some videos here: โ€ข Lambda Diagrams [1] , although they do not explicitly animate the mechanics of one step of beta-reduction! I probably should have chosen my words more carefully."
    youtube.com/watch?v=RcVA8Nj6HE
    [1]youtube.com/playlist?list=PLi8
    #lambdacalculus #combinators #animation #representation #church #tromp #turing

  4. "I claimed in the end of the video that this was the first example of animated beta-reductions of visual lambda expressions. Paul Brauner has some videos here: โ€ข Lambda Diagrams [1] , although they do not explicitly animate the mechanics of one step of beta-reduction! I probably should have chosen my words more carefully."
    youtube.com/watch?v=RcVA8Nj6HE
    [1]youtube.com/playlist?list=PLi8
    #lambdacalculus #combinators #animation #representation #church #tromp #turing

  5. "I claimed in the end of the video that this was the first example of animated beta-reductions of visual lambda expressions. Paul Brauner has some videos here: โ€ข Lambda Diagrams [1] , although they do not explicitly animate the mechanics of one step of beta-reduction! I probably should have chosen my words more carefully."
    youtube.com/watch?v=RcVA8Nj6HE
    [1]youtube.com/playlist?list=PLi8
    #lambdacalculus #combinators #animation #representation #church #tromp #turing

  6. Bet you didn't know all these gold & silver pieces are available for your collection. The image of him during his surrender to authorities, captioned "never surrender" - makes sense to these people. The sterling guns are as much as $365 each.
    #Tromp #Train #TheDon #sterling #pistol #convict #gun #never #surrender #georgia #conviction #convicted #felon #Troy #ounce #felony #charges #gold #bill #Aurum #proof #bullion #purity #stolen #SCOTUS #traitor #befriends #enemies #sold #TopSecret #documents

  7. Bet you didn't know all these gold & silver pieces are available for your collection. The image of him during his surrender to authorities, captioned "never surrender" - makes sense to these people. The sterling guns are as much as $365 each.
    #Tromp #Train #TheDon #sterling #pistol #convict #gun #never #surrender #georgia #conviction #convicted #felon #Troy #ounce #felony #charges #gold #bill #Aurum #proof #bullion #purity #stolen #SCOTUS #traitor #befriends #enemies #sold #TopSecret #documents

  8. Bet you didn't know all these gold & silver pieces are available for your collection. The image of him during his surrender to authorities, captioned "never surrender" - makes sense to these people. The sterling guns are as much as $365 each.
    #Tromp #Train #TheDon #sterling #pistol #convict #gun #never #surrender #georgia #conviction #convicted #felon #Troy #ounce #felony #charges #gold #bill #Aurum #proof #bullion #purity #stolen #SCOTUS #traitor #befriends #enemies #sold #TopSecret #documents

  9. ๐—ฉ๐—ผ๐—ฒ๐˜๐—ฏ๐—ฎ๐—น๐˜€๐˜๐—ฒ๐—ฟ ๐—ง๐—ฟ๐—ผ๐—บ๐—ฝ ๐˜ƒ๐—ฒ๐—ฟ๐—ฟ๐˜‚๐—ถ๐—น๐˜ ๐—”๐—ท๐—ฎ๐˜… ๐˜ƒ๐—ผ๐—ผ๐—ฟ ๐—™๐—– ๐—จ๐˜๐—ฟ๐—ฒ๐—ฐ๐—ต๐˜

    Nikita Tromp verruilt Ajax voor FC Utrecht. De 22-jarige aanvalster speelde sinds 2020 in Amsterdam. Ze kwam er in zestig wedstrijden tot 23 doelpunten.

    rtlnieuws.nl/sport/voetbal/art

    #Voetbalster #Tromp #FCUtrecht

  10. Zr.Ms.Tromp is aangekomen in het operatiegebied. Dit zal voor de bemanning een spannende periode worden lijkt me, geen oefening maar daadwerkelijke inzet in een hoog geweldsspectrum, met alle risico's die daarbij horen.
    defensie.nl/actueel/nieuws/202
    #Marine #Tromp #Houthis

  11. ๐Ÿฅช
    WIJ BELEGGEN VANDAAG
    GEEN BROODJES EXCUSES VOOR HET ONGEMAK
    ๐Ÿง€๐Ÿ„
    KOM PROEVEN
    KAAS VAN EIGEN KOEIEN

    #straattaal Elandsgracht - Amsterdam.

    #kaas #Tromp 26-11-2022