mastodon.uno è uno dei tanti server Mastodon indipendenti che puoi usare per partecipare al fediverso.
Mastodon.Uno è la principale comunità mastodon italiana. Con 77.000 iscritti è il più grande nodo Mastodon italiano: anima ambientalista a supporto della privacy e del mondo Open Source.

Statistiche del server:

6,2K
utenti attivi

#CLP

0 post0 partecipanti0 post oggi
Hamburg Werbefrei<p>Dagegenhalten geht natürlich auch durch das Setzen eigener Argumente - z.B. ist der <a href="https://bewegung.social/tags/Energieverbrauch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Energieverbrauch</span></a> der Bildschirme enorm.</p><p>Es lohnt sich immer wieder, darauf hinzuweisen, dass selbst ein einzelner Bildschirm im <a href="https://bewegung.social/tags/CLP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CLP</span></a>-Format (ca. 2 Quadratmeter) soviel Strom verpulvert wie mehrere Single-Haushalte - wegen der enormen Leuchtkraft.</p>
Doviro2023<p>11 Mai : Manifestation nationale pour la Palestine <a href="https://www.clp-kvd.org/2025/04/11-mai-manifestation-nationale-pour-la-palestine/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">clp-kvd.org/2025/04/11-mai-man</span><span class="invisible">ifestation-nationale-pour-la-palestine/</span></a> <a href="https://mastodon.social/tags/Apartheid" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Apartheid</span></a>, <a href="https://mastodon.social/tags/CLP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CLP</span></a>-KV, <a href="https://mastodon.social/tags/G%C3%A9nocide" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Génocide</span></a>, <a href="https://mastodon.social/tags/Palestine" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Palestine</span></a></p>
Danse sur Nantes !<p><strong>Vendredi 13/6 19h-20h30 : Rock avec le CLP</strong></p> 13 juin 2025, 19:00:00 CEST - GMT+2 - Maison des syndicats, aile gauche, 44300, Nantes, France <p><a href="https://mobilizon.fr/events/1e576049-222e-4505-adff-449f4dd1fd13" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mobilizon.fr/events/1e576049-2</span><span class="invisible">22e-4505-adff-449f4dd1fd13</span></a></p>
Danse sur Nantes !<p><strong>Dimanche 08/6 19h-20h30 : Rock avec Le Club de Loisirs Populaire</strong></p> 8 juin 2025, 19:00:00 CEST - GMT+2 - Maison des syndicats, aile gauche, 44300, Nantes, France <p><a href="https://mobilizon.fr/events/9663a20d-0a6a-4e50-b059-baf6ef32f7e0" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mobilizon.fr/events/9663a20d-0</span><span class="invisible">a6a-4e50-b059-baf6ef32f7e0</span></a></p>
Danse sur Nantes !<p><strong>Dimanche 08/6 19h-20h30 : Rock avec Le Club de Loisirs Populaire</strong></p> 8 juin 2025, 19:00:00 CEST - GMT+2 - Maison des syndicats, aile gauche, 44300, Nantes, France <p><a href="https://mobilizon.fr/events/49b40913-e88d-4af1-8d2f-8598c604ad7f" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mobilizon.fr/events/49b40913-e</span><span class="invisible">88d-4af1-8d2f-8598c604ad7f</span></a></p>
Danse sur Nantes !<p><strong>Vendredi 16/5 19h-20h30 : Rock avec Le Club de Loisirs Populaire</strong></p> 16 mai 2025, 19:00:00 CEST - GMT+2 - Maison des syndicats, aile gauche, 44300, Nantes, France <p><a href="https://mobilizon.fr/events/c0f971d5-ac8e-41af-8c54-4dd5e06a8dcd" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mobilizon.fr/events/c0f971d5-a</span><span class="invisible">c8e-41af-8c54-4dd5e06a8dcd</span></a></p>
Danse sur Nantes !<p><strong>Vendredi 18/4 19h-20h30 : Rock avec Le Club de Loisirs Populaire</strong></p> 18 avril 2025, 19:00:00 CEST - GMT+2 - Maison des syndicats, aile gauche, 44300, Nantes, France <p><a href="https://mobilizon.fr/events/0984e909-634d-4d98-9458-da3bc6c2751d" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mobilizon.fr/events/0984e909-6</span><span class="invisible">34d-4d98-9458-da3bc6c2751d</span></a></p>
Danse sur Nantes !<p><strong>Vendredi 18/4 19h-20h30 : Rock avec Le Club de Loisirs Populaire</strong></p> 18 avril 2025, 19:00:00 CEST - GMT+2 - Maison des syndicats, aile gauche, 44300, Nantes, France <p><a href="https://mobilizon.fr/events/d9cecc48-013b-474d-b2db-c6a5e9906d70" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mobilizon.fr/events/d9cecc48-0</span><span class="invisible">13b-474d-b2db-c6a5e9906d70</span></a></p>
José A. Alonso<p>Readings shared March 27, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/27-readings_shared_03-27-25" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/03/27-readings_shared_03-27-25</span></a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CLP</span></a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Coq</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Rocq</span></a> <a href="https://mathstodon.xyz/tags/TeXLaTeX" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TeXLaTeX</span></a></p>
José A. Alonso<p>Apuntes de programación lógica (Hasta Prolog y más allá). ~ Joaquín Arias. <a href="https://burjcdigital.urjc.es/server/api/core/bitstreams/c5a03eda-4615-4b16-a6ab-650bad265f1e/content" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">burjcdigital.urjc.es/server/ap</span><span class="invisible">i/core/bitstreams/c5a03eda-4615-4b16-a6ab-650bad265f1e/content</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CLP</span></a></p>
José A. Alonso<p>Readings shared March 18, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/18-readings_shared_03-18-25" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/03/18-readings_shared_03-18-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/ASP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ASP</span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CLP</span></a> <a href="https://mathstodon.xyz/tags/CommonLisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CommonLisp</span></a> <a href="https://mathstodon.xyz/tags/Datalog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Datalog</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Mace" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mace</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Otter</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prover9</span></a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SMT</span></a> <a href="https://mathstodon.xyz/tags/Z3" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Z3</span></a></p>
José A. Alonso<p>Teaching logic programming: a review. ~ Serhiy O. Semerikov, Iryna S. Mintii, Natalia V. Moiseienko. <a href="https://acnsci.org/journal/index.php/cte/article/view/838/860" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">acnsci.org/journal/index.php/c</span><span class="invisible">te/article/view/838/860</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/ASP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ASP</span></a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CLP</span></a> <a href="https://mathstodon.xyz/tags/Datalog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Datalog</span></a></p>
Doviro2023<p>Opinion libre. Israël : chantre de l’apartheid. <a href="https://www.clp-kvd.org/2025/03/opinion-libre-israel-chantre-de-lapartheid/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">clp-kvd.org/2025/03/opinion-li</span><span class="invisible">bre-israel-chantre-de-lapartheid/</span></a> <a href="https://mastodon.social/tags/Antis%C3%A9mitisme" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Antisémitisme</span></a>, <a href="https://mastodon.social/tags/Antisionisme" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Antisionisme</span></a>, <a href="https://mastodon.social/tags/CLP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CLP</span></a>-KVD, <a href="https://mastodon.social/tags/Israel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Israel</span></a>, <a href="https://mastodon.social/tags/Palestine" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Palestine</span></a>, <a href="https://mastodon.social/tags/Palestiniens" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Palestiniens</span></a>, <a href="https://mastodon.social/tags/Sionisme" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Sionisme</span></a></p>
Doviro2023<p>Carte Blanche&nbsp;: L'impunité d'Israël et la responsabilité de l'UE <a href="https://www.clp-kvd.org/2025/02/carte-blanche-limpunite-disrael-et-la-responsabilite-de-lue/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">clp-kvd.org/2025/02/carte-blan</span><span class="invisible">che-limpunite-disrael-et-la-responsabilite-de-lue/</span></a> <a href="https://mastodon.social/tags/CLP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CLP</span></a>-KVD, <a href="https://mastodon.social/tags/Gaza" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Gaza</span></a>, <a href="https://mastodon.social/tags/G%C3%A9nocide" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Génocide</span></a>, <a href="https://mastodon.social/tags/Israel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Israel</span></a>, <a href="https://mastodon.social/tags/Palestine" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Palestine</span></a>, <a href="https://mastodon.social/tags/UnionEurop%C3%A9enne" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>UnionEuropéenne</span></a></p>
Doviro2023<p>Palestine: manifestation nationale - Dimanche 26 janvier à14h00 <a href="https://www.clp-kvd.org/2025/01/palestine-manifestation-nationale-dimanche-26-janvier-a14h00/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">clp-kvd.org/2025/01/palestine-</span><span class="invisible">manifestation-nationale-dimanche-26-janvier-a14h00/</span></a> <a href="https://mastodon.social/tags/Antimilitarisme" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Antimilitarisme</span></a>, <a href="https://mastodon.social/tags/CLP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CLP</span></a>-KVD, <a href="https://mastodon.social/tags/Gaza" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Gaza</span></a>, <a href="https://mastodon.social/tags/G%C3%A9nocide" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Génocide</span></a>, <a href="https://mastodon.social/tags/Palestine" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Palestine</span></a></p>