Sauté the aromatics: Heat the vegetable oil over medium-high heat in the pressure cooker pot until shimmering. (Use Sauté mode in an electric pressure cooker.) Stir in the onion, red bell pepper, garlic, and ginger, and sauté until the onion starts to soften, about 3 minutes.

Fry the curry paste: Scoop the cream from the top of the can of coconut milk and add it to the pot, then stir in the curry paste. Cook, stirring often, until the curry paste darkens, about 5 minutes.

Pressure cook the curry: Sprinkle the beef with the kosher salt. Add the beef to the pot, and stir to coat with curry paste. Stir in the rest of the can of coconut milk, bamboo shoots, chicken stock, fish sauce, and soy sauce. Lock the lid and pressure cook on high pressure for 12 minutes in an electric PC or 10 minutes in a stovetop PC. Let the pressure come down naturally, about 20 minutes.

Finish the curry: Remove the lid from the pressure cooker. Stir in the lime juice, then taste the curry for seasoning, adding more soy sauce or fish sauce as needed. Ladle the curry into bowls, sprinkle with minced cilantro and basil, and serve with Jasmine rice.