They maintained census, but for government functions (like accounting and taxes), and actual identity communication almost never involved government.
Passports use for anything except international travel is a very modern thing as well.
For most of the history the source of identify was individual themselves (as it should be), that is, one told their name and origin and others accepted that, unless someone knew otherwise.
Not intrinsically or commonly deadly. https://www.hopkinsmedicine.org/health/conditions-and-diseas... says "1 in 10 people will develop a pituitary adenoma in their lifetime" - pituitary adenomas is the more general class of these benign tumors, as the pituitary gland produces multiple hormones.
> Even unemployment, which is your top line, seems... fine?
The unemployment one is interesting because if you look at that graph, the universal pre-2022 pattern is basically a spike of unemployment during recessions followed by a gradual drop.
The recent pattern is a gradual increase.
I'm not a big fan of "numerical only / shape of graphs" analyses, but this does seem strange. Of course, the 2020 Covid spike is also unusual, so...
The bit about "Canon, Sony, and Nikon may have replaced Kodak for professionals" was entertainingly silly. AFAICT, Kodak cameras were never used by a significant fraction of professional photographers? (maybe pre-WW2?)
FWIW, Canon, Sony, and Nikon all make sensors as well as cameras (I believe Nikon just tweak Sony's these days, but they were certainly making their own at one point).
> In my experience, when one begins to program in Prolog, they pepper their code with cuts to try and stop unwanted bactracking, which can often be avoided by understanding why Prolog is backtracking in the first place.
This gets to the heart of my problem with Prolog: it's sold as if it's logic programming - just write your first-order predicate logic and we'll solve it. But then to actually use it you have to understand how it's executed - "understanding why Prolog is backtracking in the first place".
At that point, I would just prefer a regular imperative programming language, where understanding how it's executed is really straightforward, combined with some nice unification library and maybe a backtracking library that I can use explicitly when they are the appropriate tools.
> This gets to the heart of my problem with Prolog: it's sold as if it's logic programming - just write your first-order predicate logic and we'll solve it. But then to actually use it you have to understand how it's executed
Prolog is a logic-flavored programming language. I don't recall Prolog ever being "sold" as pure logic. More likely, an uninformed person simply assumed that Prolog used pure logic.
Complaining that Prolog logic doesn't match mathematical logic is like complaining that C++ objects don't accurately model real-life objects.
It absolutely does sound like "write your first order logic in this subset and we'll solve it". There's no reasonable expectation that it's going to do the impossible like solve decideability for first order logic.
> It absolutely does sound like "write your first order logic in this subset and we'll solve it".
No it does not. Please read the words that you are citing, not the words that you imagine. I honestly can't tell if you are unable to parse that sentence or if you a cynically lying about your interpretation in order to "win" an internet argument.
All programming languages are restricted, at least, to a "Turing complete subset of first-order predicate logic." There is absolutely no implication or suggestion of automatically solving any, much less most, first order logic queries.
>> This gets to the heart of my problem with Prolog: it's sold as if it's logic programming - just write your first-order predicate logic and we'll solve it. But then to actually use it you have to understand how it's executed - "understanding why Prolog is backtracking in the first place".
Prolog isn't "sold" as a logic programming language. It is a logic programming language. Like, what else is it?
I have to be honest and say I've heard this criticism before and it's just letting the perfect be the enemy of the good. The criticism is really that Prolog is not a 100% purely declarative language with 100% the same syntax and semantics as First Order Logic.
Well, it isn't, but if it was, it would be unusable. That would make the critics very happy, or at least the kind of critics that don't want anyone else to have cool stuff, but in the current timeline we just have a programming language that defines the logic programming paradigm, so it makes no sense to say it isn't a logic programming language.
Edit:
>> At that point, I would just prefer a regular imperative programming language, where understanding how it's executed is really straightforward, combined with some nice unification library and maybe a backtracking library that I can use explicitly when they are the appropriate tools.
Yeah, see what I mean? Let's just use Python, or Java, or C++ instead, which has 0% of FOL syntax and semantics and is 0% declarative (or maybe 10% in the case of C++ templates). Because we can't make do with 99% logic-based and declarative, gosh no. Better have no alternative than have a less than absolutely idealised perfect ivory tower alternative.
Btw, Prolog's value is its SLD-Resolution based interpretation. Backtracking is an implementation detail. If you need backtracking use yield or whatever other keyword your favourite imperative language gives you. As to unification, good luck with a "nice unification library" for other languages. Most programmers can't even get their head around regexes. And good luck convincing functional programmers that "two-way pattern matching" (i.e. unification) is less deadly than the Bubonic Plague.
Conveniently, for individual sports like tennis there's a guaranteed renewal mechanism - the near-term likelihood of 50 year old tennis champions is low, and that of 80 year old champions is not really worth discussing.
> Quite the opposite. The benefits of rent control grow the longer you are in the same apartment without moving as the difference between what the tenant pays and the
You're assuming a form of rent control where new tenants pay market rate. That's not the only form, e.g., Berkeley's rent control used to continue "forever", until California forbade that (Costa Hawkins act in 1995).
An unusual position, as historically governments have provided birth and death registries [0], passports, identity cards, etc, etc
[0]: or, earlier, in the West at least, the church
reply