#tromp — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #tromp, aggregated by home.social.
-
Mit den Waffen, die sie nicht mehr haben, haben die Iraner gerade ein Regierungsgebäude in Kuwait getroffen #Trömp
-
Endlich gelingt es, die weltweite Macht der USA (politisch, ökonomisch) einzudämmen, die USA auf das Format zu stutzen, das passt. Erfolg von #Trömp.
Iran stellt USA bloss, Militärkosten steigen massiv, Folgekosten der Zölle bezahlen die Amerikaner:innen, Masern breiten sich dramatisch aus usw.
-
#Trömp soll zu #Netanjahu gesagt haben, ohne ihn sässe er schon längst in Gefängnis (Quelle DLF, 2.6.2026) Wie soll ich sagen? Trömp muss es wissen
-
"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 -
𝗩𝗼𝗲𝘁𝗯𝗮𝗹𝘀𝘁𝗲𝗿 𝗧𝗿𝗼𝗺𝗽 𝘃𝗲𝗿𝗿𝘂𝗶𝗹𝘁 𝗔𝗷𝗮𝘅 𝘃𝗼𝗼𝗿 𝗙𝗖 𝗨𝘁𝗿𝗲𝗰𝗵𝘁
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.
-
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 -
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