AnalyticSort
@phialgorithm.bsky.social
Formal methods enthusiast and wannabe logician.
O que teria de bacana em Serial Experiments Lain que já não tem nos romances de um cara chapado no gnosticismo como Philip K Dick?
December 28, 2025 at 3:13 PM
O que teria de bacana em Serial Experiments Lain que já não tem nos romances de um cara chapado no gnosticismo como Philip K Dick?
I would love to read a science fiction story exploring the implications of Curry-Howard isomorphism, and the only writer I know capable of doing so is you, @gregegansf.bsky.social
December 27, 2025 at 3:18 AM
I would love to read a science fiction story exploring the implications of Curry-Howard isomorphism, and the only writer I know capable of doing so is you, @gregegansf.bsky.social
Esse vídeo é simplesmente uma aula, muito bom
youtu.be/KIrUSHnVWJc?...
youtu.be/KIrUSHnVWJc?...
“Rashoumon” e A Negação do Samurai
YouTube video by Ilha Kaijuu
youtu.be
December 27, 2025 at 2:52 AM
Esse vídeo é simplesmente uma aula, muito bom
youtu.be/KIrUSHnVWJc?...
youtu.be/KIrUSHnVWJc?...
Adoro as capas promocionais da trilogia do homem-aranha do Sam Raimi. Elas tem um tom hipnótico muito interessante por conta do realce da luz do pôr do sol.
December 26, 2025 at 3:09 PM
Adoro as capas promocionais da trilogia do homem-aranha do Sam Raimi. Elas tem um tom hipnótico muito interessante por conta do realce da luz do pôr do sol.
Cláudio Costa sempre está poucas ideia
youtube.com/shorts/YCTOE...
youtube.com/shorts/YCTOE...
Claudio Costa: NON TERRAE PLUS ULTRA!
YouTube video by Claudio Costa
youtube.com
December 25, 2025 at 12:04 PM
Cláudio Costa sempre está poucas ideia
youtube.com/shorts/YCTOE...
youtube.com/shorts/YCTOE...
Se o lance todo fosse capturar como a vida realmente é então esses romances desprovidos de enredo onde não acontece merda nenhuma seriam o ápice da literatura.
December 24, 2025 at 3:23 AM
Se o lance todo fosse capturar como a vida realmente é então esses romances desprovidos de enredo onde não acontece merda nenhuma seriam o ápice da literatura.
Eu ainda estou longe de ser um entendedor de fato mas considero a lógica construtiva um negócio realmente muito bonito, é um dos raros terrenos do conhecimento humano onde preocupações formais se entrelaçam com preocupações filosóficas de maneira tão indissociável.
December 23, 2025 at 11:05 PM
Eu ainda estou longe de ser um entendedor de fato mas considero a lógica construtiva um negócio realmente muito bonito, é um dos raros terrenos do conhecimento humano onde preocupações formais se entrelaçam com preocupações filosóficas de maneira tão indissociável.
Cláudio Costa com saudade da sua roça mítica (os anos iniciais da filosofia analítica)
youtu.be/P3gNo9BYhmI?...
youtu.be/P3gNo9BYhmI?...
CFC: FILOSOFIA ANALÍTICA: DA DECADÊNCIA AO DESASTRE
YouTube video by Claudio Costa
youtu.be
December 23, 2025 at 6:51 PM
Cláudio Costa com saudade da sua roça mítica (os anos iniciais da filosofia analítica)
youtu.be/P3gNo9BYhmI?...
youtu.be/P3gNo9BYhmI?...
Ultimamente ando pensando no lance todo de construir narrativas fantásticas como se elas fossem enigmas lógicos, na linha do que é feito aqui
criticanarede.com/tartaruga.html
criticanarede.com/tartaruga.html
O que a Tartaruga disse a Aquiles
criticanarede.com
December 23, 2025 at 2:20 PM
Ultimamente ando pensando no lance todo de construir narrativas fantásticas como se elas fossem enigmas lógicos, na linha do que é feito aqui
criticanarede.com/tartaruga.html
criticanarede.com/tartaruga.html
Lendo Os Fundamentos da Aritmética e tal. O Frege expõe a posição empirista do Mill sobre a matemática como se ela fosse excessivamente ingênua. Fico me perguntando se não há um pouco de caricatura aqui.
December 23, 2025 at 12:40 PM
Lendo Os Fundamentos da Aritmética e tal. O Frege expõe a posição empirista do Mill sobre a matemática como se ela fosse excessivamente ingênua. Fico me perguntando se não há um pouco de caricatura aqui.
Necessito cheirar a barriguinha de um gato filhote pra curar minha tristeza
December 22, 2025 at 8:49 PM
Necessito cheirar a barriguinha de um gato filhote pra curar minha tristeza
Thorfinn_adventista
December 22, 2025 at 7:44 PM
Thorfinn_adventista
AI assisted (Grok 4)
December 22, 2025 at 1:04 AM
AI assisted (Grok 4)