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 …

@mszll@datasci.social
2024-11-14 13:55:10

Follow me on bluesky here: bsky.app/profile/mszll.datasci
(My posts from Mastodon will be bridged to there)

@relcfp@mastodon.social
2024-11-21 11:58:11

[ April 10, 2025 - April 11, 2025] Conference or similar: AI and the Ends of Humanity: Thinking Theologically after ChatGPT philevents.org/event/show/1250

@KraftTea@mastodon.social
2024-12-17 23:40:23

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.

@mela@zusammenkunft.net
2024-10-24 00:58:48

Aust dann jetzt auch voll im Film. Man muss sich das mal auf der Zunge zergehen lassen. Menschen, die mal gegen Homöopathie gekämpft haben, also DAFÜR arbeiteten, dass es Menschen besser geht, weil sie adäquat und wirksam behandelt werden, verlegen sich nun darauf, Gruppen, die sagen "hier gibts es ein Problem, wenn wir das Problem beseitigen, gehts uns besser" nachzuweisen, dass es das Problem nicht gibt.
Von der Arbeit FÜR Menschen, straight in die Arbeit GEGEN Menschen. <…

@toxi@mastodon.thi.ng
2024-10-11 23:07:59

Ever since having had a chance to use a microWAVE for a few productions in the 90s, I always had a softspot for Waldorf synths because of their spectrally rich & interesting sound character (and their design had a big impact on the few synth engines I coded myself)... Eyeing again their Iridium desktop synth, which with their wavetable, sample, granular or resonator-based oscillators and ample filter and modulation features is also so fresh, innovative & powerful (even though it'…

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

@nerdsitu@datasci.social
2024-11-12 20:14:58

NERDS leave X, join Bluesky and LinkedIn
nerds.itu.dk/2024/11/12/nerds-
*The media’s the most powerful entity on earth. They have the power to make the innocent guilty and to make the guilty innocen…

@luana@wetdry.world
2024-12-10 19:11:38

I see that HomeAsaistent is way more powerful than HomeBridge. Can it also add its HA devices and stuff to the HomeKit Home app like HomeBridge can tho?

@kurtsh@mastodon.social
2024-12-07 17:46:35

Crap, we may have a problem.
#masks #disguises