So have you looked at using a N95 filter in a respirator?
I don’t know if that’ll work for you, but they certainly stay in place much better than any mask, and there’s a wide variety of them that have the filter in various locations so maybe that’d be a better option?
You look a little bit Fallout while wearing them, but they’re super comfortable for hours (because that’s how people who wear them use them), cheap to replace the filter when the time comes, and they seal spectacularly well and are easy to fit.
Oh good, just what I always wanted: some techbros able to SSH into my bed and tell how horrible my sleep is.
Do love the exposed AWS creds though. That’s some premium high-quality software engineering.