Android has something similar - in the power menu [1] there's a "Lockdown" button which will lock your phone, disable biometrics, and disable showing notifications until you unlock with password.
Depending on your version and flavour of Android you may need to enable this "Show Lockdown Option" in your settings.
[1] Opening this varies - my pixel is power + vol up, some phones are hold power, etc.
> If you’re on a desktop device reading this, how many windows are filling the entire screen? How much screen space does the browser you’re reading from take up?
> It’s safest to presume that users on desktop or laptop devices are not filling their entire screen with a browser.
Is this true? If you're reading this casually (and you are reading this casually) is your browser not at full size? I almost exclusively use my desktop and laptop with windows maximized unless I'm doing some work which requires me to split up my screen (for example writing while looking at docs or program output). Am I the outlier here?
For me, it varies by OS. I'm currently reading this on a Mac, and the window is not filling my entire screen. If I were using my Windows PC, however, I would be much more likely to have the window maximized. I find that Windows makes is easier to track all the windows I have open even when one is maximized.
I almost exclusively use my laptop split-screen unless I’m doing some work that requires maximization.
Over the last few years increasingly many websites when allocated half the laptop screen have needlessly contorted into less functional layouts appropriate for a phone, but stretched huge.
Not an outlier, I almost exclusively use full-screen browser windows. Even if I need to see content in close proximity, I usually just switch between two workspaces (vim on one, browser on another) and flip back and forth pretty easily to see the output.
> Raku has no qualms about using Unicode operators. You check set membership with ∈. There's also ∉, ∋, and ∌.
Something to note is that there are ASCII equivalents[0] for every cool Unicode operator found in Raku. For example, the equivalents for ∈, ∉, ∋, ∌ are (elem), !(elem), (cont), !(cont).
Why? It's less readable. I like how JetBrains in recent releases renders ">=" as a single glyph. I mean maybe for typing, I see that as a benefit, but I'd hope my IDE would replace them with the proper Unicode character.
Depending on your version and flavour of Android you may need to enable this "Show Lockdown Option" in your settings.
[1] Opening this varies - my pixel is power + vol up, some phones are hold power, etc.