https://diyprojectslabs.com/pir-motion-sensor-with-raspberry-pi-pico/