Tootfinder

@… 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 …

Sonnet 077 - LXXVII
Thy glass will show thee how thy beauties wear,
Thy dial how thy precious minutes waste;
The vacant leaves thy mind's imprint will bear,
And of this book, this learning mayst thou taste.
The wrinkles which thy glass will truly show
Of mouthed graves will give thee memory;
Thou by thy dial's shady stealth mayst know
Time's thievish progress to eternity.
Look what thy memory cannot contain,
Commit to th…

«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.

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 …

You know the North Koreans are getting owned when I can share a new, 4 minute long video of them getting owned and owned and owned by a plethora of drone strikes, AND share an article about how they are getting owned and owned and owned by cluster munitions, to what appears to be an even greater degree.

Ukrainian Artillery Rained Cluster Shells On Exposed North Korean Troops
A single Dual-Purpose Improved Conventional Munition dispenses 88 submunitions.

Beautiful & impressive 3D visualizations in this paper by Muyuan Chen:
"Rendering protein structures inside cells at the atomic level with Unreal Engine"
https://www.biorxiv.org/content/10.1101/2023.12.08.570879v2
(The video is just …

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.

Old graphical editor prototype (2019/20) with various ways of managing multiple selections of graphical entities, incl. align/distribute, duplicate, invert, select/deselect region (box/convex hull). editor is generic. items could be files, shapes, mesh vertices, 2d/3d points, graph nodes, whatever...
Been re-animating this prototype and toying with integrating it into my personal note taking & media management tool to organize items into piles for batch-processing and to easier app…

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.