AnalyticSort @phialgorithm.bsky.social · 29/09/2026Pegando para ler um grande contista em busca de referências para minha escrita 000
AnalyticSort @phialgorithm.bsky.social · 28/09/2026O Skinner teria um treco se estivesse vivo hoje, até porque ciência cognitiva é bem mainstream 011
AnalyticSort @phialgorithm.bsky.social · 25/09/2026A parada é o seguinte: (aí começam a explicar o problema da parada) 000
AnalyticSort @phialgorithm.bsky.social · 24/09/2026youtu.be/sRsIwTYSdiY?...youtu.beOpenAI has solved "100 long-standing open problems"YouTube video by Alvaro Lozano-Robledo 000
AnalyticSort @phialgorithm.bsky.social · 22/09/2026Acho que até sei de qual servidor essas pessoas são 110
AnalyticSort @phialgorithm.bsky.social · 22/09/2026my9games.net/enmy9games.netChoose my 9 games | My 9 GamesChoose the 9 games that shaped who you are and create a shareable 9-panel image. 000
AnalyticSort @phialgorithm.bsky.social · 20/09/2026Os audiodramas da BBC, como esse, são bem legais youtu.be/S89BHnaxULo?...youtu.beNeuromancer (BBC radio play adaptation ) William GibsonYouTube video by Michael McGrath 010
AnalyticSort @phialgorithm.bsky.social · 14/09/2026A realidade é doideira www.cybersecbrazil.com.br/post/c%C3%A9...cybersecbrazil.com.brCérebro virtual de mosca-das-frutas recebe US$ 100 para negociar BitcoinUm engenheiro de software da Coinbase criou um experimento no qual uma simulação do sistema nervoso de uma mosca-das-frutas recebe informações do mercado de criptomoedas e utiliza sua atividade neural... 010
AnalyticSort @phialgorithm.bsky.social · 14/09/2026Quando vejo a galera mais jovem falando que Sanderson é o fodão fantasia, bate aquele tristeza. Poxa, tem escritores infinitamente melhores como a Jemisin e aquele cara d'O Nome do Vento 000
AnalyticSort @phialgorithm.bsky.social · 14/09/2026Isso aqui por si só humilha tudo o que Sanderson escreveu 010
AnalyticSort @phialgorithm.bsky.social · 14/09/2026Pegando A Quinta Estação da Jemisin porque é fantasia também 350
AnalyticSort @phialgorithm.bsky.social · 14/09/2026Talvez eu seja uma das poucas pessoas que estuda até em uma noite de domingo youtu.be/-6GeISZnnXc?...youtu.beDeepSpec Summer School, Part 32, Appel (July 25, 2017)YouTube video by DeepSpec Summer School 030
AnalyticSort @phialgorithm.bsky.social · 13/09/2026A alfaguara está publicando os romances do Nabokov em novas edições. Estou me segurando aqui para não gastar o meu dinheiro 010
AnalyticSort @phialgorithm.bsky.social · 13/09/2026É como se o cara ao mesmo tempo inaugurasse o gênero cyberpunk e o torna-se obsoleto já na trilogia Sprawl 010
AnalyticSort @phialgorithm.bsky.social · 13/09/2026Neuromancer é um romance engraçado, ao mesmo tempo que as críticas sobre o enredo confuso e difícil de acompanhar são justas até certo ponto, toda a atmosfera que o Gibson constrói é fenomenal mesmo hoje 110
AnalyticSort @phialgorithm.bsky.social · 11/09/2026Olhei o edital e me interessei, o que complica é que moro em outro estado 010
AnalyticSort @phialgorithm.bsky.social · 10/09/2026Me contem 3 obsessões atuais de vocês? (pode ser antiga mas que se mantém no âmago de vocês) Eu: - Teoria dos Tipos - Filosofia Formal - New Space Opera 000
AnalyticSort @phialgorithm.bsky.social · 09/09/2026As vozes interessadas na equação de Navier-Stokee 110
AnalyticSort @phialgorithm.bsky.social · 08/09/2026Pois é, cara github.com/openai/Navie...github.comGitHub - openai/NavierStokesAndEuler: Lean certificates accompanying Navier-Stokes and Euler resultsLean certificates accompanying Navier-Stokes and Euler results - openai/NavierStokesAndEuler 000
AnalyticSort @phialgorithm.bsky.social · 08/09/2026Pelo jeito entramos em uma era onde resolver problemas em aberto em matemática virou uma questão de gastar uma quantidade x de tokens openai.com/index/navier...openai.comOn the Navier–Stokes Millennium Prize ProblemWe’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean. 131
AnalyticSort @phialgorithm.bsky.social · 08/09/2026Sinceramente não acredito que IA vai substituir o matemático nem em um futuro distante 001
AnalyticSort @phialgorithm.bsky.social · 08/09/2026O que tem de matemático despejando uma visão quase apocalíptica sobre o assunto não é brincadeira 100
AnalyticSort @phialgorithm.bsky.social · 08/09/2026Esse lance todo de conjecturas em aberto sendo resolvidas com auxílio de IA está dando uma baita crise de identidade nos matemáticos 100
AnalyticSort @phialgorithm.bsky.social · 05/09/2026Depois de ontem a Anthropic ter conseguido formalizar o Último Teorema de Fermat, há agora rumores de que ela resolveu um dos problemas do milênio 000
AnalyticSort @phialgorithm.bsky.social · 04/09/2026Aparentemente a Anthropic conseguiu formalizar o Último Teorema de Fermat xenaproject.wordpress.com/2026/09/04/f...xenaproject.wordpress.comFLT: Anthropic has beaten me to itI guess technically it was revealed to the world by a coffee shop in Islington on Insta, but an hour later it was officially announced by Anthropic: one of their internal models, using the prove2.m… 211
AnalyticSort @phialgorithm.bsky.social · 03/09/2026Descoberta do dia: um livro reunindo os trabalhos do Karl Popper em lógica link.springer.com/book/10.1007...link.springer.comThe Logical Writings of Karl PopperThis open access book is the first comprehensive edition of Karl Popper’s work on deductive logic. This critical edition assembles Popper's published ... 010
