I've seen taxi drivers use them in Europe multiple times basically every time you want to transport more people. Beats using 2 cars.
1,578 karma · joined March 27, 2012
I'm suspecting that is only because of behaviors learned from US on the internet. If not for that they wouldn't have thought of banning for it. It's not a topic that comes up often, but IRL negative views on gypsies are the norm in Europe.
I think it's important to understand that it's viewed as culture issue, not color-of-skin issue (that is something that can be changed, people of gypsy heritage that go to school and work are not considered gypsies for this) and so not getting filled in the category of "racism".
The Gerhard Schröder that
> Since leaving public office, Schröder has worked for Russian state-owned energy companies, including Nord Stream AG, Rosneft, and Gazprom.[2]
I don't think this is a big deal for day-to-day programming. You're trying to stay in n, nlogn or maybe n^2 realm most of the time. And the kind of infinite loops you encounter (e.g. event loops) are co-inductive or have some notion of making progress.
It wouldn't work when this kind of loop is generated by macros/templates in some unreachable case left after const folding.
Lean can be used as a regular programming language. There's also languages like idris2 and f-star, but they don't seem to have much traction.
If it's not actively snowing for a few days roads get clear by thawing during day because of salt/cars being hot/sun shining.
The "summer tyres get too hard in the cold" idea could very well come from places where the typical winter is at least < -5°C. It's not uncommon in central/eastern/northern europe for temperatures to be < -10°C for extended periods of time.
> down to 0C / 32 F (he didn't test colder conditions)
I get that people live in different places, but that's a huge caveat. How's that winter if you're not below 0°C? That sounds like "winter tires are worse than all-seasons tires in winter if you exclude winter".
And slash/!
But then you need to watch for bugs coming from interaction with previous changes and in 700k loc that might be nontrivial. How do you know which states are reachable and which are not? That takes time.
It only takes a botched condition here (forgot a "not"? swapped "and"/"or"?), a swapped variable name there, code that looks ok, but isn't.
And I suspect that cross section of people writing C code you want to verify with formal verification folks is not particularly big.
The design is very human.
> Rather, the remedy for Plaintiffs’ injuries lies in pursuing tort claims, electing representatives who will better manage the public-water system, and petitioning their representatives for other remedies.
which is easier said than done.
From outside of US this seems extremely ass backwards.
> The Peano axioms can be derived from set theoretic constructions of the natural numbers and axioms of set theory such as ZF.[15]
If you're going against the general consensus you should present something more than nebulous assertions that it's wrong.