No matter how you like to participate in developer communities, Pulumi wants to meet you there. If you want to meet other Pulumi users to share use-cases and best practices, contribute code or documentation, see us at an event, or just tell a story about something cool you did with Pulumi, you are part of our community.

Pulumi Community

you can delete the resource from your state file <https://www.pulumi.com/docs/reference/cli/pulumi_state_delete/>

if you also remove your code declaring the resource, it will be as if Pulumi never knew about it

If you remove the code declaring the resources without removing it from the state file, won't Pulumi detect the difference and offer to delete it? That's what it does when I try it, and it's what I'd expect it to do.

Yes, you are right. The resource has to be deleted first from the state and then from the code.