#ilp — Public Fediverse posts

Why is ILP important for Meghalaya? KSU raises demand during Amit Shah’s Shillong visit https://english.mathrubhumi.com/news/india/ksu-demands-ilp-implementation-amit-shah-shillong-visit-kjcbvnld?utm_source=dlvr.it&utm_medium=mastodon #Meghalaya #Shillong #AmitShah #ILP #KSU

Neljäs kerta toden sanoo auton latauspistokkeen kanssa?

No ehkä joo, mutta samalla huomasivat, että autotallin ilp pätkii sulakkeita. 😂

Onneksi on saman firman laite, niin tulevat sitten sen korjaamaan varmaankin takuuseen.

Voi hyvä luoja mikä saaga. 🙄

#sähköt #ilp

..

2/ #IndependentLabourParty: Colne Valley by-election, 18 July 1907.
https://en.wikipedia.org/wiki/1907_Colne_Valley_by-election

Won by Victor Grayson, the candidate of the Independent Labour Party (#ILP). Grayson's unresolved disappearance in 1920 has been linked to the widespread sale of honours by Maundy Gregory.

>>

Las mareas blancas andaluzas le enseñan la ‘puerta de salida’ a Juanma Moreno: reclamaron su «dimisión» por su «estrepitosa» gestión sanitaria en vísperas del Debate de Estado de la Comunidad

https://web.brid.gy/r/https://espacioandaluz.com/lo-publico/sanidad/mareas-blancas-andaluzas-le-ensenan-puerta-de-salida-a-juanma-moreno-reclamaron-su-dimision-gestion-sanitaria/?utm_source=rss&utm_medium=rss&utm_campaign=mareas-blancas-andaluzas-le-ensenan-puerta-de-salida-a-juanma-moreno-reclamaron-su-dimision-gestion-sanitaria

https://www.europesays.com/es/189998/ La tauromaquia y el «golpe de sociedad» de PP, Vox y PSOE #Bullfighting #CongresoDeLosDiputados #Deportes #ES #España #ilp #Spain #Sports #Tauromaquia #Toreo

🍉Izquierda Unida incluirá la retirada de la tauromaquia como patrimonio cultural en su programa electoral
https://carabanchel.net/izquierda-unida-incluira-la-retirada-de-la-tauromaquia-como-patrimonio-cultural-en-su-programa-electoral/
#Carabanchel #Madrid #ILP #Noesmicultura #patrimoniocultural #programaelectoral #tauromaquia #violenciacontralosanimales

De la misma manera que se boicoteó la vuelta ciclista a España para evitar el genocidio, tenemos la obligación moral de boicotear esta aberración y evitar que muera ni un animalito más víctima de estos miserables. Cerremos las plazas.
@PartidoPACMA #LiberacionAnimal #ILP #TotalLiberation #tauromaquia #RompiendoCadenas

#ILP para sacrificar a todos los miembros de un partido político cada vez que tengan un positivo por #corrupción.

Ilmalämpöpumpun (yli 10 v vanha) ohje kertoo, että jäähdytyksen jälkeen kannattaa käyttää "Coil Dry"-toimintoa, ettei kennostoon jää kosteutta. Ei käytetty ikinä. Viime kesän lopulla lisäsin #kotiautomaatio 'n ILPin ohjaukseen, että jäähdytyksen jälkeen Coil Dry käynnistyy automaattisesti. #Ilp

Ilmalämpöpumpun (yli 10 v vanha) ohje kertoo, että jäähdytyksen jälkeen kannattaa käyttää "Coil Dry"-toimintoa, ettei kennostoon jää kosteutta. Ei käytetty ikinä. Viime kesän lopulla lisäsin #kotiautomaatio 'n ILPin ohjaukseen, että jäähdytyksen jälkeen Coil Dry käynnistyy automaattisesti. #Ilp

🏛️ ■ El PSOE plantea ir más allá de la ILP y regularizar a migrantes llegados a España antes de 2025 ■ "Por circunstancias excepcionales únicas" habilitaría a residir y trabajar en todo el territorio nacional, de cumplirse una serie de requisitos que se establecerían por Real Decreto.
https://www.huffingtonpost.es/politica/el-psoe-plantea-mas-alla-ilp-regularizar-migrantes-llegados-espana-2025.html?int=MASTODON_WORLD

#politica #psoe #erc #ilp #podemos #migrantes #sumar

Michael Douglas’ American Play Company, Storied Firm That Once Repped George Bernard Shaw, Is Acquired By International Literary Properties
#News #AmericanPlayCompany #Broadway #ILP #InternationalLiteraryPartners #Mergersandacquisitions #MichaelDouglas

https://deadline.com/2025/03/michael-douglas-american-play-company-acquired-international-literary-properties-1236353323/

Pues genial y muy saludable:
La voz de la sociedad española ha resonado con fuerza: la Iniciativa Legislativa Popular (ILP) “No Es Mi Cultura” ha entregado 715.606 firmas —un 42% más de lo requerido— para exigir la retirada de la tauromaquia como patrimonio cultural.
https://www.animanaturalis.org/n/46804
#AnimaNaturalis #NoEsMiCultura #NoMaltratoAnimal #ILP

Исследователи придумали, как использовать LLM в больших проектах и не облажаться — встречайте ILP

Большие языковые модели (LLM) демонстрируют впечатляющие возможности в генерации кода, но их применение в сложных проектах часто сталкивается с проблемами надежности и консистентности. Рассмотрим Interoperable Literate Programming (ILP) — новый подход, использующий принципы грамотного программирования и язык Scheme для структурирования процесса генерации кода LLM. Узнайте, как ILP помогает преодолеть ограничения традиционных методов и может ли он стать решением для создания масштабных проектов с помощью ИИ.

https://habr.com/ru/articles/885938/

#LLM #искусственный_интеллект #разработка_с_помощью_ИИ #ILP #morgan #goldfish_schema #внедрение_ии #разработка_с_ии

📌La ILP ‘No es mi cultura’ hace historia con 715.000 firmas para eliminar el blindaje legal de la tauromaquia
https://carabanchel.net/la-ilp-no-es-mi-cultura-hace-historia-con-715-000-firmas-para-eliminar-el-blindaje-legal-de-la-tauromaquia/
#Carabanchel #Madrid #derogarlaley #firmas #ILP #Noesmicultura #tauromaquia

#ilp #noesmicultura

📦🏛 ¡ENTREGA DE FIRMAS!

Acompáñanos al acto de entrega de firmas de la ILP #NoEsMiCultura para eliminar la tauromaquia del patrimonio cultural.

¡Estamos haciendo historia, únete!

🗓 Lunes, 17 de febrero de 2025
⌚️ 10:00
📍Frente al Congreso de los Diputados.

🌊¡Te traemos un regalo y es nuestra nueva entrevista con María Teresa Vicente !

La ley del #MarMenor supone un cambio de paradigma en nuestra relación con la naturaleza que tiene detrás a miles de personas entre las que destaca una: María Teresa Vicente

Mira la entrevista completa en 👇🏼👇🏾🐚
https://sobreviviraldescalabro.org/maria-teresa-vicente/

@goldmanprize
#ilp🐋

Por separado no lo conseguiremos 🌽

#Derechos #Ecofeminismo #Ecologia #MarMenorEspaña #GoldmanPrize #DerechosDeLaNaturaleza

#LliureDirecte #Ahora hablamos de la #ILP #NoEsMiCultura en LLIURE DIRECTE http://lliuredirecte.info - RÀDIO KLARA 104.4FM #València http://www.radioklara.org

#LliureDirecte #Hui repàs als mitjans i xarxes socials, DESOCUPADES i PRECÀRIES, #ILP #NoEsMiCultura a LLIURE DIRECTE http://lliuredirecte.info - RÀDIO KLARA 104.4FM #València http://www.radioklara.org

“No es mi cultura” una ILP para retar a la tauromaquia

https://red.podkasts.org/t/129-no-es-mi-cultura-una-ilp-para-retar-a-la-tauromaquia/15224/2?u=icaria36

Otro programa interesantísimo de @lluviacontruenosradio

El espectáculo de la matanza de toros es anacrónico pero su protección y fomento (con millones de euros públicos gastados en frenar su declive) raya lo casposo. Un primer paso es derogar la correspondiente ley, y para eso hacen falta firmas.

Puedes firmar online en https://noesmicultura.org

#toros #tauromaquia #ilp #podkasts

Learning rules explaining interactive theorem proving tactic prediction. ~ Liao Zhang, David M. Cerna, Cezary Kaliszyk. https://arxiv.org/abs/2411.01188 #ILP #ITP #Coq

Readings shared October 26, 2024. https://jaalonso.github.io/vestigium/posts/2024/10/26-readings_shared_10-26-24 #ILP #LogicProgramming #AI #MachineLearning

Neuro-symbolic agent with ASP for robust exception learning in text-based games. ~ Kinjal Basu. http://platon.etsii.urjc.es/~jarias/ICLPWorkshops2024/short7GDE24.pdf #ILP #LogicProgramming #AI #MachineLearning

📌“Si la Asamblea de Madrid fuera un colegio los políticos trabajarían a 35 grados”
https://carabanchel.net/si-la-asamblea-de-madrid-fuera-un-colegio-los-politicos-trabajarian-a-35-grados/
#Carabanchel #Madrid #altastemperaturas #aulas #centroseducativos #climatización #FAPAGinerdelosRíos #ILP

📌Llegan a la Asamblea de Madrid las 70.895 firmas de la ILP para la climatización y adecuación de los centros educativos
https://carabanchel.net/llegan-a-la-asamblea-de-madrid-las-70-895-firmas-de-la-ilp-para-la-climatizacion-y-adecuacion-de-los-centros-educativos/
#Carabanchel #Madrid #70.895firmas #AsambleadeMadrid #centroseducativos #climatización #colegios #ILP

📌Arranca la recogida de firmas de la ILP para la climatización de los centros escolares públicos
https://carabanchel.net/arranca-la-recogida-de-firmas-de-la-ilp-para-la-climatizacion-de-los-centros-escolares-publicos/
#Carabanchel #Madrid #centrosescolarespúblicos #climatización #firmas #ILP #colegios

[Перевод] Исследователи приблизились к новому пределу скорости решения задачи коммивояжера

Целочисленное линейное программирование может помочь найти ответ на множество реальных проблем. Теперь исследователи нашли гораздо более быстрый способ это сделать. Задача коммивояжера — одна из старейших известных вычислительных задач. Она заключается в поиске кратчайшего маршрута через определённый список городов. Несмотря на кажущуюся простоту, проблема, как известно, сложна. И хотя вы можете использовать перебор, чтобы проверить все возможные маршруты, пока не найдете кратчайший путь, такая стратегия становится несостоятельной, уже когда в списке всего лишь несколько городов.

https://habr.com/ru/companies/first/articles/805233/

#проблема_коммивояжера #алгоритмы #вычислительная_сложность #линейная_алгебра #ILP

@lamarea
Y esto para saber más sobre la #RecogidaDeFirmas de la #ILP para desblindar la #tauromaquia
https://www.noesmicultura.org/es?referer=https%3A%2F%2Fwww.google.com%2F

Lecturas compartidas el 17 de marzo de 2024. https://jalonso.substack.com/lecturas-compartidas-el-17-de-marzo #ATP #CurryHoward #FunctionalProgramming #Haskell #ILP #ITP #LambdaCalculus #Lean4 #Logic #LogicProgramming #Math #Programming #Python

Scientific knowledge discovery using inductive logic programming. ~ Stephen Muggleton (1999). https://cacm.acm.org/research/scientific-knowledge-discovery-using-inductive-logic-programming/ #ILP

Lecturas compartidas el 16 de marzo de 2024. https://jalonso.substack.com/lecturas-compartidas-el-16-de-marzo #Coq #FormalVerification #ILP #ITP #IsabelleHOL #Lean4 #LogicProgramming #SMT #cvc5

Applications of inductive logic programming. ~ Ivan Bratko, Stephen Muggleton (1995). https://dl.acm.org/doi/pdf/10.1145/219717.219771 #ILP #LogicProgramming

"La condición de #migrante irregular constituye uno de los determinantes más devastadores de vulnerabilidad social y legal. La irregularidad impide el adecuado acceso a la justicia para las víctimas, limita el derecho a la salud y la educación, multiplica las posibilidades de vivir en la pobreza y deja al trabajador desprotegido frente a la explotación."
#regularizacion #ilp #españa

Regularizar para transformar un modelo migratorio roto en España, Gonzalo Fanjul.
EL PAÍS
https://elpais.com/planeta-futuro/2024-03-12/regularizar-para-transformar-un-modelo-migratorio-roto-en-espana.html

Inductive programming meets the real world (Inductive programming can liberate users from performing tedious and repetitive tasks). ~ Sumit Gulwani, José Hernández-Orallo, Emanuel Kitzelmann, Stephen H. Muggleton, Ute Schmid, and Benjamin Zorn. https://cacm.acm.org/research/inductive-programming-meets-the-real-world/ #InductiveProgramming #ILP #IFP

‘Camomile Lawn’ Novelist’s Estate Snapped Up By ILP; ‘Happy Valley’ RTS; Stephen Rea Award; Warner Bros. Pictures Boards ‘Under Parallel Skies’ – Global Briefs
#News #GlobalBriefs #IFTAs #ILP #MaryWesley #RTS #WarnerBrosPictures

https://deadline.com/2024/03/camomile-lawn-mary-wesley-ilp-global-briefs-1235848657/

#ERC abstenint-se en la votació a la mesa del #parlament sobre l'acceptació, o no, de la #ilp sobre la declaració d'#independencia...

Puc entendre que ERC vulgui romandre al #poder sense gaires maldecaps i així continuar amb tot de gent col·locada a la menjadora pública, però els seus votants, que en treuen de votar aquesta colla de "trepas" que no tenen on anar?

#IlpIndependencia

Hmmm ... 🤔

Integer linear programming can help find the answer to a variety of real-world problems. Now researchers have found a much faster way to do it. https://www.quantamagazine.org/researchers-approach-new-speed-limit-for-seminal-problem-20240129/ #ILP #math

A nice 1934 leaflet from the archives of the Independent Labour Party. "What is fascism?"

#fascism #antifa #socialism #IndependentLabourParty #ILP

¡No más muertes por desahucio! @Luis_De_Guindos Admitan #ILP

¡No más muertes por desahucio! @Gallardon Admitan #ILP

¡No más muertes por desahucio! @mdcospedal Admitan #ILP

¡No más muertes por desahucio! @MarianoRajoy Admitan #ILP