Tootfinder

@… Very cool!
I agree. This isn’t the 1980s any more, and we’re past the point that one person can build an operating system. And this is a large chunk of an operating system.
This is why I’m not even trying. But if people were willing to try with me, and I trusted them, I might change my mind.
(Unrelated: I am working on another pair of “…

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

« #BDR139 : On traîne Bernard Arnault devant les tribunaux ! »
https://www.youtube.com/watch?v=ix1u5QDu6f8
@…

Interesting report on an old #archival preservation technique and its challenge for #digitization.
A literal 'Spürnase' is helpful: "a faint scent of vanilla is present, a sign that the paper itself has begun to break down" 👃

Digital Collections Spotlight #52: Digitization for Preservation: PEC Letter Books « Moravian Archives

Got a watt meter and measured my amd a4 that I use as a server and 35w when I am doing almost nothing.
Looking at options and the dell wyse 5070 has more performance with less power usage. The amd a4 trully sucks

really surprised to see all this traction around #bluesky right now. not sure what to make of it WRT fediverse and mastodon. kind of bums me out that people are not migrating here.

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

@… Amazing, thanks for sharing! It doesn’t surprise me that per-language approaches have been taken, and I would expect that if someone did this, it would be people who’ve already done it once, but niche.
I was definitely inspired a bit by Darklang.

@… @… There is so much right about this that I don't know where to start.
The only worry I have is that it sounds hard for someone else to create a competing implementation, and I think that we need more of that from our…