It is kinda old (2019), but Samsung S10e is imho _the_ small (android) phone.
5.8" 1080x2280 AMOLED display, with a tiny hole punch front camera; Snapdragon 855, 6/8gm RAM, 128/256gb of storage (with support for microsd card); two rear cameras (wide and ultrawide) with great image quality(imho); ip68; gorilla glass 5; 3.5mm jack; usb type c; wireless charging + reverse wireless charging; fingerprint on power button (side mounted); ~4hours SOT (3100mAh); it comes with samsung's bloated os but you can put custom rom (i checked support for /e/ os and its supported, but i belive there are other options); ~400 euros
Everything adds up, but I can't really sum up everything in one comment (or maybe I could, but I haven't), and you are not reading all the other comments (at least I don't expect you to). There are factors other than convenience and price, and lately those factors add up so that a double-edged razor is my choice. There are times I use cartridges and there are times I don't. My main critique is that saying "Shaving is too expensive and is a demonstrative example of how most consumer products are designed to extract more money from you rather than to improve your life, or the world, or to be in any way remotely good." is _just_ incorrect.
Well, first, I don't shave my head (I understood that as shaving the top of your head), so I will have to take you on that. Secondly, I believe that most people don't shave their head but their facial hair (correct me if I'm wrong). Thirdly, not all double-edged razors are paired with handles with safety guards - there are open blade handles; but even if you amount for safety razors, you still get more accidents compared to a 4-blade cartridge (they are designed precisely to prevent cuts).
Also, I fully agree with the price factor - they are less expensive, and as a bonus there is no plastic waste (at least in most cases, depending on the packaging of your razor blades). But that was not my point.
That said, I don't work for Gillette (or any related company), and don't get commission for saying any of this (this is all just 'IMO' type of comment), and apart from anecdotal evidence (I've had multiple conversations with people with 20+ years of shaving experience, using both 4-blade razors and double-edged razors, and they all, more or less, share my opinion) I can't really provide any data (maybe I could try to find some, but I don't care about this topic 'that' much).
Yes, and, as I probably haven't said, I've been doin' it for 'years', and I do have a favorite soap/razor brand/razor handle... you name it... And I rarely ever (1/10 prob) get cuts, and the end result _is_ better, purely quality wise (double-edged razor is just sharper and can access spots, like under your nose, that 4-blade razor, let's say it's 4-blade, just can not).
My point is that after a while, you realize that you can get 80/90% of the quality with less than 20% of time invested. (Un)fortunately enough, the calculation is not that simple. You need to include the money factor, the frequency of shaving factor, the energy/focus factor (you can't just shave using a double-edged razor at 6am with your eyes still half way closed, and also expect no to cut yourself; you just can't, no matter how experienced you are - it is still 'razor' sharp :), with next to no safeguards, depending on your razor handle)... And I get that in many cases, the money factor is more (or the most) important, but you still can't just ignore all other factors.
That said, I strongly believe that modern 4-blade cartridges can/should be less expensive.
Also, I have next to no experience with electric razors, so take that into consideration. (Also, if anyone knows some electric razor model/brand that is well worth the money, I will really appreciate the suggestion)
While I believe that many things stated in this post are correct, this still has that hard 'old man yelling at the internet' odor.
If you are to compare stuff, stuff like modern razor cartridges and double-edged razors, you ought to mention the convenience side of the things. I hate being the devil's advocate, but shaving with 4-blade cartridge designed for easy shaving is still 'miles' ahead compared to shaving with double-edged razor. Miiiles ahead. And I use a double-edged razor 9 out of 10 times, so I would know a thing or two about it.
And that's not to say that are overly pricey. They are. Plus, if you account for different prices in different regions, the price difference is even more concerning.
The same is also true for some other appliances/services mentioned - tea bags and coffee machines are not just 'superficially convenient' they are wildly more convenient.
EDIT: As one person said in the comments down below, "What this article completely misses, is that there are more than two options.". That was my whole point, and I'm sorry if it came out the wrong way. Shaving is a personal preference, and you are free to do it however you like; but saying 'Shaving is too expensive and is a demonstrative example of how most consumer products are designed to extract more money from you rather than to improve your life, or the world, or to be in any way remotely good.' is just incorrect and insane.
I don't agree with this. 'Important' software, like something you would want/need for your server, is not 'important' enough if it has a considerable amount of bugs, and therefore _will not_ be used by significant amount of people. (and will not pose a real threat to the community at large). At least not significant enough to explain all the hate authors and contributors are getting.
Let's say it's 2030, and I want to host my own matrix server. I would first compile a list of all matrix server implementations, and filter out those with confirmed bugs, and only then choose one (at random or some other criterion). The ones with bugs introduced by some library written in Hare/C/Rust/C++/X language will never be popular enough to even end up on the starting list cause people don't want to use buggy software (at least if there are options and in sufficiently-large ecosystem, there are options). And you might say that those bugs will go unnoticed - yes, but no more unnoticed than any other bug introduced by faulty logic but written in, say, Rust.
Also:
> so the language _will_ get used by a non-insignificant number of people
Hare is fairly opinionated (e.g. it mainly targets FOSS operating systems) so saying that it _will_ be used _just_ as a result of being related to ddevault (a person with a following), is a _wild_ guess. It does not matter how big of a following the author has, if the language itself is bad, it will not get used, or at least, it will get forgotten soon enough.
>In a sufficiently-large ecosystem...
In a sufficiently-large ecosystem, performance/security-critical software will be created using a language that is used not because of the author's following… Again: if the language itself is bad, it will not get used, or at least, it will get forgotten soon enough.
They are trying tho? Warp terminal has experimental ai command search that allows you to translate natural language to bash (shell) commands. That means that you could use your terminal without ever learning how to use the shell, effectively replacing not just your terminal but your shell too.
Terminal is just the program that shows text. New terminal emulators (not all new terminal emulators, but the ones mentioned in comments, the ones op asked about mostly) are way more than just programs showing text, they are also replacing/re-imagining the shell, or re-imagining the way you interact with the shell; thay are wrappers around the shell (and more).
I believe that this is partially because default shells (mostly bash) are not 'really' beginner friendly, and you usually need to spend some time configuring them to be comfortable working with them. That said, i use fish shell so what do I know :)
If the whole subtitle file is out of sync (e.g. every line is late 2s), one shortcut is all it takes. In that 1/10 case, you do need to 'fiddle around for ages', but given that all other options (e.g. SubtitleEdit[1]) are way more complicated and time consuming, mpv is all I could suggest. For the problem with audio and image being out-of-sync, I have no idea :)