home.social

#fol — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #fol, aggregated by home.social.

  1. Plongez dans la logique du premier ordre avec IFT6755 ! Une présentation claire et pédagogique de satisfiability et validity en FOL — parfait pour étudiant·e·s et curieux·ses. Exemples concrets et intuition pour maîtriser ces concepts essentiels. #FOL #Logique #Satisfiability #Validity #Informatique #Education #French #IFT6755
    classe.iro.umontreal.ca/videos

  2. Poco se habla de que FOL (formación y orientación laboral), materia común en fp, no sólo ha cambiado de nombre a "itinerario PERSONAL para la empleabilidad" sino que ha perdido todo rastro de derecho laboral y conciencia de clase para ser cosa de "entrepeneurs"
    #FOLcomparte #FOL

  3. Fur of love  - la label lanciata da #GreenPlanner nel 2022 - ha ormai "autocertificato" migliaia di capi d'epoca in pelle e pelliccia che sono stati salvati dalla discarica #gestionerifiuti #riuso #sostenibilità #upcycling #FOL

    greenplanner.it/2025/11/26/fur

  4. In attesa della nuova Fedora 43, in questi giorni aggiornamenti e upgrade per FOL, FedoraOnLine, il forum italiano per gli utenti Fedora.

    - Potenziata la VPS
    - Aggiornato il sistema da CentOS 7 ad AlmaLinux 10
    - Aggiornato Discourse alla versione 3, con tanto di chat
    Riconfigurato Mailjet (il servizio di consegna delle email)

    Buona Fedora a tutti!

    #fedora #fol #linux
    forum.fedoraonline.it/

  5. Tecnologías para un mundo nuevo II

    Bachillerato Popular IMPA, sábado, 19 de julio, 15:00 GMT-3

    Tecnologías para un mundo nuevo II

    🎉 Con mucho entusiasmo les compartimos que en julio se viene el segundo encuentro de formación y debate del Polo Técnico de Izquierda que dimos en llamar Tecnologías para un mundo nuevo.

    🦿 Será el sábado 19 de julio en el bachi del IMPA, donde tuvimos nuestro primer encuentro el año pasado.

    🦾 Esta vez, retomaremos nuestras conversaciones sobre la prefiguración tecnológica y tendremos además, como ejes, la inteligencia artificial y el futuro del trabajo, y el desarrollo de tecnologías en las luchas territoriales.

    👾 ¡Lxs esperamos! 👾

    vagancio.partidopirata.com.ar/

  6. Tecnologías para un mundo nuevo II

    Bachillerato Popular IMPA, sábado, 19 de julio, 15:00 GMT-3

    Tecnologías para un mundo nuevo II

    🎉 Con mucho entusiasmo les compartimos que en julio se viene el segundo encuentro de formación y debate del Polo Técnico de Izquierda que dimos en llamar Tecnologías para un mundo nuevo.

    🦿 Será el sábado 19 de julio en el bachi del IMPA, donde tuvimos nuestro primer encuentro el año pasado.

    🦾 Esta vez, retomaremos nuestras conversaciones sobre la prefiguración tecnológica y tendremos además, como ejes, la inteligencia artificial y el futuro del trabajo, y el desarrollo de tecnologías en las luchas territoriales.

    👾 ¡Lxs esperamos! 👾

    vagancio.partidopirata.com.ar/

  7. Tecnologías para un mundo nuevo II

    Bachillerato Popular IMPA, sábado, 19 de julio, 15:00 GMT-3

    Tecnologías para un mundo nuevo II

    🎉 Con mucho entusiasmo les compartimos que en julio se viene el segundo encuentro de formación y debate del Polo Técnico de Izquierda que dimos en llamar Tecnologías para un mundo nuevo.

    🦿 Será el sábado 19 de julio en el bachi del IMPA, donde tuvimos nuestro primer encuentro el año pasado.

    🦾 Esta vez, retomaremos nuestras conversaciones sobre la prefiguración tecnológica y tendremos además, como ejes, la inteligencia artificial y el futuro del trabajo, y el desarrollo de tecnologías en las luchas territoriales.

    👾 ¡Lxs esperamos! 👾

    vagancio.partidopirata.com.ar/

  8. Tecnologías para un mundo nuevo II

    Bachillerato Popular IMPA, sábado, 19 de julio, 15:00 GMT-3

    Tecnologías para un mundo nuevo II

    🎉 Con mucho entusiasmo les compartimos que en julio se viene el segundo encuentro de formación y debate del Polo Técnico de Izquierda que dimos en llamar Tecnologías para un mundo nuevo.

    🦿 Será el sábado 19 de julio en el bachi del IMPA, donde tuvimos nuestro primer encuentro el año pasado.

    🦾 Esta vez, retomaremos nuestras conversaciones sobre la prefiguración tecnológica y tendremos además, como ejes, la inteligencia artificial y el futuro del trabajo, y el desarrollo de tecnologías en las luchas territoriales.

    👾 ¡Lxs esperamos! 👾

    vagancio.partidopirata.com.ar/

  9. Tecnologías para un mundo nuevo II

    Bachillerato Popular IMPA, sábado, 19 de julio, 15:00 GMT-3

    Tecnologías para un mundo nuevo II

    🎉 Con mucho entusiasmo les compartimos que en julio se viene el segundo encuentro de formación y debate del Polo Técnico de Izquierda que dimos en llamar Tecnologías para un mundo nuevo.

    🦿 Será el sábado 19 de julio en el bachi del IMPA, donde tuvimos nuestro primer encuentro el año pasado.

    🦾 Esta vez, retomaremos nuestras conversaciones sobre la prefiguración tecnológica y tendremos además, como ejes, la inteligencia artificial y el futuro del trabajo, y el desarrollo de tecnologías en las luchas territoriales.

    👾 ¡Lxs esperamos! 👾

    vagancio.partidopirata.com.ar/

  10. Presentación del Manual Anti-represivo. Herramientas militantes desde la praxis jurídica

    Presentación del Manual Anti-represivo.

    Herramientas militantes desde la praxis juridica

    ¡Por favor! Que el adiós no se alargue me cansé de tanto esperar cuando el fuego crezca quiero estar alli

    Esta es una iniciativa de La Ciega -Colectivo de Abogades Populares- […]

    📅 5/6/2025 ⏰ 18:00
    📌 Facultad de Ciencias Sociales UBA 🗺 Mapa
    #caba #universidad_piquetera #Buenos_Aires #marabunta #presentación_de_libro #colectivo_de_abogados_populares_la_ciega #manual_antirrepresivo #fol

    👉 Más información en vagancio pirato
    Reenviado desde Vagancio Agenda Popular
    (https://t.me/experienciainterdimensional/8120)

  11. Presentación del Manual Anti-represivo. Herramientas militantes desde la praxis jurídica

    Presentación del Manual Anti-represivo.

    Herramientas militantes desde la praxis juridica

    ¡Por favor! Que el adiós no se alargue me cansé de tanto esperar cuando el fuego crezca quiero estar alli

    Esta es una iniciativa de La Ciega -Colectivo de Abogades Populares- […]

    📅 5/6/2025 ⏰ 18:00
    📌 Facultad de Ciencias Sociales UBA 🗺 Mapa
    #caba #universidad_piquetera #Buenos_Aires #marabunta #presentación_de_libro #colectivo_de_abogados_populares_la_ciega #manual_antirrepresivo #fol

    👉 Más información en vagancio pirato
    Reenviado desde Vagancio Agenda Popular
    (https://t.me/experienciainterdimensional/8120)

  12. Presentación del Manual Anti-represivo. Herramientas militantes desde la praxis jurídica

    Presentación del Manual Anti-represivo.

    Herramientas militantes desde la praxis juridica

    ¡Por favor! Que el adiós no se alargue me cansé de tanto esperar cuando el fuego crezca quiero estar alli

    Esta es una iniciativa de La Ciega -Colectivo de Abogades Populares- […]

    📅 5/6/2025 ⏰ 18:00
    📌 Facultad de Ciencias Sociales UBA 🗺 Mapa
    #caba #universidad_piquetera #Buenos_Aires #marabunta #presentación_de_libro #colectivo_de_abogados_populares_la_ciega #manual_antirrepresivo #fol

    👉 Más información en vagancio pirato
    Reenviado desde Vagancio Agenda Popular
    (https://t.me/experienciainterdimensional/8120)

  13. Presentación del Manual Anti-represivo. Herramientas militantes desde la praxis jurídica

    Presentación del Manual Anti-represivo.

    Herramientas militantes desde la praxis juridica

    ¡Por favor! Que el adiós no se alargue me cansé de tanto esperar cuando el fuego crezca quiero estar alli

    Esta es una iniciativa de La Ciega -Colectivo de Abogades Populares- […]

    📅 5/6/2025 ⏰ 18:00
    📌 Facultad de Ciencias Sociales UBA 🗺 Mapa
    #caba #universidad_piquetera #Buenos_Aires #marabunta #presentación_de_libro #colectivo_de_abogados_populares_la_ciega #manual_antirrepresivo #fol

    👉 Más información en vagancio pirato
    Reenviado desde Vagancio Agenda Popular
    (https://t.me/experienciainterdimensional/8120)

  14. Presentación del Manual Anti-represivo. Herramientas militantes desde la praxis jurídica

    Presentación del Manual Anti-represivo.

    Herramientas militantes desde la praxis juridica

    ¡Por favor! Que el adiós no se alargue me cansé de tanto esperar cuando el fuego crezca quiero estar alli

    Esta es una iniciativa de La Ciega -Colectivo de Abogades Populares- […]

    📅 5/6/2025 ⏰ 18:00
    📌 Facultad de Ciencias Sociales UBA 🗺 Mapa
    #caba #universidad_piquetera #Buenos_Aires #marabunta #presentación_de_libro #colectivo_de_abogados_populares_la_ciega #manual_antirrepresivo #fol

    👉 Más información en vagancio pirato
    Reenviado desde Vagancio Agenda Popular
    (https://t.me/experienciainterdimensional/8120)

  15. Presentación del Manual Anti-represivo. Herramientas militantes desde la praxis jurídica

    Facultad de Ciencias Sociales UBA, jueves, 5 de junio, 18:00 GMT-3

    Presentación del Manual Anti-represivo.

    Herramientas militantes desde la praxis juridica

    ¡Por favor! Que el adiós no se alargue me cansé de tanto esperar cuando el fuego crezca quiero estar alli

    Esta es una iniciativa de La Ciega -Colectivo de Abogades Populares- dirigida a "quienes desde hace años vienen organizándose y resistiendo las políticas de ajuste y saqueo, para quienes ya tienen el hábito de la militancia, y también para quienes se están sumando al activismo en el asfixiante contexto actual e incorporaron en su rutina acciones de resistencia".

    Nos interesa compartirlo en nuestro territorio, porque es la sumatoria de años de experiencia de organización y acompañamiento a procesos. Estos incluye la defensa a quienes son criminalizados por protestar en las rutas y calles, pero también por organizarse asambleariamente en los barrios. Sintetiza también el compromiso contra el hostigamiento y discriminación a migrantes y trabajadores informales que son corridos de sus lugares "porque hacen fea" la ciudad que se pretende para unxs pocos.

    vagancio.partidopirata.com.ar/

  16. Presentación del Manual Anti-represivo. Herramientas militantes desde la praxis jurídica

    Facultad de Ciencias Sociales UBA, jueves, 5 de junio, 18:00 GMT-3

    Presentación del Manual Anti-represivo.

    Herramientas militantes desde la praxis juridica

    ¡Por favor! Que el adiós no se alargue me cansé de tanto esperar cuando el fuego crezca quiero estar alli

    Esta es una iniciativa de La Ciega -Colectivo de Abogades Populares- dirigida a "quienes desde hace años vienen organizándose y resistiendo las políticas de ajuste y saqueo, para quienes ya tienen el hábito de la militancia, y también para quienes se están sumando al activismo en el asfixiante contexto actual e incorporaron en su rutina acciones de resistencia".

    Nos interesa compartirlo en nuestro territorio, porque es la sumatoria de años de experiencia de organización y acompañamiento a procesos. Estos incluye la defensa a quienes son criminalizados por protestar en las rutas y calles, pero también por organizarse asambleariamente en los barrios. Sintetiza también el compromiso contra el hostigamiento y discriminación a migrantes y trabajadores informales que son corridos de sus lugares "porque hacen fea" la ciudad que se pretende para unxs pocos.

    vagancio.partidopirata.com.ar/

  17. Presentación del Manual Anti-represivo. Herramientas militantes desde la praxis jurídica

    Facultad de Ciencias Sociales UBA, jueves, 5 de junio, 18:00 GMT-3

    Presentación del Manual Anti-represivo.

    Herramientas militantes desde la praxis juridica

    ¡Por favor! Que el adiós no se alargue me cansé de tanto esperar cuando el fuego crezca quiero estar alli

    Esta es una iniciativa de La Ciega -Colectivo de Abogades Populares- dirigida a "quienes desde hace años vienen organizándose y resistiendo las políticas de ajuste y saqueo, para quienes ya tienen el hábito de la militancia, y también para quienes se están sumando al activismo en el asfixiante contexto actual e incorporaron en su rutina acciones de resistencia".

    Nos interesa compartirlo en nuestro territorio, porque es la sumatoria de años de experiencia de organización y acompañamiento a procesos. Estos incluye la defensa a quienes son criminalizados por protestar en las rutas y calles, pero también por organizarse asambleariamente en los barrios. Sintetiza también el compromiso contra el hostigamiento y discriminación a migrantes y trabajadores informales que son corridos de sus lugares "porque hacen fea" la ciudad que se pretende para unxs pocos.

    vagancio.partidopirata.com.ar/

  18. Presentación del Manual Anti-represivo. Herramientas militantes desde la praxis jurídica

    Facultad de Ciencias Sociales UBA, jueves, 5 de junio, 18:00 GMT-3

    Presentación del Manual Anti-represivo.

    Herramientas militantes desde la praxis juridica

    ¡Por favor! Que el adiós no se alargue me cansé de tanto esperar cuando el fuego crezca quiero estar alli

    Esta es una iniciativa de La Ciega -Colectivo de Abogades Populares- dirigida a "quienes desde hace años vienen organizándose y resistiendo las políticas de ajuste y saqueo, para quienes ya tienen el hábito de la militancia, y también para quienes se están sumando al activismo en el asfixiante contexto actual e incorporaron en su rutina acciones de resistencia".

    Nos interesa compartirlo en nuestro territorio, porque es la sumatoria de años de experiencia de organización y acompañamiento a procesos. Estos incluye la defensa a quienes son criminalizados por protestar en las rutas y calles, pero también por organizarse asambleariamente en los barrios. Sintetiza también el compromiso contra el hostigamiento y discriminación a migrantes y trabajadores informales que son corridos de sus lugares "porque hacen fea" la ciudad que se pretende para unxs pocos.

    vagancio.partidopirata.com.ar/

  19. 😕 Danke @stdevel und dem „Focus on: Linux“-Team für 3 Jahre übertrieben gutem Content. Ich hab soviel Tools durch euch kennengelernt, durfte interessante undercover Sprecherrollen einnehmen und über OpenSource Keyboard Firmwares sprechen. Ich hattet stehts den Top-Platz in meiner Queue sicher! Ganz großer Podcast! :cyberheart_pink:

    chaos.social/@stdevel/11423692

    #FoL #Podcast

  20. #Quilts with #butterflies, 1st one measures 40 x 40 in (102 x 102 cm), 2nd one's 34 x 45 in (86 x 114 cm) , 3rd's 42 x 55 in (107 x 140 cm); msg me if you're interested in any of these lovely #handmade textile creations. Great gift for someone you love 🦋💕🦋💕🦋

    #quilt #quilter #quilters #quilting #artist #artists #artforsale #decor #interiordecorating #interiors #artwor #fol #folkart #butterfly #artmarket #artfinder #design #designing #interiordecor #mastoart #artistsonmastodon

  21. quelqu'un ici a déjà envoyé un dossier mdph (demande d'aah) dans l'Yonne? handi de type psy plus précisément, j'aimerais savoir vaguement à quoi m'en tenir avant d'envoyer le mien 🫠

    #mdph #handi #fol

  22. Une pote cherche une #coloc #queer et #fol friendly sur #Toulouse ! Est-ce que vous en connaissez ?

  23. @bblfish @josd @semwebpro @hochstenbach

    One thing I found out early on is how critical it is to get #AlphaGraphs (#BooleanFunctions, #PropositionalCalculus, #ZerothOrderLogic) down tight. If you do that it changes how you view #FOL (#PredicateCalculus, #QuantificationalLogic). That tends to rub people who view FOL as #GOL (#GodsOwnLogic) the wrong way so you have watch out for that if you go down this road.

    Here's a primer on \(\alpha\) #LogicalGraphs as I see them —
    oeis.org/w/index.php?title=Log

  24. @frederic @mmeier
    (Fuck Our Lives) 🥵🥵🥵

    Though it'll *only* be 33°C in my country regionally 🙃

  25. @Inquiry @hochstenbach

    Pat Hayes started his talk with the sentence "Putting logic on the web changes logic itself". So there is not an aim here to stick to #FOL at any price. I guess the proposal for #RDF Surfaces should at an instant in time be equivalent to FOL when only two types of surfaces are allowed: True and False ones. But of course there could be the set of surfaces published by one individual only, fictional, obligatory, ... ones. Without counting that surfaces change over time.

  26. Im Getränkemarkt, ich möchte eine Flasche Laphroaig 10 kaufen.

    Ich: Guten Tag, ich hätte gern den Lafroyg 10 aus dem Angebot.

    Verkäuferin: Den was bitte?

    Ich: Den Single Malt Lafroyg 10 aus dem Angebot.

    Verkäuferin: Ach, den Lafrack.

    #laphroaig #singlemalt #fol

  27. @ereliuer_eteer

    @philosophy
    @philosophie
    #philosophy

    It was #Kant suggesting that, where the #mathematician starts, #philosopher 's work is already done [Über die Deutlichkeit der Grundsätze... §1...]

    Of course in a formal system, say #FOL, #identity is simply the strictest equivalence relation, the unit classes of the domain being its equivalence classes. And yes, this is really elementary stuff, high school level, if you like. And no, that's not, why #philosophers at least since #Leibniz (and in a sense since #Parmenides), and more recently #Frege made a case for it.

    Typically math philosophical issues with identity from my point of view do include the question of indiscernibles, the sense of an identity statement wrt. redundance, the relation status of identity, ... open list