AnalyticSort
@phialgorithm.bsky.social
SF writer and wannabe logician.
A realidade é doideira
www.cybersecbrazil.com.br/post/c%C3%A9...
www.cybersecbrazil.com.br/post/c%C3%A9...
Cérebro virtual de mosca-das-frutas recebe US$ 100 para negociar Bitcoin
Um 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...
www.cybersecbrazil.com.br
September 14, 2026 at 3:30 PM
A realidade é doideira
www.cybersecbrazil.com.br/post/c%C3%A9...
www.cybersecbrazil.com.br/post/c%C3%A9...
Pegando A Quinta Estação da Jemisin porque é fantasia também
September 14, 2026 at 9:42 AM
Pegando A Quinta Estação da Jemisin porque é fantasia também
Talvez eu seja uma das poucas pessoas que estuda até em uma noite de domingo
youtu.be/-6GeISZnnXc?...
youtu.be/-6GeISZnnXc?...
DeepSpec Summer School, Part 32, Appel (July 25, 2017)
YouTube video by DeepSpec Summer School
youtu.be
September 14, 2026 at 12:59 AM
Talvez eu seja uma das poucas pessoas que estuda até em uma noite de domingo
youtu.be/-6GeISZnnXc?...
youtu.be/-6GeISZnnXc?...
A alfaguara está publicando os romances do Nabokov em novas edições. Estou me segurando aqui para não gastar o meu dinheiro
September 13, 2026 at 10:10 PM
A alfaguara está publicando os romances do Nabokov em novas edições. Estou me segurando aqui para não gastar o meu dinheiro
Neuromancer é 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
September 13, 2026 at 2:30 PM
Neuromancer é 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
Me 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
Eu:
- Teoria dos Tipos
- Filosofia Formal
- New Space Opera
Me contem 3 obsessões atuais de vcs? (pode ser antiga mas q se mantém no âmago de vcs
eu:
- jazz nórdico
- cultivo de fungos
- Marianne Faithfull
eu:
- jazz nórdico
- cultivo de fungos
- Marianne Faithfull
Me contem 3 obsessões atuais de vcs? (pode ser antiga mas q se mantém no âmago de vcs
eu:
- vinho
- folk horror
- dungeon synth
eu:
- vinho
- folk horror
- dungeon synth
September 10, 2026 at 6:08 PM
Me 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
Eu:
- Teoria dos Tipos
- Filosofia Formal
- New Space Opera
Isso aqui é engraçado demais kkkkkkk
the logs of the agent swarm that solved navier-stokes are pretty damning
September 9, 2026 at 7:49 PM
Isso aqui é engraçado demais kkkkkkk
Pelo 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.com/index/navier...
On the Navier–Stokes Millennium Prize Problem
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
openai.com
September 8, 2026 at 6:01 PM
Pelo 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.com/index/navier...
Esse lance todo de conjecturas em aberto sendo resolvidas com auxílio de IA está dando uma baita crise de identidade nos matemáticos
September 8, 2026 at 8:51 AM
Esse lance todo de conjecturas em aberto sendo resolvidas com auxílio de IA está dando uma baita crise de identidade nos matemáticos
September 5, 2026 at 7:20 PM
Depois 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
September 5, 2026 at 11:48 AM
Depois 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
Aparentemente a Anthropic conseguiu formalizar o Último Teorema de Fermat
xenaproject.wordpress.com/2026/09/04/f...
xenaproject.wordpress.com/2026/09/04/f...
FLT: Anthropic has beaten me to it
I 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…
xenaproject.wordpress.com
September 4, 2026 at 7:55 PM
Aparentemente a Anthropic conseguiu formalizar o Último Teorema de Fermat
xenaproject.wordpress.com/2026/09/04/f...
xenaproject.wordpress.com/2026/09/04/f...
Descoberta do dia: um livro reunindo os trabalhos do Karl Popper em lógica
link.springer.com/book/10.1007...
link.springer.com/book/10.1007...
The Logical Writings of Karl Popper
This open access book is the first comprehensive edition of Karl Popper’s work on deductive logic. This critical edition assembles Popper's published ...
link.springer.com
September 3, 2026 at 10:54 PM
Descoberta do dia: um livro reunindo os trabalhos do Karl Popper em lógica
link.springer.com/book/10.1007...
link.springer.com/book/10.1007...
Uma space opera inventiva e bem escrita para ler nos finais de semana
September 2, 2026 at 3:33 PM
Uma space opera inventiva e bem escrita para ler nos finais de semana
