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.

Echo de menos a los amantes de la naturaleza y contenido de montaña por aquí 😭 ¿Alguna cuenta interesante para seguir aquí o en #Pixelfed? O en #Loops
https://

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

The ruble has lost 1/3rd of its value vs. the yuan, but if you factor in OTHER extra costs...
----
China strongly limits Russian access to tech in mech. engineering, aviation, and microelectronics.
"...they openly tell us: if you want to get some technologies, buy the product as a whole. We say: no, at best we need components that we'll replace soon. They tell us: we understand this, but aren't going to do it at normal prices. Here is double the price - please.&…

КамАЗ пожаловался на нежелание китайцев делиться технологиями и надеется на возвращение западных партнеров
Российский бизнес, как и власти, надеется на скорое возвращение западных компаний и инвесторов, ушедших из страны после начала полномасштабной войны.

@… Best kind.

#TheAmazingDigitalCircus Episode 4: No words to describe how amazing this is, amazing in directing, in development, in everything else. It's the series best at the moment. Do yourself a favour and watch it now!
https://www.

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