Tootfinder

«Kritische Infrastruktur–Bund muss mehr in Cybersicherheit investieren:
Das eidgenössische Parlament pocht nach dem Xplain-Skandal auf verbindliche Cybersicherheitsprüfungen wichtiger Produkte und rennt damit bei der Landesregierung offene Türen ein»
Unter anderem wäre zB das blinde Vertrauen in IT-Verkäufer sehr wohl zu überlegen und nicht alles nur kurzsichtig anzunehmen.
🔓

Kritische Infrastruktur: Bund muss mehr in Cybersicherheit investieren
Das eidgenössische Parlament pocht nach dem Xplain-Skandal auf verbindliche Cybersicherheitsprüfungen wichtiger Produkte und rennt damit bei der Landesregierung offene Türen ein.

Like Malaysia Airlines MH17 and Korean Air Lines 007, seems Azerbaijan Airlines J2-8243 may have been shot down. #russia just can’t stop hurting people.
“FlightRadar24…said…aircraft…faced ‘strong GPS jamming,’ which ‘made…aircraft transmit bad ADS-B data,’ referring to…information…allows flight-tracking websites to follow planes…Russia…blamed in…past for jamming GPS transmissions…”
…

Azerbaijan Airlines plane crashes in Kazakhstan. At least 30 likely killed
An Azerbaijani airliner with 67 people onboard has crashed near the Kazakhstani city of Aktau and an official says 38 people were killed and 29 survived. The Embraer 190 was en route from the Azerbaijani capital of Baku to the Russian city of Grozny in the North Caucasus when it was diverted and attempted an emergency landing near the city of Aktau. Azerbaijani President Ilham Aliyev said that it was too soon to speculate on the reasons behind the crash, but said that the weather had forced the…

Classifying Bicycle Infrastructure Using On-Bike Street-Level Images
https://arxiv.org/abs/2410.19194v1

Classifying Bicycle Infrastructure Using On-Bike Street-Level Images
While cycling offers an attractive option for sustainable transportation, many potential cyclists are discouraged from taking up cycling due to the lack of suitable and safe infrastructure. Efficiently mapping cycling infrastructure across entire cities is necessary to advance our understanding of how to provide connected networks of high-quality infrastructure. Therefore we propose a system capable of classifying available cycling infrastructure from on-bike smartphone camera data. The system …

#IMPRS alumna Meike Fischer's paper featuring prominently in #UniGöttingen and #MPSgoettingen's press release about
The Moon: a chunk ejected from Earth?

@… Aha, I get you now! This is the best thing about proofs (I feel the same way about dependently-typed programming). The more information you can convey in a signature or type, the less you need to look inside.
I'm surprised you say that Go is close to it, though; is this because of culture? I'm sure that Rob Pike shouting “don't do anything cle…

"Tiling with Three Polygons is Undecidable"
Erik D. Demaine; Stefan Langerman 17 Sep 2024
Abstract
We prove that the following problem is co-RE-complete and thus undecidable: given three simple polygons, is there a tiling of the plane where every tile is an isometry of one of the three polygons (either allowing or forbidding reflections)? This result improves on the best previous construction which requires five polygons.
...
It remains open whether tiling …

Drawing attention to this thread of comments of mine from a few days ago, as it goes deeper into apparent efforts from European nations to Trump-proof Ukraine, which is actually VERY important for European security.
It's nice seeing news articles pointing out Ukrainian funding & Russian appeasement isn't something Trump gets to dictate, but rather, a situation where Europe is trying to diplomatically push back against Trump to defend their legitimate security interests.

After discussing the possibility for several months, European nations are finally forming a unified barrier of insurance checks and enforcement around areas where Russia's shadow fleet operate... a very important development, as it either will deprive them from the ability to keep evading sanctions, or significantly increase the costs and risks of doing so.
Big ramifications. This could have a major impact on Russia's recent long term oil delivery deal with India, i.e.

Twelve European countries to jointly counter Russia's shadow fleet exporting oil
Twelve European countries have agreed to jointly counter the shadow fleet used by Russia to export oil, bypassing the G7-imposed price cap. Ships will now be checked for valid insurance documents.