David Christiansen on Type Theory Forall

https://www.typetheoryforall.com/episodes/haskell-lean-idris-and-the-art-of-writing-1

They talk:

I should probably use ML to make this summary but I don’t know these products well enough yet…

6 Likes

I should probably use ML to make this summary but I don’t know these products well enough yet…

While AI might be helpful and reduce the amount of work, your summaries won’t be better. Doing them yourself shows that you have engaged with the content and have used some of your valuable time to write them.

2 Likes