#ilp — Public Fediverse posts

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

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

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

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

🍉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

🍉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

🍉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

🍉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

🍉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

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/

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/

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/

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 #внедрение_ии #разработка_с_ии

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

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

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

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

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

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

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

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

Исследователи придумали, как использовать 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

📌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

📌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

📌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

🌊¡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

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

📌“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

📌“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

📌“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

📌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

📌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

📌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

📌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

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

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

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

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