Tootfinder

@…
DragonflyDB reduced Mastodon storage from 22 GB to 8.5 GB:
https://mathstodon.xyz/@renchap@oisaur.com/113522923632…

@…
'A rare copy for sale of "Lisp Style and Design" by Molly Miller and Eric Benson (Digital Press, 1990), a great book cited by Paul Graham in On Lisp that covers often overlooked topics. All the proceeds will be donated to the Medley Interlisp Project.'

Lisp Style & Design - Molly Miller, Eric Benson - VERY RARE - VERY GOOD cond | eBay
Good design and style enhance programming efficiency because they make programs easier to understand, to debug, and to maintain. Lisp Hackers' Delight. Paul Graham cites this book in his classic text,On Lisp.

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

@… it's so good to see you here 😊 sorry I am not managing to follow or support you much these days 😔 I do want to send you my hugs and gratitude 🤗 even though I already follow XOXO and have them all on queue ⏳ the Cabel Sasser talk you put at the top of your email today truly has life-changing potential ☀️ At the very least it is a bright ray of sunshin…

 
Bright #Moon at upper left with #Mars below and #Jupiter at right. #Celestial bodies floating in shimmering, mostly empty dark night sky, over the #cityLights of #Bochum #Germany. #MoonPhoto retooted from #science #writer and #astrophotographer Daniel Fisher (@…). Impressive photograph.
🔗 #SturgeonMoon #KronoMoonPhoto #MoonOverMastodon #germany #deutschland #mond #astronomy #nightsky #planets