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 …

Lovely account of a fun foray with ancient web tech that's pretty much begging to be reverse engineered, and made into something beautiful at #JumboHack
Winning a hackathon, losing my sanity — Jerome Paulos
https://

Mon RETEX sur @… :
Chouette outil, mais je ne vais pas continuer avec lui.
Castopod a une interface web agréable. Tout n'est pas très intuitif, mais on s'y fait bien.
J'ai beaucoup aimé la partie "broadcast" qui permet de lister plein de plateformes où faire référencer son podcast. J'en connaissais pas autant 🤯
La partie "analytics" semble Š première vue sympa, mais les stats affichées sont pas du tout cohérentes avec ce qu'on peut voir sur OP3. Je pense que c'est en partie du au fait que Castopod ne tient pas compte partout de l'entête X-Forwarded-For (il est derrière un Caddy), et du coup, ça b(i)aise les mesures.
Son packaging Docker est pratique et son installation est aisée.
En revanche, ce que j'ai moins aimé :
* les outil de modération des commentaires sur le fédiverse totalement insuffisants ; ils buguent en partie, et j'ai été obligé d'aller effacer les spam Š la main dans la base de données ; pour ajouter du sel sur la plaie, tous les compteurs sont dénormalisés sans automatisation avec des triggers, donc effacer un commentaire veut dire faire aussi plein d'update pour réduire les compteurs manuellement... 3FN bordel !
* on ne peut pas modérer a priori les commentaires donc n'importe quel spam se retrouve illico sur ta page de podcast ;
* ça tient pas du tout la charge ; ça devrait moralement être un site statique avec régénération de la page quand il y a une activité d'admin ou activitypub (voire remarque sur la modération a priori) ;
* le player déconne pas mal ; des retours au début impromptus, notamment ;
* pas de support des alternateEnclosures pour publier Š la fois en MP3, en OGG Vorbis et M4A/AAC ; faut l'ajouter Š la main, grâce Š un petit champ (néanmoins bien pratique) ;
* les chapitres et les transcripts sont sympas et des citoyens de première classe (first class citizens) MAIS les timecodes ne sont pas cliquables pour sauter Š l'endroit intéréssant (voire la remarque sur le player pas top) ;
* perte de messages : j'ai vu, voire envoyé, des commentaires sur un épisode qui n'ont jamais été reçus/affichés par Castopod... Peut-être que c'est le Mastodon de départ qui a perdu les notes, mais j'ai des doutes vu que c'ait arrivé qu'avec Castopod...
Donc heu... pour le résumer, le player est très bof, et l'intégration ActivityPub a besoin d'encore beaucoup beaucoup de travail. Dommage.
Alors je vais faire quoi ? Je pense que je vais utiliser mon fidèle ami @… pour générer le site et le RSS, et utiliser le player de Podlove (#podcast #podcasts

Getting an education shouldn't crush young citizens with debt right before they hit the workforce. Economists have shown repeatedly that the economic benefit of removing student debt FAR outweighs the "income tax" losses.
WHY IS THIS SO HARD FOR CONSERVATIVES TO UNDERSTAND?
...or do you think they simply fear an educated citizenry?
Biden's student loan forgiveness plan can take effect after judge lets restraining order expire - NBC News

I really like the acast custom signature tag
```
<acast:signature key="EXAMPLE" algorithm="aes-256-cbc"><![CDATA[wbG1Z7 6h9QOi CR1Dv0uQ==]]></acast:signature>
```
Found "Les actus du jour - Hugo Décrypte". So many things that are plain wrong in a single line.

Series A, Episode 03 - Cygnus Alpha
ZEN: Course and speed confirmed.
AVON: With our speed we'll probably outrun them. This time. But they'll keep coming. Pushing us, tracking us. They'll never give up.
https://blake.torpidity.net/m/103/588 B7B2

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

Rewatching "The West Wing" yet again. Season 6, Episodes 8-9 were utterly terrifying (the China trip) but it's still a welcome respite from reality.
Chicken soup for the Democrat soul.
"This plane is going to China!"
https://youtu.be/A2i8xuzaTdY?si=AMA_Kv

Ilmus Vikerkaare humanisminumber. Ma ise tõlkisin sinna Marsilio Ficino kirju, mis on üllatavalt tänapäevaselt kõlavad, oli väga lõbus, vahelduseks. Ma tean, et teised asjad, mis seal on, on ka head. Pico della Mirandola kõne on igaljuhul miski, mida peaks lugema igaüks, kes renessanssi perioodi mõtlemisest tahab aimu saada.
https://www.