home.social

#fol — Public Fediverse posts

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

  1. 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/

  2. @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