Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

2.8K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.8

#CLP

0 posts0 participants0 posts today
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>
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>
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/88387308-46c8-42e5-98da-bc8aa6e30740" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mobilizon.fr/events/88387308-4</span><span class="invisible">6c8-42e5-98da-bc8aa6e30740</span></a></p>
Jeux sur Nantes<p><strong>🎮 Samedi 19/4 13h : Jeux Vidéo avec le CLP</strong></p> 19 avril 2025, 13:00:00 CEST - GMT+2 - CGT - Union Départementale 44, Nantes, Loire-Atlantique, France <p><a href="https://mobilizon.fr/events/4e1402fe-e86b-4881-ba10-c91c970f85e7" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mobilizon.fr/events/4e1402fe-e</span><span class="invisible">86b-4881-ba10-c91c970f85e7</span></a></p>
Hacker News<p>CLP Calculus Textbooks</p><p><a href="https://personal.math.ubc.ca/~CLP/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">personal.math.ubc.ca/~CLP/</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/CLP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CLP</span></a> <a href="https://mastodon.social/tags/Calculus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Calculus</span></a> <a href="https://mastodon.social/tags/Textbooks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Textbooks</span></a> <a href="https://mastodon.social/tags/education" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>education</span></a> <a href="https://mastodon.social/tags/calculus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>calculus</span></a> <a href="https://mastodon.social/tags/textbooks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>textbooks</span></a> <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mastodon.social/tags/resources" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>resources</span></a> <a href="https://mastodon.social/tags/learning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>learning</span></a></p>
Jeux sur Nantes<p><strong>♟️ Dimanche 27/04 14h-18h : Jeux de Société avec le CLP</strong></p> 27 avril 2025, 14:00:00 CEST - GMT+2 - CGT - Union Départementale 44, Nantes, Loire-Atlantique, France <p><a href="https://mobilizon.fr/events/a854b97b-c145-4684-bf12-b6c8649aa280" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mobilizon.fr/events/a854b97b-c</span><span class="invisible">145-4684-bf12-b6c8649aa280</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" target="_blank" rel="nofollow noopener noreferrer" translate="no"><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="tag">#<span>CLP</span></a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="tag">#<span>Coq</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="tag">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="tag">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="tag">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="tag">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="tag">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="tag">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="tag">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="tag">#<span>Rocq</span></a> <a href="https://mathstodon.xyz/tags/TeXLaTeX" class="mention hashtag" rel="tag">#<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" target="_blank" rel="nofollow noopener noreferrer" translate="no"><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="tag">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="tag">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="tag">#<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" target="_blank" rel="nofollow noopener noreferrer" translate="no"><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="tag">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/ASP" class="mention hashtag" rel="tag">#<span>ASP</span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="tag">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="tag">#<span>CLP</span></a> <a href="https://mathstodon.xyz/tags/CommonLisp" class="mention hashtag" rel="tag">#<span>CommonLisp</span></a> <a href="https://mathstodon.xyz/tags/Datalog" class="mention hashtag" rel="tag">#<span>Datalog</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="tag">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="tag">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="tag">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Mace" class="mention hashtag" rel="tag">#<span>Mace</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="tag">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Otter" class="mention hashtag" rel="tag">#<span>Otter</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="tag">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="tag">#<span>Prover9</span></a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="tag">#<span>SMT</span></a> <a href="https://mathstodon.xyz/tags/Z3" class="mention hashtag" rel="tag">#<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" target="_blank" rel="nofollow noopener noreferrer" translate="no"><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="tag">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="tag">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/ASP" class="mention hashtag" rel="tag">#<span>ASP</span></a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="tag">#<span>CLP</span></a> <a href="https://mathstodon.xyz/tags/Datalog" class="mention hashtag" rel="tag">#<span>Datalog</span></a></p>
David C. Norris 🇺🇦<p>AN EXECUTABLE SPECIFICATION:</p><p>One crucial source of stimuli to the technical developments I&#39;ll present here was a collaboration with Markus Triska on the first-ever executable specification for the archetypal and ubiquitous &#39;3+3&#39; dose-escalation design: <a href="http://arxiv.org/abs/2402.08334" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">http://</span><span class="">arxiv.org/abs/2402.08334</span><span class="invisible"></span></a>.</p><p>Although we made no overt efforts toward dose individualization in that work, our focus there — achieving generalizability through the abstraction of underlying judgments implicit in the 3+3 protocol — has carried forward into the present work in ways that will be obvious.</p><p>Even aside from these conceptual inspirations, the availability of an executable specification for a dose-escalation design has been indispensable for providing &#39;experimental data&#39; to the present work. And, as I will explain presently, even the basic accounting structure we developed there carries forward as the objects of a category.</p><p><a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="tag">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="tag">#<span>CLP</span></a></p>
John :au: :60: :05: :12: :hb:<p>NT <a href="https://fairdinkum.one/tags/CLP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CLP</span></a> government 'dismantles' <a href="https://fairdinkum.one/tags/treaty" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>treaty</span></a> plans, ending seven-year process</p><p>The decision has been met with disappointment by long-term fighters for a treaty.</p><p>Michael Gunner agreed in 2018 to set up a treaty with <a href="https://fairdinkum.one/tags/Aboriginal" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Aboriginal</span></a> people.</p><p>Opposition Leader Selena Uibo, a former treaty minister under the former Labor government, said the abandonment of treaty ignored 30 years of advocacy in the NT.</p><p> <a href="https://fairdinkum.one/tags/auspol" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>auspol</span></a> </p><p><a href="https://www.abc.net.au/news/2025-02-11/nt-clp-government-scraps-treaty-process/104918700" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">abc.net.au/news/2025-02-11/nt-</span><span class="invisible">clp-government-scraps-treaty-process/104918700</span></a></p>
Jeux sur Nantes<p><strong>Dimanche 16/02 17h-22h : MURDER PARTY avec le Club de Loisirs Populaire</strong></p> 16 février 2025, 18:45:00 CET - GMT+1 - Maison des syndicats (aile gauche), 44300, Nantes, France <p><a href="https://mobilizon.fr/events/54118185-0b74-4356-8d1d-fdd804d751d1" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mobilizon.fr/events/54118185-0</span><span class="invisible">b74-4356-8d1d-fdd804d751d1</span></a></p>
SENSIBILIZON en Loire-Atlantique<p><strong>Sam 7/12 16h00-18h00 : Club de Lecture Politique du CLP</strong></p> 7 décembre 2024, 16:00:00 CET - GMT+1 <p><a href="https://mobilizon.fr/events/43d39cbb-78bc-4e89-a906-bfeb1f1d4272" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mobilizon.fr/events/43d39cbb-7</span><span class="invisible">8bc-4e89-a906-bfeb1f1d4272</span></a></p>
Autrement et en Commun sur Nantes<p><strong>Mar 03/12 18h : Réunion trimestrielle du Club de Loisirs Populaire</strong></p> 3 décembre 2024, 18:00:00 CET - GMT+1 - Maison des Syndicats, 2 Place de la Gare de l'État (Nantes) <p><a href="https://mobilizon.fr/events/24e994cc-1830-4557-a379-57bd72ef0ff6" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mobilizon.fr/events/24e994cc-1</span><span class="invisible">830-4557-a379-57bd72ef0ff6</span></a></p>
SearchLive feeds
About