Tootfinder

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

Bon, bah j'ai trouvé pourquoi le player de @Castopod (ainsi qu'Apple Podcast en streaming) déconne et me fait des resets de lectures constamment : https://code.castopod.org/adaures/castopod/-/issues/446
Le ticket est ouvert depuis 7 mois sans réponse. Le déploiement de Castopod par docker intégrant nginx est peté...
Vivement la migration Š mon propre service !

Series A, Episode 10 - Breakdown
JENNA: It all happened so quickly. One minute he was crying with pain, then he went beserk.
VILA: I'm glad he's a friend. Could get very painful if he really didn't like you.
https://blake.torpidity.net/m/110/10 B7B3

Blakes7Bot | Search
Companion site to the Blakes7Bot Twitter, Mastodon, and Bluesky accounts. Automated lines of Blakes 7 dialog. Includes a script search facility.

Wen sollte man auch sonst befragen zum 7. Oktober?

"The fascist threat collapses when ordinary people have meaningful opportunities for social connection and purpose, the groundwork of human dignity."
Daniel Martinez HoSang
https://www.theguardian.com/commentisfree/article/2024/sep/09/trump-presidency-day-one-project-2024

I am writing a #podcast feed generator with @…
It is interesting how no two podcast feed look the same. Some have one or two namespaces (usually itunes and podcasting 2.0) and some have over half a dozen (rawvoice, googleplay, purl, atom, etc.).
itunes tags greatly vary in quantity and syntax. Several of them are not even listed on the Apple official page for Podcast RSS pages. https://help.apple.com/itc/podcasts_connect/#/itcb54353390
Of course, that page is incomplete and you can find other tags that are still in use in their documentation...
Some people added tags from podcasting 2.0 that never got accepted, and are not even mentionned as proposed anymore (for instance, @… uses podcast:id).
Some publsh enclosures in formats nobody understands (for instance, Peertube publishes m3u8 files...)
This is an incredible mess. And I'll probably add to it by publishing one more incomplete generator 😅

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 …

 
#Mathematicians Prove #Hawking Wrong About the Most Extreme #BlackHoles
@…@…

Mathematicians Prove Hawking Wrong About ‘Extremal’ Black Holes | Quanta Magazine
For decades, extremal black holes were considered mathematically impossible. A new proof reveals otherwise.

This is hilarious: #Signal

Un constat : ça prend un temps infini de faire les sous-titres d'un podcast ou d'une vidéo.
Même en ayant un script pré-écrit, et qu'il faut simplement caler, si on est contraint Š un certain nombre de caractères par ligne, comme c'est notamment le cas avec le standard Podcasting 2.0 (32 caractères), c'est très très très long.
Hier, j'ai mis 2h30 pour un épisode de 21 minutes.
J'ai utilisé Aegisub, qui est un logiciel libre qui facilite la chose. Sans lui, j'y serai encore. Je recommande chaudement !