Tootfinder

Aircraft Carrier Arrives in the Caribbean in Major Buildup near Venezuela | Associated Press
https://www.newsmax.com/newsfront/aircraft-carrier-Venezuela-trump-Ford-strikes-drugs/2025/11/16/id/1234765/

Flugtaxi-Start-up Lilium: Endgültiges Aus
Das US-Unternehmen Archer Aviation übernimmt die Patente des deutschen Flugtaxi-Pioniers. Mehrere Rettungsversuche waren zuletzt gescheitert.
https://www.hei…

A Certifiable Machine Learning-Based Pipeline to Predict Fatigue Life of Aircraft Structures
\'Angel Ladr\'on, Miguel S\'anchez-Dom\'inguez, Javier Rozal\'en, Fernando R. S\'anchez, Javier de Vicente, Lucas Lacasa, Eusebio Valero, Gonzalo Rubio
https://arxiv.org/abs/2509.10227…

A Certifiable Machine Learning-Based Pipeline to Predict Fatigue Life of Aircraft Structures
Fatigue life prediction is essential in both the design and operational phases of any aircraft, and in this sense safety in the aerospace industry requires early detection of fatigue cracks to prevent in-flight failures. Robust and precise fatigue life predictors are thus essential to ensure safety. Traditional engineering methods, while reliable, are time consuming and involve complex workflows, including steps such as conducting several Finite Element Method (FEM) simulations, deriving the ex…

U.S. official says the 'table is being set' for possible military action against Venezuela (Laura Sullivan/NPR)
https://www.npr.org/2025/11/15/nx-s1-5609888/aircraft-carrier-caribbean-venezuela-military-action
http://www.memeorandum.com/251115/p57#a251115p57

One of the things I super appreciate about #ArcRaiders from #EmbarkStudios is that they made their in-game accounts cross platform.
I can go up and scavange low level gear and crafting materials on the #PS5 on the cou…

NATO aircraft carry out 12-hour flight near Russian border amid rising tensions: https://benborges.xyz/2025/10/11/nato-aircraft-carry-out-hour.html

Faszinierend - Gänsehaut! Martha Argerich (84) und Daniel Barenboim (83) in Buenos Aires. Sternstunden der #Musik - Dokumentarfilm von Dag Freyer
#MarthaArgerich #DanielBarenboim

Towards a Common Framework for Autoformalization
Agnieszka Mensfelt, David Tena Cucala, Santiago Franco, Angeliki Koutsoukou-Argyraki, Vince Trencsenyi, Kostas Stathis
https://arxiv.org/abs/2509.09810 …

Towards a Common Framework for Autoformalization
Autoformalization has emerged as a term referring to the automation of formalization - specifically, the formalization of mathematics using interactive theorem provers (proof assistants). Its rapid development has been driven by progress in deep learning, especially large language models (LLMs). More recently, the term has expanded beyond mathematics to describe the broader task of translating informal input into formal logical representations. At the same time, a growing body of research explo…

Polish and allied aircraft have been deployed in a “preventive” operation in Poland’s airspace
because of a threat of drone strikes in neighbouring areas of Ukraine,
and the airport in the eastern Polish city of Lublin was closed, authorities have said.
The alert on Saturday lasted about two hours.
On Wednesday multiple Russian drones had crossed into Poland,
prompting Nato to send fighter jets to shoot them down,
underlining long-held concerns about the …

🇺🇦 #NowPlaying on KEXP's #AfternoonShow
KAYTRANADA:
🎵 HOME
#KAYTRANADA
https://lomusic1.bandcamp.com/track/home-prod-by-kaytranada
https://open.spotify.com/track/64Ar46xRXwPjMW8DBTAbCI