@ControlsFreak's banner p

ControlsFreak


				

				

				
5 followers   follows 0 users  
joined 2022 October 02 23:23:48 UTC

				

User ID: 1422

ControlsFreak


				
				
				

				
5 followers   follows 0 users   joined 2022 October 02 23:23:48 UTC

					

No bio...


					

User ID: 1422

Akhil and Vikram Amar, along with their student, Samarth Desai, have been posting a series of articles on SCOTUSBlog about the birthright citizenship case. I haven't really covered them. They sort of trickled in as I was working on my chonker post on the topic. I'm not going to go back and pick at every one of them. They have pretty clear difficulties for their arguments once you've just read through all the case law. They do, indeed, cite many of the relevant precedents. I would even give them credit for not really getting distracted by the smattering of random state court opinions that have been mined for dicta.

Yesterday, they posted another installment, with the primary argument being that since "parents" (or variants) are not to be found anywhere in the text of 14A, one simply cannot consider them in any way. Of course, this runs into the typical difficulties if you've read the case history. I won't go through this post in detail either. Suffice to say, this one doesn't talk at all about Indians; they address that case in other posts, and, well, it leaves something to be desired, for sure. But I guess I'll just let their glaring lack of addressing it here speak for itself.

What stuck out to me was this section, addressing the other categories that pose difficulties for their position:

What about the traditional “exceptions” to the general rule? (These exceptions involve children born to foreign diplomats, children born on quasi-sovereign Indian land, children born behind the lines of an occupying enemy army, and children born aboard foreign-flagged warships.) At pages 3 to 4 of his reply brief, the solicitor general claims that the Trump v. Barbara respondents (represented by the ACLU) “recognize” multiple “exceptions” to birthright citizenship “based on parental status.” We doubt that’s the best reading of the ACLU’s brief, but even if it is, it’s surely not the best reading of the Constitution. To win the case, the solicitor general needs to outrun not just the respondents, or even the doctrine, but the document itself. And as we’ve explained in prior writings, the soil-and-flag touchstones cleanly explain both the scope and the limits of the Constitution’s grand birthright-citizenship guarantee. The so-called exceptions are really just applications of the originalist “under the flag” principle.

True, one – and only one – of the birthright-citizenship rule’s main exceptions, exempting an American-born child of a foreign diplomat, is parent-based. (The others, as Akhil’s amicus brief carefully explains, are based entirely on birth-place, and in no way whatsoever on birth-parentage.) But even the tiny diplomat-child wrinkle, properly conceptualized, is an exception that illustrates and confirms the under-the-flag rule. A legal “fiction” of “extraterritoriality” treated diplomats and their children as if they were floating human chunks of foreign soil, with partial or total diplomatic immunity from America’s laws. Indeed, diplomats and their broods were seen as personal extensions of the foreign sovereign.

To see this point most vividly, imagine that Queen Victoria herself visited America in 1869 and gave birth to a child on American soil. Were America to claim this heir to the British throne as an American citizen, war between America and Britain might well have ensued. The 14th Amendment, properly read, viewed neither Victoria nor her hypothetical baby as ever being squarely “under the American flag.” The monarch, and her brood, and her diplomats, and their broods, were always in legal contemplation under the British flag, wherever they went, rather like British warships in American waters. But none of this extraterritoriality logic applied to American-born babies of foreign sojourners generally.

I didn't want to spend the time to copy over their links, so click through if you want to read them. What stood out to me was that their only case link was to, wait for it... Schooner! Of course they're appealing to the framework and theory of Schooner! That's the case that elucidated a framework and theory for how to think about the principles of sovereignty, allegiance, license, and jurisdiction. They even pull what is perhaps one of the most confusing examples from the case - when a sovereign, himself/herself, were to enter the US.

Of course, they don't talk about Schooner's discussion about the case in which a foreign sovereign entered the US without the consent of the US. Nor do they actually work through the rest of the framework and theory that Schooner put in place. They want the Full Schooner, but they don't want to take it seriously! They don't want to actually read through the case and engage with how the opinion says the framework applies to various specific situations. They just want to pull very specific pieces and then form their own, different, theory to wrap around it. It's just so glaring now, every time I see someone write on this topic. I can't unsee it.

The vast majority of people have a completely wrong conception of what "proportionality" means in international law. The most common belief, which is completely wrong, is that one counts up the amount of damage that Party A did to Party B and say that the amount of damage that Party B then does to Party A must be in some way proportionate.

The part of international law that contains the thing generally referred to as "proportionality" is International Humanitarian Law. You can already get a sense that it has something to do with pain to civilians, who are not, in a sense, "part of the conflict". Indeed, the main treaty provision that is pointed to for this principle is Article 51(5)(b) of Additional Protocol I of the Geneva Convention. It prohibits attacks which:

may be expected to cause incidental loss of civilian life, injury to civilians, damage to civilian objects, or a combination thereof, which would be excessive in relation to the concrete and direct military advantage anticipated.

That is, it acknowledges that there will be military objectives, and that pursuing those military objectives may cause damage to civilians. In some sense, military commanders are supposed to weigh those things. This is not a trivial task, and there aren't clear, objective ways to compare those things, either. But the entire consideration is different in character than how it is considered by most people.

People advocating for the court to rule in the president's favor aren't making a principled legal argument, they're looking for an escape hatch where they can end birthright citizenship for illegal aliens but have everything else stay the same.

I don't know if this is actually a swipe at me or not, since I said that my best reading of what the Court has done to date, within the framework of Schooner, would have the Court ruling partially against the President and partially for the President. But then you only call out illegal aliens, so maybe it's still a swipe at me.

Suffice to say, I have now waited 24hrs since further elaborating1, and I would like to include that I do not appreciate the low-effort insult. I have put forth significant effort in trying to, as neutrally as possible (I might have failed!), present a long history of confusing cases on a confusing topic. I believe I have genuinely tried to give my best effort to glean some sort of theory and framework that is something of a 'best fit'. I use that phrase with a sort of connotation from mathematics in the back of my mind, where you have very messy data, and you know you are unable to construct a theory that accounts for all aspects of it, so you attempt to try to fit some sort of understanding, knowing that it is messy and that there may be errors/difficulties/room for revisions to the theory that can increase explanatory power.

Coincidentally, but hilariously as if it were on cue, Short Circuit just linked this 2-1 decision from the Fourth Circuit, with a pretty bitter fight over several topics, one of which being jurisdiction. They fought over multiple different types of jurisdiction in different contexts. The dissent even has hypos of whether the US invading Normandy on D-Day made it "US territory", which is hilariously apropos of my Footnote 7. Does one sort of have to conclude that the Fourth Circuit thinks that if a child was born to a hostile enemy alien belligerent in a military prison in Iraq, it would be a US citizen? I don't know! It's crazy confusing!

You're an incredibly smart commenter here, and you're clearly a well-trained legal professional. I typically highly enjoy your legal insight. I would actually very much appreciate if you could engage meaningfully on the topic. That could be arguing that the Schooner framework isn't actually the correct "best fit" framework. It could be arguing that the Schooner framework, properly applied, should come to a different conclusion. It could be a wide variety of other things, too. But I don't particularly appreciate a low-effort swipe, an insult to my character as an honest interlocutor trying to make any sense out of an extremely messy topic, or an insanely surface-level dichotomy that just doesn't seem to cohere with a significant amount of what we've seen here.

That's not even to say that the surface-level dichotomy is wrong! Like I said, it might be right! Perhaps it is the best fit, but it would seem to require other "real consequences in areas outside of citizenship" as well as probably overturning cases and having real consequences directly within the topic of citizenship. Maybe that's right, and those things should be overturned! I just want your help in how we can actually make a 'best fit' theory/framework and understand what its consequences would be.

1 - Perhaps 24hrs was not sufficient, and you are still thinking deeply about the matter, working through the issues, and preparing a very helpful response. If so, I appreciate your effort greatly.

I think there are both meaningful Constitutional and statutory triggers/constraints that are different for the two cases. I'm not quite sure how an understanding of whatever form of jurisdiction impacts them. At least for the main route that has been tried (invocation of the Invasion Clause), there is not a lot of substantial high-level judicial reasoning on the topic. There are federalism questions at play, too. In my brief search for writing, it's kind of funny that this was brought up earlier in the 90s by California/New York/New Jersey, which are not the 'usual suspects' that you would expect.

But beyond just the Invasion Clause, there are other statutory triggers/constraints. It's likely to get complicated, and I'm probably not likely to spend the time required to really dive deep into it. I think it suffices to say for the Schooner framework that Chief Justice Marshall is thinking that there is a meaningful difference between an Official Public Armed Force that has been commissioned or otherwise designated as being in direct support/control of a foreign sovereign and otherwise private individuals who are committing unlawful entry.

I think it is abundantly clear that I am unusually willing to engage in debate and spend an immense amount of effort in elaborating on my arguments, usually in good faith. That includes people I earnestly disagree with or those who dislike me.

I think that is evidence that someone who still manages to annoy me into disengaging is more likely to be in the wrong than I am.

I would also like to note that if we are inferring characteristics of our interlocutors from our own demonstrated efforts, I find it conveniently-timed that it is hard to say that I am unwilling to put in significant effort in good faith to understand vague terminology. I actually often thrive in environments where we don't have strict technical definitions, and we're trying to work through how to construct terminology that most closely matches our vague intuitions. I have one particular term at work that I've been saying I only have a "working definition" for for the past 4-5 years, because it still has plenty of vagueness around the edges and we're still learning stuff about it.

I am perfectly happy working with you on some amount of vagueness in your terms. But, as stipulated above, the natural inference is that you've given me nothing to work with. Not even an attempt.

You can't even get the rock to admit that your position is internally consistent and coherent

It's kind of hard to admit that something is consistent and coherent when you can't even say what the terms mean. How would one check? "Blurfs are bleep." Is that consistent and coherent? How can one know, unless they know what those things are? At least when rocks use words, we know what they mean. (Heh, trivially true, since rocks don't use words.)

you have a distressing tendency to vanish whenever I make an effort post calling out a bad argument you make

Is that better or worse than staying around long enough to declare the conversation over due to difficulties in your position and then insulting people to dismiss them when other difficulties are found in related positions?

I agree with your description of what Schooner actually did. What I am saying is that the framework that Schooner put in place is likely the correct framework within which to analyze the topic. Schooner does not directly answer our question, either, but my sense from all the follow-on cases is that if we're going to make conceptual sense of the matter, if we're going to construct a theory of the law, as Justice Barrett is always looking for, I'm not sure how we do that in any framework other than Schooner.

I don't think any courts have really analyzed the case of illegal aliens in detail, but I think if we look at a few other cases, we can at least get some ideas about what is plausible and how we might go about it.

The first one that I would mention, as @RoyGBivensAction says, is Indians. This is because we do have reasonably conclusive case law on it. Yes, Indians are Weird, yo, and I wouldn't appeal to any specifics there to actually tell us what the answer is for illegal aliens, but it reminds us of how we have to think of the framework. The jurisdiction of the sovereign is absolute, lest he consent to abridging it in some way. Whatever way that has weirdly been done for Indians, it is the case that they can, for example, be prosecuted for offenses, but also do not possess the "direct and immediate allegiance", not even one that is "local and temporary", that is necessary to be considered "subject to the jurisdiction thereof". Regardless of whether one mentally shoves "political jurisdiction" into that phrase, I really don't think one can just look at the case law and conclude anything other than that these two things are at least possible simultaneously.

Caveat paragraph: it is entirely possible that the Indians are Weird, yo caseline is just wrong. It is not impossible to think that the Court today could, for example, just state that Elk v. Wilkins was incorrectly decided, and that Indians either have to have birthright citizenship from 14A or be entirely immune from prosecution. This is possible! But absent that, I have to admit that these two things do not always follow in lockstep. So, we have to figure out how they fit into the framework. My sense is that one way to think about this is that the sovereign has consented to some amount of reduced jurisdiction, and this involves both some fuzzy amount of qualified allegiance (just to use the term that came up, but other descriptors may be fine) and that the sovereign has also consented to a limited amount of immunity in specific, qualified ways. I don't know that these necessarily work in lockstep, either; they may just be the outlines of what the sovereign has, in fact, consented to, factually.

Of course, as I said, because Indians are Weird, yo, that doesn't necessarily mean much about the specifics of the illegal alien case. Therefore, I would move to looking at the two closest other categories that we have. One of these categories has generated plenty of case law (some of which many folks, including Respondents, think is controlling), while for the other case that I think is close, we have just a short discussion from Schooner.

What we're looking for, in the language of Schooner, is people who are almost like lawful temporary visitors, but who don't have any license under which they enter, implied or otherwise. In fact, they have an express prohibition on entering. Obviously, one near miss is lawful temporary visitors. The other place to look for a near miss is any discussion of any hypotheticals where anyone else enters without a license. The only one I've seen anywhere in all of that case law is basically a relatively short passage in Schooner that talks about if an Army enters without the consent of the sovereign.1 It contrasts with the case of an Army entering with the consent of the sovereign. I'll quote that section in full again.

Without doubt, a military force can never gain immunities of any other description than those which war gives by entering a foreign territory against the will of its sovereign. But if his consent, instead of being expressed by a particular license, be expressed by a general declaration that foreign troops may pass through a specified tract of country, a distinction between such general permit and a particular license is not perceived. It would seem reasonable that every immunity which would be conferred by a special license would be in like manner conferred by such general permit.

We have seen that a license to pass through a territory implies immunities not expressed, and it is material to inquire why the license itself may not be presumed.

It is obvious that the passage of an army through a foreign territory will probably be at all times inconvenient and injurious, and would often be imminently dangerous to the sovereign through whose dominion it passed. Such a practice would break down some of the most decisive distinctions between peace and war, and would reduce a nation to the necessity of resisting by war an act not absolutely hostile in its character, or of exposing itself to the stratagems and frauds of a power whose integrity might be doubted, and who might enter the country under deceitful pretexts. It is for reasons like these that the general license to foreigners to enter the dominions of a friendly power is never understood to extend to a military force, and an army marching into the dominions of another sovereign may justly be considered as committing an act of hostility, and if not opposed by force, acquires no privilege by its irregular and improper conduct. It may, however, well be questioned whether any other than the sovereign power of the state be capable of deciding that such military commander is without a license.

The passage is trying to consider the possibility that such entry may not in fact be hostile; it may not in fact be part of a declaration of war. And it's tricky. Remember my discussion of what I felt missing in Ex Parte Quirin. How do you deal with careful distinctions between official Armed Forces, which may or may not have hostile intent, nonofficial folks who are indeed belligerents, what counts as a "hostile occupation" or not? It's unsatisfying as of yet. But at the very least, we can see that Chief Justice Marshall wanted his framework to reason about unlicensed entry of Armed Forces, even perhaps without de facto hostile intent.

One might think that he concedes that hostile intent is inferred anyway, and that may be true. But then, I ask, in Chief Justice Marshall's framework, would one ascribe to them "temporary and local allegiance"? I think not. Nevertheless, they do not seem to gain any immunities. The sovereign has not consented to their entry, has not granted them any explicit/implicit license, has not consented to granting them "temporary and local allegiance", and has not consented to any limitation via immunities. As such, if one were to ask the question as to whether a birth occurred during such a hypothetical event to one of the members of this Army, would the child be a US citizen? I feel like I sort of have to believe that the answer is no, if I believe that this framework is the correct way to think about it.

Of course, yet again, this does not answer the actual question of illegal entry of non-Army regular folks. It's a near miss, but it's an exercise in working the framework.

The other near miss is temporary visitors, with the passage I have certainly quoted, and which WKA used for its entire analysis of this near miss case. My honest opinion, not trying to reach any result, just my impression of the words on the page, is that the implied license for their entry is critical for the "temporary and local allegiance" that is imputed to them. If, as it seems to me, that this implied license is a critical factor, then the absence of it leads to the inference that folks who lack any license whatsoever, express or implied, lack the "temporary and local allegiance" that lawful temporary visitors have. The sovereign has not consented to their entry, has not granted them any explicit/implicit license, has in fact expressly rejected giving a license, expressly prohibited their entry, has not consented to granting them any "temporary and local allegiance", and has also not consented to any limitation concerning prosecution via immunities.

Perhaps something is wrong there, but that is genuinely my best understanding of the framework. We can see that such a combination of conclusions is at least possible given some of the other cases, and it appears to be the most natural interpretation of the theory for the specific case.

1 - EDIT: I suppose it also gave the case of when another sovereign enters without consent. I think that's even further from a near miss, and I'm really not sure that it's all that helpful in either direction. That one is very weird.

Thank you! It's a chonker.

Cool. Thanks! I'll try to remember that, so I won't accidentally ask again the next time I try to make a main post, which could be months. Mods! Hello! Not @'ing you or calling you out or anything, but if you happen to see this. :) Thank you!

Tech support question. I just posted a new main post. Logged in, it shows fine. If I open TheMotte in incognito, it doesn't show. If I open the direct link in incognito, it says [Deleted by user], which, uh, I don't think I did? Do all main posts need to be approved? Did I break something?

We have designs

As I wrote (and just linked to):

Stepping back and taking a very broad view, there are several steps to the research, development, and engineering of a system. Generally, one begins with physical principles. With those physical principles, one can compute theoretical limits. One can also sketch a concept of operation based on those physical principles. Often times, at that point, one can still handwave away many practical concerns and compute how close a concept could, in theory, get to the raw theoretical limits. As one progresses, one may include an increasing number of more real-world difficulties.

For nuclear rocketry, we are not building on a blank slate, as though no one has ever started down this path at all, as though we simply have no idea what the theoretical limits are or what the concept-based performance could look like (still handwaving away many practical considerations). People have been doing this work and publishing it for half a century.

Sigh.

What we DO know is that most fusion systems provide much better specific impulse and exhaust velocity than chemical rockets can.

As I just wrote, and you ignored:

I'll note here that you've already betrayed that you know nothing about what you speak of. We already have some other technologies that are "massively more efficient", but you're not talking about them. They have trade-offs, because yeah, trade-offs exist. When discussing them, we talk about standard performance metrics and how that corresponds to capabilities.

But I'm glad to hear that you've finally admitted that there are at least two useful performance metrics that we can actually talk about (specific impulse and exhaust velocity). So, uh, about how much better, in theory? (A range is perfectly fine here.) How does that compare to other existing systems? Are there tradeoffs with other performance metrics?

The physics has already been worked out!

This was literally my claim, which you rejected.

We do not need to go over it.

This is, in a word, stupid. Perhaps in two words, monumentally stupid. It is nothing other than a self-declaration that you intend to remain ignorant of what you speak.

a general point that using a massively more efficient power source is superior

Sure. Are there trade-offs? How much more efficient? Is there a performance metric for that? What does it look like? What does that physically mean in terms of capabilities?

I'll note here that you've already betrayed that you know nothing about what you speak of. We already have some other technologies that are "massively more efficient", but you're not talking about them. They have trade-offs, because yeah, trade-offs exist. When discussing them, we talk about standard performance metrics and how that corresponds to capabilities.

Frankly, I was saying that your prior comments are basically incoherent.

Instead of taking the experts at their word, we should debate the physics of fusion rocketry as amateurs

...lol, you don't know what my profession is.

Look, I didn't want to wave credentials around, but the reason why I got into this discussion is because you were showing that you are ignorant of the physics involved. What I'm arguing is that you need to learn a little bit about it before you make claims about it. Especially before you make dismissive claims where you say that we don't even need to consider the physics involved. That we don't even need to think about concepts like the rocket equation, specific impulse, thrust, delta-v, etc.

My claim was that we already had pretty decent published literature on various not-yet-existing propulsive methods, that this literature uses the standard physics and the standard methods of analysis and standardized performance metrics. You were saying that we should just ignore all that. That it was wholly irrelevant.

Nah, dawg. You need to have a basic understanding of the domain you want to speak on. If you're going to now agree that we can go look at the published literature (at least I think this is what you want to go for; you just called out an "internet search", so maybe you're going to crackpot sites) and that doing so is not wholly irrelevant, then one requires a sufficient understanding of the basic physics and terminology to have any clue what it is, and is not, saying.

Ah, so you think that there is something to be looked at in terms of designs, and at least something about distances/payloads, yes? And you think that this information can be found and understood with just a quick internet search? You just think that these internet sources don't use first principles reasoning, conceptual designs, concepts like specific impulse, thrust, and delta-v, etc., I guess. Those things are wholly irrelevant to your point. Am I understanding you correctly?

As long as it's significantly better than chemical rocketry, which it is, then that makes it a better option for long-range spaceflight, since it can do the work and chemical rockets can't.

Lets use another one of your examples. Cars are much better than horses. Does that imply that cars are a better option for long-range spaceflight? If you think this statement doesn't quite make sense, try to explain without reference to any first principles, conceptual designs, concepts like specific impulse, thrust, and delta-v, etc.

Alternatively, to hone in really narrow:

since it [fusion rocketry] can do the work

How do you know that it can do the particular type of work you're asking it to do? Wouldn't it be nice if you had some reasoning, from first principles and/or conceptually, which could inform you as to whether it is plausibly up to the type of task you're asking of it? Some sort of check to see if you're accidentally expecting a car to go to the moon, just because it's better than a horse?

Stepping back and taking a very broad view, there are several steps to the research, development, and engineering of a system. Generally, one begins with physical principles. With those physical principles, one can compute theoretical limits. One can also sketch a concept of operation based on those physical principles. Often times, at that point, one can still handwave away many practical concerns and compute how close a concept could, in theory, get to the raw theoretical limits. As one progresses, one may include an increasing number of more real-world difficulties.

For nuclear rocketry, we are not building on a blank slate, as though no one has ever started down this path at all, as though we simply have no idea what the theoretical limits are or what the concept-based performance could look like (still handwaving away many practical considerations). People have been doing this work and publishing it for half a century.

Do you agree or disagree with this general picture?

Why would we need to escape the rocket equation? It's like going from horses to cars.

Neither horses nor cars are propelled by the physics of the rocket equation. The rocket equation is an exponential (or a logarithm, depending on which way you arrange it). It provides a hard limit on performance that cannot be hand-waved away. You say, rightly, that future technologies can perform better. This is true. How much better? What are the numbers that we can plug into the rocket equation in order to compare to the other numbers that we can plug into the rocket equation? It is only then that we can really get a sense for the scale of how much better future technologies can be.

PRISM is a code name for one of the tools that Section 702 authorized.

I think an equivalent way of saying this is, "Section 702 is the statutory authorization for tools like PRISM."

(I believe your comments are blurring the distinction between being something and authorizing something.) The fact that PRISM is a code name and was classified justifies calling it a "black program". Also, I interpreted the phrase line item from OP to be budgetary, since I have only ever heard that term used in a budgetary context before.

Perhaps blurring occurred. I would contend that the blurring occurred here:

As for the statutory authorizations, they were black programs and their replacements are almost certainly black. There's no statutory line item for PRISM or XKEYSCORE any more than there was for the SR-71, and there won't be for the replacements either.

Is this talking about "statutory authorizations"? Or is it talking about line items, which you interpret to be budgetary?

I contend that if it's talking about "statutory authorizations", we obviously have it. I will concede that if all that Nybbler was saying was that we don't have public budget lines, then sure, we don't have it. But I would also contend that that's pretty much entirely beside the point when the conversation is about what they have legal authority to do and what we know about what their programs actually did.

I also think that whether proper names are in the statutory text isn't particularly salient for whether we have a statutory authorization or are able to understand how something works. A couple of prompts to some AI on the topic, and it appears that the term "Head Start" was nowhere to be found in the Economic Opportunity Act of 1964, but nevertheless, a program by the name "Head Start" was understood to be authorized by this statute. That does not imply that this program was so 'black' that we can't understand anything about how it works.

Look, I'm normally not this belligerent, but Nybbler in particular has a history of being willfully ignorant on this topic. Over and over again.

PRISM is the name of one of the major components of FISA Section 702. This is public law. I don't believe the claim was that the budget is public. After all, the sentence immediately prior in the original comment was:

As for the statutory authorizations, they were black programs and their replacements are almost certainly black.

That speaks specifically about authorizations (which FISA Section 702 is), not appropriations.

They were intercepting the lines between the Google front end servers and the GMail backends

Facts not in evidence. We've been over this. There was one slide, where this was presented as an idea. There was none of the information you would have expected on a slide like that about implementation details, authorities, measurement of flows, nothing. We have literally zero actual evidence that they actually did this. It is entirely possible that they did do this, but we just frankly don't know. If they did do this, it would not likely be related to the two major programs that were controversial from Snowden leaks, if, ya know, you had any understanding whatsoever of how those programs worked. Showing again that you don't know anything about these programs and are just free-associating.

That they then pretended they didn't see the stuff that didn't relate to a targeted individual doesn't mean they didn't have it.

I'm not sure which actual claim this is referring to, because it's too vague. You might be trying for something that was real, but I can't tell, because you're again just free-associating rather than speaking about any genuine knowledge of the leaks or the law or literally any real, actual information that we have.

They use a very non-standard definition of the term "collected" to claim they didnt "collect" the data that didn't relate to targeted individuals, but they went through all of it.

This, I believe, is pretty much just false. They have a pretty clear definition of when they "collect" information, and they're pretty clear that they do collect information from people who aren't the targeted individual. They talk about this very explicitly.

You just have literally zero clue how any of this works, because you've persistently refused to educate yourself at all. It's really really really obvious and really bad. The last time we did this, I painstakingly forced you to the point of demonstrating that you were capable of downloading a document (yay! you can use a computer!), but you immediately went on to demonstrate that you were incapable of reading it.

There's no statutory line item for PRISM

I'll just jump in here to say that this is the first outright false thing in this comment. The rest of your comment is just admitting to the truth of my comment. You don't actually know the differences; you don't actually know how they worked; you don't know the follow-on history, how the statutes changed, etc.

they were tapping the major email providers and Hoovering up all the metadata AND content

This was a close second to being outright false. Actually, I'll probably say that it's outright false. You could make modifications to it to be true, but as stated, it's outright false.

The propaganda here is by those pretending this isn't a big deal.

Look, I'm not pretending it isn't a big deal. Of course it's a big deal. That's why you should put in the effort to understand it instead of continuing to be false false false.

mass domestic surveillance

What do people even mean by this anymore?

Precisely. I am once again reminding people that the vast majority of folks can't even identify the names of the two main programs that were contentious, much less say anything about how they worked... and even further less about how they were different from each other.

Do people think they stopped after the Snowden leaks?

...and yet somehow even further less about the subsequent history of those two programs. What follow-on statutory authorizations looked like or whether each of the programs continued.

No, people mostly don't have a clue. They absorbed a bunch of propaganda over a decade ago, never made coherent sense of it at the time, and are now just half-remembering faint glimmers of propaganda from days past.

I suppose the snark is aimed at me. So I guess I'll start with the snark right back, first. My comment included multiple very hopeful things, and a big part of that was due to the linked post's discussion of Alethia's performance on First Proof, which you would have known if you had read either of them. This now is just the ArXiV version of it.

I am still quite very hopeful, and it's nice to see the actual proofs that were generated. It is quite unfortunate that I can't beat on the system with my own problems to get a personal feel for it. I also endorse pretty much everything @PokerPirate has said below up to this point.

Obvious remaining concerns are obvious. It still generated wrong proofs, when evaluated by experts. Many many many hours of evaluation work. That can plausibly be managed; wrong proofs are definitely out there. I will repeat my related concern that the ballgame is quite different when you're working on a problem where you don't already have a solution (that is, where you don't know that a solution exists). And as you mention, cost, question mark? They're unclear about it, and what they do have looks scary, especially if you look at the numbers floating around in their prior papers (also untethered from an absolute scale, but wild in a relative scale).

Thanks again for the kind and thorough response.

My impression is that the models can just about do what you want them to do, but with significant frustration and wasted time on your part.

I would quibble with this. What I want them to do is to be able to help me with analysis that I don't already know how to do. I wrote it this way a couple days ago:

When I've known the solution, I can probably get it there. When I've not known the solution, I have to say that at best, it's been good at helping me find other results in the literature that might be helpful. It is, indeed, labor-intensive and quite frustrating to have to carefully pore over every detail, trying to see if it went astray when generating a mountain of text. Then, when you find something wrong, maybe not even having verified the rest of it, it'll happily produce another mountain of text, and it feels like you're starting from square one. When you're already confident that you know a method will work, then it's mostly just a test of will to see if you can get it to figure it out. When you don't know, the question of whether you potentially waste mountains of time on what may be a dead end or just proceed on your own becomes far more difficult, and you have to make that decision repeatedly along the way.

The reason why I was thinking about the particular flight mechanics problem for this thread here was that I wanted to further drive in that wedge that I think is between the folks who think that most knowledge work is already automatable and those who think that it can be useful if you already know what you're doing. Thus, even a problem where I'm quite confident that I could do the analysis, I predicted that the LLM would fail on its own without significant knowledge-work-educated input. To me, this means that there are two significant steps that the models must overcome before we're thinking about a possible world where basically all knowledge work is automatable.

Maybe as an aside, I'm able to leverage collaborators at multiple levels, from profs to post-docs to PhD students to MS students to undergrads. My experience has been that coming up with the right problem to solve is actually a huge part of the battle. During that process, I'm always considering if I can spin out sub-problems or related problems that may be useful to consider on the way to what we really want (or sufficient contributions in their own right). When considering them, I mentally bin them into a hierarchy. If it's a problem that I'm near 100% sure I could just sit down and do, perhaps I've already done all of the pieces, but never done quite that variant before, and now it seems like that variant might be of interest, it's a plausible candidate to go to an undergrad. On the other end, the vaguest, most conceptually-dense questions, I may reserve for conversations just with profs. There is sometimes something to be said for not "distracting the students" by letting them spin their wheels on something that they're not likely to really contribute on anyway. I have somewhat of a sliding scale for the in-between students/post-docs; I've put words to the basic contours of that scale before, but I don't think I'll bother here, because it's not the most important. There is a possible slight correction factor available if I've been working with a student for long enough to know that they're substantially better/worse than the average student in their category.

In any event, perhaps if I had listed out all of the steps of this scale, I'd have even more than two significant steps that models must overcome, but for my purposes in this thread, I was trying to pick a problem that was pretty directly in the realm of, "I could just give this to an undergrad."

Yes, could I bang on an LLM long enough, the amount of will required being dependent on the particular problem, that it eventually finds its way to the answer that I already knew was the answer all along? Yeah, probably. Is this a huge upgrade from GPT-4? Honestly, I don't know; I gave up back in those days rather than ever really try to beat it into submission.

...but this still is just not really useful, at least not if the goal is to actually automate the knowledge work piece. Sure, it's potentially useful once I've already done all the knowledge work, and I'm sitting down to actually code the thing that I definitely know how to code. But more likely, at this point, it's going to be useful to the student who I've asked to code the thing, because I'm probably not coding it myself, anyway.

I don't really have a good timeline or prediction for if/when some sort of AI system will cross these various thresholds. I'm still hopeful on the straight math side, as I said in my comment a couple days ago. But if the purpose of this exercise here is to find problems that cause someone to update, I was hoping that, "Here's a problem that I'm comfortable that I could give to an undergrad and pretty confident the LLM will fail," could pull you at least epsilon away from thinking that quite so much of knowledge work is currently automatable or perhaps epsilon more cautious about believing that it's quite so imminent.