A clerk who once used a physical filing system but now uses a computer may naturally begin to bring the filing system to a higher level of abstraction. Think filing clerk -> database administrator -> relational algebra...
E.g. there would be enormous difficulty in replacing the Dewey Decimal System with something else, if only due to its physical inertia, but with a computer system a curious clerk can invent an alternative categorization and retrieval system which inevitably touches on mathematical topics.
I've seen the same and it seems due to people moving down the stack in response to LLMs being able to code at a junior-ish level and everything that entails.
The physicality of having to actually do things in the real world slows things down to the rate at which our brains actually learn. The "vibe coding" loop is too fast to learn anything, and ends up teaching your brain to avoid the friction of learning.
This is exactly the problem, but there's still a sweet spot where you can get quickly up to speed on a technical areas adjacent to your specialty and not have small gaps in your own knowledge hold you back from the main task. I was quickly able to do some signal processing for underwater acoustics in C, for example, and don't really plan to become highly proficient in it. I was able to get something workable and move on to other tasks while still getting an idea of what was involved if I ever wanted to come back to it. In the past I would have just read a bunch of existing code.
A lot of the boosterism seems to come from those who never had the ability in the first place, and never really will, but can now hack a demo together a little faster than before. But I'm mostly concerned about those going through school who don't even realize they're undermining themselves by reaching for AI so quickly.
Perhaps more importantly, those boosters may never have had the ability to really model a problem in the first place, and didn't miss it, because muddling through worked well enough for them. Many such cases.
These notes may appear to be overly critical or an extremely pedantic reading but they're pretty good, and it's bit like like having the teacher across from you while you're reading. But some notes are a little excessive and the teacher comes off as overbearing. For example, the emphasis on the function style is itself pedagogical, hence the avoidance of `loop` and the preference for recursion over iteration. Some are more excessive than that, like Chapter 2 page 18 (the author shouldn't use ~S if it hasn't been properly introduced yet, so sticking with ~A is actually the right choice.). Overall it's a great guide to reading, especially as it gives the student a sense for the higher-order stylistic considerations when writing a more malleable language like lisp.
The fact that no charges have ever been brought against him by the Salvadoran government, yet they still claim to be holding him there lends credence to this. Why would they not simply release him? If he's dead it would be a major problem for Bukele's government as well as the US government. So evidently we're in "disappeared" territory now.
This is a lot of words to say "I don't believe him". None of us really knows, and it's not worth speculating about, because the case is about something much bigger now. It's about the limits of executive authority, separation of powers, and rule of law.
> he did this by almost certainly committing perjury by claiming there were criminal gangs who would kill him if he returned to El Salvador
What evidence is there for this "near certainty"? Your argument here should be with asylum laws, not this individual.
For what it's worth, the situation in El Salvador at the time he left (when he was a minor) does make the claim somewhat credible. There's plenty of evidence that the choice for male youths at that time was leave or join whichever gang controlled your area. The idea that everyone is an "economic migrant" ignores the reality of the situation, which is far more complex.
I don't know in his personal case if he is lying. However, you can get to what the probability of a random applicant for an asylum being truthful very easily. You just need a good estimate of the % of migrants that had to flee gangs or other risk of death (gangs that are still in control of their communities), then compare that to the % that claim they had to flee for those reasons, then subtract.
I don't know what that % is, but we have courts that are deciding these cases every day. The actual court cases are more complex to analyze because lack of adequate council or other factors might influence outcomes. However, of people who attend their interview, about 44% are determined to not have a credible fear.
E.g. there would be enormous difficulty in replacing the Dewey Decimal System with something else, if only due to its physical inertia, but with a computer system a curious clerk can invent an alternative categorization and retrieval system which inevitably touches on mathematical topics.