Tootfinder

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

No exact results. Similar results found.
@dougmerritt@mathstodon.xyz
2024-11-19 16:57:30

@…
'A rare copy for sale of "Lisp Style and Design" by Molly Miller and Eric Benson (Digital Press, 1990), a great book cited by Paul Graham in On Lisp that covers often overlooked topics. All the proceeds will be donated to the Medley Interlisp Project.'

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

@mf@est.social
2024-09-01 11:29:15

Esimesel septembril on mitu asja, millest peaks rääkima. Esiteks muidugi see, et algab kool, meil on Pärtel Piirimäe ja Erki Tammiksaarega koos tulemas kursus "Tartu ülikool ja Euroopa ülikoolimõtte ajalugu". Materjali hulk selle kursuse jaoks on tohutu, peamine raskus seisneb selles, et välja valida, mis on vältimatult oluline. Eks näis.
Teiseks on mul tõeliselt hea meel, et Theatrum ja Lembit Peterson võtavad lavastada näidendi David Kellnerist (mille ma nende palvel kirjut…

Parim võimalik muusika: David Kellneri pärandus muusikaline ring