Chef John’s Shrimp and Grits.