INGREDIENTS
•
pine nuts
•
small carrots, peeled, halved lengthwise if larger
•
olive oil, divided
•
Kosher salt and freshly ground black pepper
•
large pork tenderloin (about 1½ lb.)
•
small garlic clove, finely grated
•
Aleppo pepper or ½ tsp. crushed red pepper flakes
•
red wine vinegar, divided
•
spicy greens (such as watercress or baby mustard)