[PartiallyTyped]

It's not like I have been doing many things outside reading papers and books over the past few years... The post that person used as an ad-hominem even says so.