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 …

Question about #Caddy: Does the acme_server db increase in size until disk saturation or is there a pruning mechanism somewhere to delete expired certificates?
I could not find any option regarding pruning, in the Caddyfile config, nor in the JSON config, and I failed to spot any in the source code...
I have a db file still containing certificates that are several months old. The db file was stored in a volume with very limited size and the db ended up filling it entirely (> 100MB) for 20 ACME clients. Chaos ensued.
#infosec #acme #devops

#Fediverse #Inconography
retooted from wakest ⁂ (@liaizon@wake.st). Expanding collection of #icons & #logos from far-flung corners of the #Fedisphere. Take a brief moment to scroll through all these #images. It's a nice feeling.

🔗 #Graphics #KronoMoonPhotos #MoonOverMastodon #federation #branding #blackandwhite #mastodon #pixelfed