AnalyticSort
@phialgorithm.bsky.social
Formal methods enthusiast and wannabe logician.
Pra variar estou pensando na ficção científica do Lem.
December 4, 2025 at 9:33 AM
Pra variar estou pensando na ficção científica do Lem.
Economistas e suas peripécias formais
December 2, 2025 at 2:11 AM
Economistas e suas peripécias formais
O Peter e a Gwen funcionam demais juntos. Acho mancada os caras insistirem nesse lance da relação entre os dois terminar em tragédia.
December 1, 2025 at 4:44 PM
O Peter e a Gwen funcionam demais juntos. Acho mancada os caras insistirem nesse lance da relação entre os dois terminar em tragédia.
Eis que você abre o linkedisney e se depara com um platonismo fuleiro
December 1, 2025 at 9:22 AM
Eis que você abre o linkedisney e se depara com um platonismo fuleiro
👀
November 30, 2025 at 7:55 PM
👀
Por uma ficção científica hard literariamente bem desenvolvida, ou seja, nada de Cixin Liu ou Andy Weir.
November 29, 2025 at 5:14 PM
Por uma ficção científica hard literariamente bem desenvolvida, ou seja, nada de Cixin Liu ou Andy Weir.
Descobri que os linguistas usam o termo *língua crioula* pra designar aquelas línguas naturais que são formadas por duas ou mais.
en.wikipedia.org/wiki/Creole_...
en.wikipedia.org/wiki/Creole_...
Creole language - Wikipedia
en.wikipedia.org
November 29, 2025 at 12:44 PM
Descobri que os linguistas usam o termo *língua crioula* pra designar aquelas línguas naturais que são formadas por duas ou mais.
en.wikipedia.org/wiki/Creole_...
en.wikipedia.org/wiki/Creole_...
As aulas desse cara são muito boas, comecei a ver recentemente
youtube.com/playlist?lis...
youtube.com/playlist?lis...
SF Types Theorems and Programming Languages - YouTube
"San Francisco Types, Theorems, and Programming Languages" meetup recordings
youtube.com
November 29, 2025 at 1:39 AM
As aulas desse cara são muito boas, comecei a ver recentemente
youtube.com/playlist?lis...
youtube.com/playlist?lis...
