The dotted underline is usually reserved for indicating alt text or hover content, actually. In this case, I think it's fine to be dotted, since it's not a true hyperlink, but combining that with it being the same text color is just bad from a semantic POV. It's made worse by the fact that the author apparently decided to make visited links blue. (Edit: apparently it's "active" panes, not visited, but semantically similar)
@maxkrieger if you're reading this, please consider making unvisited links blue, to conform to the universal semantics everywhere else on the web, and make visited links either purple, or black if you really want. (edit: or some different color for active panes. Green?)
Q: I'm a student of visual communications and asked myself why links are blue. I found some answers that might be, for example blue is a color of learning, but I'm not sure what is right. Is there any reason, why links are colored blue ?
A: There is no reason why one should use color, or blue, to signify links: it is just a default. I think the first WWW client (WorldWideWeb I wrote for the NeXT) used just underline to represent link, as it was a spare emphasis form which isn't used much in real documents. Blue came in as browsers went color - I don't remember which was the first to use blue. You can change the defaults in most browsers, and certainly in HTML documents, and of course with CSS style sheets. There are many examples of style sheets which use different colors.
My guess is that blue is the darkest color and so threatens the legibility least. I used green whenever I could in the early WWW design, for nature and because it is supposed to be relaxing. Robert Cailliau made the WWW icon in many colors but chose green as he had always seen W in his head as green.
One of the nicest link renditions was Dave Raggett's "Arena" browser which had a textured parchment background and embossed out the words of the link with a square apparently raised area."
I think you'll find that humans do many things that aren't necessary, particuarly when they're trying to convey something and it helps the reader understand
I'm having trouble remembering what they're called, but I do remember reading about these. I saw a demonstration where they slightly pulled at the desktop power plug in order to hook a thin device around the plug connectors to provide power, and then they could transport the desktop around.
Actually not because a server with multiple PSUs definitely knows when one loses power. It’s made to raise alerts about a power rail failing. So this makes it harder because you need to keep power on both to not raise any alarm
Because they product product of which that CPU is a fundamental part of the supply chain.
So they have at least initial contract for supply before they even start designing this (mostly work station) products (which often involve e.g. custom motherboards).
I.e. not only are they buying before release, they _need_ supply guarantees long long before release.
The customer can't do that for multiple reasons.
- They haven't signed a NDA contract nor are they in direct contact with first party sells personal so when it's time to early order they don't even know it exist.
- They buy in quantities of 1,2 maybe 10 instead of multiples of thousands (initial charge) with follow up guarantees. E.g. if you look at server CPUs you will see 1kU prices, because this CPUs are sold only (by AMD or Intel directly) in multiples of 1000 units.
If you (or lets say a PC retailer) do buy multiple thousand thread ripper CPUs at once and are willing to enter a contract for this sells long before they are sold (which likely involves an initial % of the price as down payment) you probably could get them early one. Through you would still be competing with DELL and similar for limited supply so you might still have a hard time to get the very first charge. And you also might have some problem getting compatible motherboards as many ORMs produce their own.
If that case is so different, than the case with two marbles is also different - because removing the second-to-last marble will change will change the bag to be in that situation. But then, the case with three marbles is also different, and by induction you are left with only special cases.
On the other hand, see the related statement "If all marbles in a bag are black, adding a red marble will result in a mixed bag" clearly fails for the empty bag.
This isn't really a question of logic or mathematics. Mathematicians just use systems which are useful. And predicate logic, which has proven invaluable, would allow OP's claim.