Painting in such broad strokes, the German system also sounds like the ACA, but it's really not: the high level description really erases key differences.
In Germany there is nothing like bronze/silver/gold plans. All statutory health insurance covers what is required to be covered by regulations, with just a few bonus services, at the regulated tariff plus just a few percentage points of variation. So the 90% of people in Germany who have statutory health insurance [1] have essentially the same coverage. The tariff is a percentage of income (up to a cap), not a flat fee.
[1] not everyone is required to have statutory health insurance, for example employees above an income threshold and self-employed people
Well done! I had a somewhat similar experience twenty years ago in the informatics olympiads. I had no idea about the whole world of algorithms, complexity, etc. until a friend recommended to do the first round of our national informatics olympiad. The first round was pretty simple programming, the second round was a whole new world.
By the way "Ng" is Andrew Ng's surname, it's not NG with a capital G.
Btw a visa is a document allowing entry into a country, while VISA is a word mark used by Visa, inc. for their payment cards and network. I think you're referring to the travel document, but since the context also includes payment networks, I'm not 100% sure.
The point GP is making, is that everyday mathematics is not done in Lean, but in a language that's more like JavaScript, where equals doesn't always mean equals, + and • mean whatever seems convenient at the time, and objects sometimes change type without notice.
It seems TM SGNL also works when you're messaging with somebody using the genuine Signal app. They aren't gonna make a group chat with your archive bot to message you, and they might not be pleased when you add them to such a group chat.
NetHack does have ghost files (where you find the levels previous characters died on, including their ghost and their possibly-cursed loot). It's definitely not the same kind of progression as in modern rogue-lites, but it can be a boost to pick up the equipment you found on a previous run.
Mercaptan is a group of compounds, more than one of which are used as gas odorants, so in some places, gas smells of rotten eggs, similar to H2S, while in others gas doesn't smell like that at all, but a quite distinct smell that's reminiscent garlic and durian.
If the reason someone wanted to learn Arabic was because they thought they could learn one language to do all of those things, it's clear why they might just drop the idea when they learn they can't.
As a historical tidbit I'll add that Romans did develop two ways to write larger numbers.
1. Writing a line (vinculum) over a numeral to multiply its value by 1,000. This was in fact extended to writing a line to the left and above a numeral to multiply its value by 1,000,000, and could in principle be extended to lines below and to the right to multiply by 10^9 and 10^12, and even nested boxes for larger powers.
2. The use |), |)), |))), ... for 500, 5,000, 50,000, ... and (|), ((|)), (((|))), ... for 1,000, 10,000, 100,000, ... These can be continued indefinitely.
Both require an ever increasing number of marks just to write the increasing powers, as well as an ever increasing number of powers being summed, but both increase only logarithmically, so we end up using O((log n)²) marks to write n. This is quadratically worse than positional notation, but exponentially better than just writing M over and over.
The berries (but not the seeds!) are apparently edible, and I have myself eaten one without noticing any ill effect. IIRC it was indeed the berries that were used in the Agatha Christie novel, so apparently a mistake.
Moreover, in a later picture on the page you can see an example showing a -dóttir name in that field (I had wondered if perhaps it was only used for people who happened to have a "real" surname as opposed to a patronymic, e.g. foreign-born citizens)
https://en.m.wikipedia.org/wiki/Icelandic_passport#/media/Fi...
Just a technical nitpick: Hitler was appointed by President Hindenburg, not directly elected. However Hindenburg was directly elected and Hitler was leader of the party that received the most votes (though still a minority).
In Germany there is nothing like bronze/silver/gold plans. All statutory health insurance covers what is required to be covered by regulations, with just a few bonus services, at the regulated tariff plus just a few percentage points of variation. So the 90% of people in Germany who have statutory health insurance [1] have essentially the same coverage. The tariff is a percentage of income (up to a cap), not a flat fee.
[1] not everyone is required to have statutory health insurance, for example employees above an income threshold and self-employed people