add Coq typeclass index problem draft

[web.git] / personal / _posts / 2017-12-15-people-of-pl-interview.md

diff --git a/personal/_posts/2017-12-15-people-of-pl-interview.md b/personal/_posts/2017-12-15-people-of-pl-interview.md
index 46f33b98745906d4407b3a95c49bdeebc46f18be..8722b4bbc36d648c6a9c76390a3090d8f999ccd5 100644 (file)
--- a/personal/_posts/2017-12-15-people-of-pl-interview.md
+++ b/personal/_posts/2017-12-15-people-of-pl-interview.md
@@ -3,9 +3,9 @@ title: Interview for People of Programming Languages
 categories: research
 ---
 
 categories: research
 ---
 

-[POPL 2018](https://popl18.sigplan.org/home), the conference where I will present our [RustBelt paper]({{ site.baseurl }}{% post_url 2017-07-08-rustbelt %}), is doing a series of interviews with senior and junior people from the community: [People of Programming Languages](https://www.cs.cmu.edu/~popl-interviews/).
+[POPL 2018](https://popl18.sigplan.org/home), the conference where I will present our [RustBelt paper]({% post_url 2017-07-08-rustbelt %}), is doing a series of interviews with senior and junior people from the community: [People of Programming Languages](https://www.cs.cmu.edu/~popl-interviews/).

 They also asked me if I wanted to be part of this, and of course I accepted.
 They also asked me if I wanted to be part of this, and of course I accepted.

-This was the first time I gave an interview like that, so needless to say, I was super excited!
+This was the first time I was asked to give an interview, so needless to say, I was super excited!

 I got the opportunity to talk about how I came to do research in PL, what my research is about, and ramble a bit about why I think Coq is great.
 If you want to read more, [check out my interview](https://www.cs.cmu.edu/~popl-interviews/jung.html).
 Be sure to also [have a look at the other interviews](https://www.cs.cmu.edu/~popl-interviews/).
 I got the opportunity to talk about how I came to do research in PL, what my research is about, and ramble a bit about why I think Coq is great.
 If you want to read more, [check out my interview](https://www.cs.cmu.edu/~popl-interviews/jung.html).
 Be sure to also [have a look at the other interviews](https://www.cs.cmu.edu/~popl-interviews/).