Mastodawn

"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."
https://www.youtube.com/watch?v=RcVA8Nj6HEo
[1]https://www.youtube.com/playlist?list=PLi8_XqluS5xc7GL-bgVrxpA2Uww6nK0gV
#lambdacalculus #combinators #animation #representation #church #tromp #turing

What is PLUS times PLUS?

YouTube

Putin's IBS Jan 22, 2025

#NATO ships patrol #Baltic_Sea as part of the #Baltic_Sentry program after damage of undersea cables.

▪️ Three #NATO ships anchored in #Tallinn. One of them is the #Royal_Netherlands Navy frigate #Tromp, which leads the squadron.

▪️ There are two other #NATO ships in the harbour near the #Estonian capital – the #German minesweeper #Datteln and the hydrographic vessel #Luymes with a mixed #Dutch_Belgian crew.

Dagblad Van het Noorden RSS Jan 16, 2025

[19:12] Performer Elfie Tromp tourt met maatschappijkritische voorstelling 'Op de Barricade van het Hart'

Elfie Tromp is er klaar mee. De wereld is nog steeds schrijnend ongelijkwaardig en dat moet anders. De vraag is alleen waar te beginnen. In de felle, humoristische, feministische punkcabaretshow Op de Barricade van het Hart gebruikt Tromp haar woede en maakt er wat moois van.

https://www.dvhn.nl/meer/leven/De-kracht-van-woede-29332967.html

#ElfieTromp #BarricadevanhetHart #Tromp

Performer Elfie Tromp tourt met maatschappijkritische voorstelling 'Op de Barricade van het Hart'

Elfie Tromp is er klaar mee. De wereld is nog steeds schrijnend ongelijkwaardig en dat moet anders. De vraag is alleen waar te beginnen. In de felle, humoristische, feministische punkcabaretshow Op de Barricade van het Hart gebruikt Tromp haar woede en maakt er wat moois van.

Dagblad van het Noorden

Leeuwarder Courant RSS Jan 16, 2025

[19:12] Performer Elfie Tromp tourt met maatschappijkritische voorstelling 'Op de Barricade van het Hart'

Elfie Tromp is er klaar mee. De wereld is nog steeds schrijnend ongelijkwaardig en dat moet anders. De vraag is alleen waar te beginnen. In de felle, humoristische, feministische punkcabaretshow Op de Barricade van het Hart gebruikt Tromp haar woede en maakt er wat moois van.

https://www.lc.nl/meer/leven/De-kracht-van-woede-29332967.html

#ElfieTromp #BarricadevanhetHart #Tromp

Performer Elfie Tromp tourt met maatschappijkritische voorstelling 'Op de Barricade van het Hart'

Elfie Tromp is er klaar mee. De wereld is nog steeds schrijnend ongelijkwaardig en dat moet anders. De vraag is alleen waar te beginnen. In de felle, humoristische, feministische punkcabaretshow Op de Barricade van het Hart gebruikt Tromp haar woede en maakt er wat moois van.

Leeuwarder Courant

getmisch Oct 8, 2024

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

RTL Nieuws Jun 25, 2024

𝗩𝗼𝗲𝘁𝗯𝗮𝗹𝘀𝘁𝗲𝗿 𝗧𝗿𝗼𝗺𝗽 𝘃𝗲𝗿𝗿𝘂𝗶𝗹𝘁 𝗔𝗷𝗮𝘅 𝘃𝗼𝗼𝗿 𝗙𝗖 𝗨𝘁𝗿𝗲𝗰𝗵𝘁

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.

https://www.rtlnieuws.nl/sport/voetbal/artikel/5457294/voetbalster-tromp-verruilt-ajax-voor-fc-utrecht

#Voetbalster #Tromp #FCUtrecht

Voetbalster Tromp verruilt Ajax voor FC Utrecht

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.

RTL.nl

Show thread

Roel 🇺🇦🔻❤💚🏳️‍🌈🍆🍑🦄Jun 16, 2024

@bmk Een mooie omschrijving, ja. #Tromp

Erik Jonker Mar 27, 2024

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.
https://www.defensie.nl/actueel/nieuws/2024/03/27/zr.ms.-tromp-begint-aan-operaties-voor-veiligheid-en-vrije-doorvaart-in-rode-zee
#Marine #Tromp #Houthis

Zr.Ms. Tromp begint aan operaties voor veiligheid en vrije doorvaart in Rode Zee (video)

Zr.Ms. Tromp wordt vanaf vandaag ingezet om raketten en drones van Houthi’s op de Rode Zee te bestrijden. Het luchtverdedigings- en commandofregat neemt deel aan de Amerikaans geleide operatie Prosperity Guardian. Ook levert het schip steun aan de EU-operatie Aspides. Beide operaties hebben als doel het bevorderen van veiligheid en de vrije doorvaart in het gebied.

Erik Jonker Mar 26, 2024

Het fregat Zr. Ms. Tromp was even zichtbaar voor iedereen in het Suezkanaal.
https://www.marinetraffic.com/en/ais/details/ships/shipid:6414464
#marine #Tromp #rodezee #houthis

Ship HNLMS TROMP (Military Ops) Registered in Netherlands - Vessel details, Current position and Voyage information - IMO 4601008, MMSI 244899000, Call sign PAET

Vessel HNLMS TROMP is a Military Ops, Registered in Netherlands. Discover the vessel's particulars, including capacity, machinery, photos and ownership. Get the details of the current Voyage of HNLMS TROMP including Position, Port Calls, Destination, ETA and Distance travelled - IMO 4601008, MMSI 244899000, Call sign PAET

MarineTraffic.com

Werner Feb 21, 2024

åpner avis
"Ekspresident Donald Trump sammenligner sine egne rettsprosesser med forfølgelsen av den russiske opposisjonslederen Aleksej Navalnyj"
lukker avis

#Norsktut #Allheimen #Politikk #Trømp