what if ai, by making the complex path more bearable, makes us to stop looking for simpler paths? (maybe you could prove your result in Higher-Order Logic and would not need to learn category theory...)
October 21, 2025 at 5:31 PM
what if ai, by making the complex path more bearable, makes us to stop looking for simpler paths? (maybe you could prove your result in Higher-Order Logic and would not need to learn category theory...)
o protocolo é aberto justamente para permitir as pessoas se mudaram. agora já tem alguns PDS alternativos que nao dependem do BlueSky (mas continua se comunicando com quem tá aqui).
October 3, 2025 at 4:42 PM
o protocolo é aberto justamente para permitir as pessoas se mudaram. agora já tem alguns PDS alternativos que nao dependem do BlueSky (mas continua se comunicando com quem tá aqui).
já ouvi e gostei de "gororoba" como tradução para slop, porque tem essa qualidade amorfa e com um toque de algo de sabor ruim, mas sem personalidade ao mesmo tempo
September 23, 2025 at 10:46 PM
já ouvi e gostei de "gororoba" como tradução para slop, porque tem essa qualidade amorfa e com um toque de algo de sabor ruim, mas sem personalidade ao mesmo tempo