Tootfinder

The best thing about blogging is that I take things out of my head, which is full, and put them somewhere else.
The second best thing about blogging is that I meet more interesting people when I do it.

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

Since my answer went up from 1 to 2 these days after giving in to a sales offer: Do you have a #MechanicalKeyboard at hand for use? If yes, how many #MechanicalKeyboards are available to you (bought or shared)?
Definitely one of my favorite categories of luxury tech gadg…

@… Best kind.

Drawing attention to this thread of comments of mine from a few days ago, as it goes deeper into apparent efforts from European nations to Trump-proof Ukraine, which is actually VERY important for European security.
It's nice seeing news articles pointing out Ukrainian funding & Russian appeasement isn't something Trump gets to dictate, but rather, a situation where Europe is trying to diplomatically push back against Trump to defend their legitimate security interests.

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

After wearing my cargo pants yesterday and being spoiled by decent sized pockets (I could fit my phone in the front pocket, keys, and lipstick without it falling out when I sit) I’m pissed again about the pockets in my current pants, back pocket I can only put my hand up to my second knuckle in the back (might fit a lipstick but it would fall out) and the front ones, stuff keeps falling out when I sit. I’m going to lengthen the pockets based on the cargo pants pockets, I don’t care if it ‘ruins the line of the pants, and adds bulkiness’ because as I always say, women’s pockets, when pants have them, are bullshit. And I don’t care if they make me look fat because I value function and comfort more. My son can fit a whole keyboard in his. I’ve been gradually lengthening my pockets as I get to them, or wearing a Fanny pack, but had to go to a funeral Sunday and got pissed again about my pockets. I want to empower other women with decent pockets, so we can take over. That poem about seditious pockets comes to mind. Or at least carry phones and keys. Will post photos. #sewing #pockets #womenspants

Sonnet 026 - XXVI
Lord of my love, to whom in vassalage
Thy merit hath my duty strongly knit,
To thee I send this written embassage,
To witness duty, not to show my wit:
Duty so great, which wit so poor as mine
May make seem bare, in wanting words to show it,
But that I hope some good conceit of thine
In thy soul's thought, all naked, will bestow it:
Till whatsoever star that guides my moving,
Points on me graciously with fair a…

Having picnic with @… at Jardin d’Essai Hamma.

This situation actually reminds me a bit of the dotcom bubble collapse in the late '90s / early '00s, with slight differences.
Declining stocks & VC led to a bunch of startups initially being unable to obtain additional funding. To make matters worse, ad demand started falling, leading to lower revenues for ad-based internet services.
In this case, a decline of ad demand is trailing dotcom revenue shortages. I suspect currency & stock weakness & a slowing econ…