Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@dougmerritt@mathstodon.xyz
2024-11-20 22:50:46

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

@KraftTea@mastodon.social
2024-12-18 04:55:35

About those massive Russian losses of equipment near Kursk... looks like Ukraine released video of it.
Considering that Russia only has about 5-2 odds on that front, well... I don't think things are going all that well. Whatever gains they are making are just too expensive.

@dankeck@a11y.social
2024-12-16 02:40:29

Have you remediated a PDF file with Acrobat? Have you ever accidentally clicked "Autotag document" and wiped out your manual tagging?
If so, please consider voting to remove this action from the context menu.
#Acrobat #PDF

In Adobe Acrobat, the context menu when right clicking on a tag in the tags pane. The menu item named "Autotag document" is highlighted.
@kubikpixel@chaos.social
2024-12-11 16:00:05

Mastering Rust's Error Handling: A Guide to Writing Reliable Code
Rust's error handling system is a cornerstone of the language's commitment to writing safe and reliable code. As a Rust developer, I've come to appreciate the power and flexibility it offers. The system is designed to make error cases explicit, ensuring that developers consider and handle potential failure scenarios. […]
🦀

@luana@wetdry.world
2024-12-12 02:13:03

Okay I just discovered Technology Connections is on fedi (@…) and I’m literally so fucking happy now, why didn’t I check their YouTube about section earlier