Diana Kennedy
Do the beans part in your Instant Pot. Whatever the time given for pintos. Make the “sauce” in a skillet before adding and changing over to simmer for a few minutes.
1/4 pound pork rind (I use salt pork)
1/2 pound pink or pinto beans
1/4 onion, sliced
2 small cloves garlic, sliced
6 cups water
Combine all and cook until done. Taste for salt fifteen minutes before and add a little if needed.
3 thick strips bacon, cut in small strips
2 tablespoons lard or bacon drippings
2 medium tomatoes, diced-I use a can if I can't find good ones
3 chile serranos, finely chopped ( I use jalapenos, but sometimes they don't have much bite)
2 large whole sprigs cilantro, chopped - I use a good half cup packed
Heat lard in skillet, render bacon in it until starting to brown, add remaining ingredients and cook over a fairly high flame 10 minutes or so, until well seasoned. Combine with beans and simmer uncovered on low flame about 15 minutes.