GPT-3 is coming up with spicy takes

1:20 PM · Jul 17, 2020

6
64
6
417
Another use of GPT-3 seems to be to get likes on twitter. I don't have a Soundcloud, but feel free to check out the first paper I worked on as a PhD student at MSP! cgi.cse.unsw.edu.au/~eptcs/A… (together with @Anarchia45 @gibtsdes @bentnib and others).
1
0
0
6
We use some high-powered CT machinery based on Arrows (monoids in the category of Tambara modules) to talk about many variants of open games. Namely, it turns out components of open games are arrows and it turns out you can conveniently put arrows together to form new arrows.
1
0
0
3
It was really an unexpected compositional formulation of Open Games and you should go check it out :)
1
0
0
3
Replying to @bgavran3
Given what its already doing to CS, you'd have to agree......
I've been captivated by recent examples of @OpenAI new GPT-3 model generating text + code So much so that I decided to write a post on the model and its potential future use cases nitter.net/sharifshameem/st… 1/
Show this thread
0
0
0
1
Replying to @bgavran3
Hopefully it can also define intelligence.
0
0
0
0
You now have the outline for a new Monad tutorial.
0
0
0
4
Replying to @bgavran3 @kmett
this isn't spicy it's just correct
0
0
0
3
Replying to @bgavran3
neat, instead of participating in the circlejerk they trained an AI to do it for us
0
0
0
1