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 …

@relcfp@mastodon.social
2024-11-29 03:02:17

[ April 28, 2025] CFP for publication or other deadline: null philevents.org/event/show/1276

@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. […]
🦀

@kurtsh@mastodon.social
2024-12-07 01:41:58

The Microsoft Excel Collegiate Championship Finals will be broadcast on #ESPNU in January!
2024 Microsoft Excel Collegiate Challenge | ESPNU Tuesday, January 14 | 2:30 PM

@theawely@mamot.fr
2024-12-15 12:22:08

I’ve added caching and revamped the results interface of onthecitesof.info.

@relcfp@mastodon.social
2024-11-21 04:39:46

[ May 31, 2030] CFP for publication or other deadline: null philevents.org/event/show/1019