Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
ohai.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A cozy, fast and secure Mastodon server where everyone is welcome. Run by the folks at ohai.is.

Administered by:

Server stats:

1.8K
active users

ohai.social: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.0-nightly.2025-04-01

#CLP

6 posts2 participants0 posts today
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" 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" 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" 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" 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/88387308-46c8-42e5-98da-bc8aa6e30740" rel="nofollow noopener" 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>
Hacker News<p>CLP Calculus Textbooks</p><p><a href="https://personal.math.ubc.ca/~CLP/" rel="nofollow noopener" 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" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/CLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CLP</span></a> <a href="https://mastodon.social/tags/Calculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Calculus</span></a> <a href="https://mastodon.social/tags/Textbooks" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Textbooks</span></a> <a href="https://mastodon.social/tags/education" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>education</span></a> <a href="https://mastodon.social/tags/calculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>calculus</span></a> <a href="https://mastodon.social/tags/textbooks" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>textbooks</span></a> <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://mastodon.social/tags/resources" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>resources</span></a> <a href="https://mastodon.social/tags/learning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>learning</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" 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" target="_blank">#<span>CLP</span></a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Coq</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rocq</span></a> <a href="https://mathstodon.xyz/tags/TeXLaTeX" class="mention hashtag" rel="nofollow noopener" 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" 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" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CLP</span></a></p>
Doviro2023<p>Les tronçonneuses contre la science <a href="https://www.clp-kvd.org/2025/03/les-tronconneuses-contre-la-science/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">clp-kvd.org/2025/03/les-tronco</span><span class="invisible">nneuses-contre-la-science/</span></a> <a href="https://mastodon.social/tags/AILP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AILP</span></a>, <a href="https://mastodon.social/tags/CLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CLP</span></a>-KVD, <a href="https://mastodon.social/tags/D%C3%A9mocratie" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Démocratie</span></a>, <a href="https://mastodon.social/tags/FNLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FNLP</span></a>, <a href="https://mastodon.social/tags/Libert%C3%A9Acad%C3%A9mique" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LibertéAcadémique</span></a>, <a href="https://mastodon.social/tags/Libert%C3%A9Dexpression" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LibertéDexpression</span></a>, <a href="https://mastodon.social/tags/LibreExamen" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LibreExamen</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" 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" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/ASP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ASP</span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CLP</span></a> <a href="https://mathstodon.xyz/tags/CommonLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CommonLisp</span></a> <a href="https://mathstodon.xyz/tags/Datalog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Datalog</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Mace" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mace</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Otter" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Otter</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prover9</span></a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SMT</span></a> <a href="https://mathstodon.xyz/tags/Z3" class="mention hashtag" rel="nofollow noopener" 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" 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" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/ASP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ASP</span></a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CLP</span></a> <a href="https://mathstodon.xyz/tags/Datalog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Datalog</span></a></p>
Doviro2023<p>Rosa Luxemburg. Sa lutte inlassable contre les guerres et le capital <a href="https://www.clp-kvd.org/2025/03/rosa-luxemburg-sa-lutte-inlassable-contre-les-guerres-et-le-capital/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">clp-kvd.org/2025/03/rosa-luxem</span><span class="invisible">burg-sa-lutte-inlassable-contre-les-guerres-et-le-capital/</span></a> <a href="https://mastodon.social/tags/Antimilitarisme" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Antimilitarisme</span></a>, <a href="https://mastodon.social/tags/CLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CLP</span></a>-KVD, <a href="https://mastodon.social/tags/EmileVandervelde" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>EmileVandervelde</span></a>, <a href="https://mastodon.social/tags/Gr%C3%A8veG%C3%A9n%C3%A9rale" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GrèveGénérale</span></a>, <a href="https://mastodon.social/tags/POB" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>POB</span></a>, <a href="https://mastodon.social/tags/RosaLuxemburg" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RosaLuxemburg</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" 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" target="_blank">#<span>Antisémitisme</span></a>, <a href="https://mastodon.social/tags/Antisionisme" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Antisionisme</span></a>, <a href="https://mastodon.social/tags/CLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CLP</span></a>-KVD, <a href="https://mastodon.social/tags/Israel" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Israel</span></a>, <a href="https://mastodon.social/tags/Palestine" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Palestine</span></a>, <a href="https://mastodon.social/tags/Palestiniens" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Palestiniens</span></a>, <a href="https://mastodon.social/tags/Sionisme" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Sionisme</span></a></p>
Doviro2023<p>Attention, ne pas avaler ! <a href="https://www.clp-kvd.org/2025/03/attention-ne-pas-avaler/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">clp-kvd.org/2025/03/attention-</span><span class="invisible">ne-pas-avaler/</span></a> <a href="https://mastodon.social/tags/APED" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>APED</span></a>, <a href="https://mastodon.social/tags/CLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CLP</span></a>-KVD, <a href="https://mastodon.social/tags/Ecole" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Ecole</span></a>, <a href="https://mastodon.social/tags/Islamisme" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Islamisme</span></a>, <a href="https://mastodon.social/tags/La%C3%AFcit%C3%A9" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Laïcité</span></a></p>
Doviro2023<p>A lire : "Gouverner l’Islam en France", de Franck Frégosi <a href="https://www.clp-kvd.org/2025/02/a-lire-gouverner-lislam-en-france-de-franck-fregosi/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">clp-kvd.org/2025/02/a-lire-gou</span><span class="invisible">verner-lislam-en-france-de-franck-fregosi/</span></a> <a href="https://mastodon.social/tags/ChristianEyschen" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ChristianEyschen</span></a>, <a href="https://mastodon.social/tags/CLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CLP</span></a>-KVD, <a href="https://mastodon.social/tags/Concordat" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Concordat</span></a>, <a href="https://mastodon.social/tags/Islam" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Islam</span></a>, <a href="https://mastodon.social/tags/Islamophobie" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Islamophobie</span></a>, <a href="https://mastodon.social/tags/La%C3%AFcit%C3%A9" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Laïcité</span></a>, <a href="https://mastodon.social/tags/Racisme" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Racisme</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" 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" target="_blank">#<span>CLP</span></a>-KVD, <a href="https://mastodon.social/tags/Gaza" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Gaza</span></a>, <a href="https://mastodon.social/tags/G%C3%A9nocide" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Génocide</span></a>, <a href="https://mastodon.social/tags/Israel" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Israel</span></a>, <a href="https://mastodon.social/tags/Palestine" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Palestine</span></a>, <a href="https://mastodon.social/tags/UnionEurop%C3%A9enne" class="mention hashtag" rel="nofollow noopener" 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" 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" target="_blank">#<span>Antimilitarisme</span></a>, <a href="https://mastodon.social/tags/CLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CLP</span></a>-KVD, <a href="https://mastodon.social/tags/Gaza" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Gaza</span></a>, <a href="https://mastodon.social/tags/G%C3%A9nocide" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Génocide</span></a>, <a href="https://mastodon.social/tags/Palestine" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Palestine</span></a></p>
Doviro2023<p>De viris illustribus.... Wolfang Amadeus Mozart (27 janvier 1756- 5 décembre 1771) <a href="https://www.clp-kvd.org/2025/01/de-viris-illustribus-wolfang-amadeus-mozart-27-janvier-1756-5-decembre-1771/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">clp-kvd.org/2025/01/de-viris-i</span><span class="invisible">llustribus-wolfang-amadeus-mozart-27-janvier-1756-5-decembre-1771/</span></a> <a href="https://mastodon.social/tags/Aufkl%C3%A4rung" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Aufklärung</span></a>, <a href="https://mastodon.social/tags/CLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CLP</span></a>-KVD, <a href="https://mastodon.social/tags/LesLumi%C3%A8res" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LesLumières</span></a>, <a href="https://mastodon.social/tags/LibrePens%C3%A9e" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LibrePensée</span></a>, <a href="https://mastodon.social/tags/LP04" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LP04</span></a>, <a href="https://mastodon.social/tags/Mozart" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mozart</span></a>, <a href="https://mastodon.social/tags/R%C3%A9volutionFran%C3%A7aise" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RévolutionFrançaise</span></a></p>
Doviro2023<p>Le 9 février 1619, était exécuté Giulio Cesare Vanini <a href="https://www.clp-kvd.org/2025/02/le-9-fevrier-1619-etait-execute-giulio-cesare-vanini/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">clp-kvd.org/2025/02/le-9-fevri</span><span class="invisible">er-1619-etait-execute-giulio-cesare-vanini/</span></a> <a href="https://mastodon.social/tags/Ath%C3%A9isme" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Athéisme</span></a>, <a href="https://mastodon.social/tags/CLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CLP</span></a>-KVD, <a href="https://mastodon.social/tags/Inquisition" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Inquisition</span></a>, <a href="https://mastodon.social/tags/LibrePens%C3%A9e" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LibrePensée</span></a>, <a href="https://mastodon.social/tags/Vanini" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Vanini</span></a></p>
David C. Norris 🇺🇦<p>AN EXECUTABLE SPECIFICATION:</p><p>One crucial source of stimuli to the technical developments I'll present here was a collaboration with Markus Triska on the first-ever executable specification for the archetypal and ubiquitous '3+3' dose-escalation design: <a href="http://arxiv.org/abs/2402.08334" rel="nofollow noopener" translate="no" target="_blank"><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 'experimental data' 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="nofollow noopener" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CLP</span></a></p>
ExploreLive feeds
About