I’ve never heard of anyone using it for dev. That said I use it every day for terminal stuff and know a few others that do as well. It’s a bad pivot for them to focus on swe. Devops/sysadmin stuff is pretty amazing with warp. That number is probably closer to 800k.