Tootfinder

wenn der Turmbahnhof #SendlingerTor jetzt als der perfekte Escape Room in der #UBahnMünchen gilt, dann ist das #Stachus-Untergeschoss der perfekte Mister-X-Schauplatz in

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

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

J'ai réussi Š compiler / lancer une application Capacitor sur un émulateur iOS sur l'offre #Scaleway Apple Silicon M1
J'ai essayé d'automatiser au mieux le provisioning des requirements de #Capacitor

Carrd is having its Black Friday sale. Today is the perfect day to Try Carrd and build a website of your own especially as social media continues to fragment. use my code "adjb" for a discount.
https://try.carrd.co/adjb

Choose a Starting Point - Carrd
Templates

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

Phenomenologies of Religious Experience
This series invites proposals in classical phenomenology, French phenomenology, pre- and post-phenomenologies, and in methodologies that bridge phenomenology and analytic philosophy. The relation between phenomenology and religious experience can be considered in a variety of modes: epistemic (phenomenology as a "rigorous science" of religious experience in Husserl's sense); ontic (phenomenology as a way to access the core motive, or regulative ideal, of religion); analogical (phenomenological …

Almost noticed this too late, and I would’ve been greatly upset if I had missed it: Voting for the #Latin Word of the Year 2024 has started, with candidates curated from the new (“newly discovered”?!) words added to the Thesaurus linguae Latinae! Make sure y’all vote!!
htt…

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

AI and the Ends of Humanity: Thinking Theologically after ChatGPT
The advent of increasingly sophisticated and potentially autonomous forms of artificial intelligence poses a challenge to understandings of the human place in the cosmos in ways perhaps as profound as the Copernican Revolution.  And while artificial general intelligence is not yet and may never be a reality, digital technologies are already introducing powerful new possibilities for deception, surveillance, and bias, exacerbating polarization, and changing the meaning of intimacy, care, creati…

Fast zu spät bemerkt, und das hätte mich richtig geärgert: Die Wahl des #Latein-Worts des Jahres 2024 steht an, aus der vom Thesaurus linguae Latinae kuratierten Auswahl neu aufgenommener („entdeckter“?!) Wörter! Unbedingt alle abstimmen!!
https://pa…