I think I must be confused, but after reading many of the replies, I can't figure this out. Is the standard American perspective that one shouldn't have to show any form of identification to go through security, get on a plane, and travel anywhere within the United States? How does anyone associate your ticket to your identity?
My American perspective is unless I'm participating in an activity that definitely requires carrying and presenting ID, I don't need to.
Driving is such an activity. Transiting national borders as well. Maybe opening a bank account, but really it should be up to the bank if they want to see my ID.
If I'm travelling but not operating the vehicle, why should I need to carry and present ID? I'm pragmatic, and it's convenient to carry and present my papers to the nice officers, but I shouldn't need to.
Demanding ID when unnecessary is a hallmark of a police state.
You don't need to carry ID/license to operate a vehicle. People (including I'm sure some cops) think you do but you only have to possess the license and present it to the cops if asked. Presenting can include going home to retrieve it from your dresser drawer. The US isn't (or wasn't) a "show me your papers" country.
Can't speak for the "standard American perspective," but no, you should not have to show identification. Why should someone need to be tracked to travel? Why does a ticket need to be associated to identity?
I'm not stating that they should be. I first want to make sure this is not just a question of the "Real ID". I can think of a couple of reasons that would throw a wrench in the works:
- passengers on no-fly lists or criminals
- anyone who is underage -- do we let 10 year-olds fly alone? how do you assess age without ID? what if the child gets lost while traveling, and you can't even determine whether the child boarded their flight or not? (if you attach ID to the ticket, then that just seems like ID with extra steps? I could be missing something)
- baggage claim: if there is no link between ticket and person, what's to stop me from claiming anyone's luggage as my own?
I'm not firmly attached to any of these objections, actually -- and perhaps they're not even issues, because I'm missing something fundamental about the assumption. I admit my personal bias is that "taking a plane = passport" even when traveling domestically (I'm not a US citizen), so I have not thoroughly considered the possibility that "taking a plane = taking a bus".
> anyone who is underage -- do we let 10 year-olds fly alone? how do you assess age without ID?
Most children don't carry ID. And most ID for children doesn't even have a photograph. For travel that doesn't require a passport, you just have to deal with asking the child or their travel companions.
> baggage claim: if there is no link between ticket and person, what's to stop me from claiming anyone's luggage as my own?
I can't recall being challenged as to my identity for any luggage I've picked up from the carousel. This was as true in 1997, when it was the focus of a major motion picture [1], as it is today. Regardless, having possession of the matching luggage receipt for a tag should really be sufficient to pick up a bag.
> I admit my personal bias is that "taking a plane = passport" even when traveling domestically (I'm not a US citizen)
That's a reasonable personal bias, but presuming you're subject to mandatory alien registration and you're eighteen or older, you have a legal requirement to register and carry proof of registration. Citizens are not generally required to be registered with the federal government, or to carry proof of registration or other identity documents; although enough things require a social security number that the vast majority of citizens are registered and enumerated by SSA, and enumeration at birth is the default, but a very small number of citizens manage to be born without a birth certificate being issued.
We do have to show ID. But the federal government said it's not enough to use a normal state driver's license or passport. You need a special "Real ID" that's somehow allegedly better. Your old driver's license that you can pay for booze with, open a bank account with, and you know, drive with, isn't proof enough of who you are to ride on a plane.
Edit: I should note that I have one. But lots of people don't, because most people never replace their driver's license card.
Passport works. You don't need real ID. Its only purpose is to deal with states where the normal driver license issuing process isn't up to whatever standards the feds dictate.
A passport is just as tedious to get as a real id. As far as I'm aware, there's no compelling security benefit that the government has articulated about how standardizing licenses improves security.
I think this is where my confusion lies. It seems like many people are saying no ID of any kind -- passport, "real ID", driver's license, ... -- should be provided, period. So ostensibly a 10 year-old could show up at the airport and decide to travel on their own (and if we only ID "young-looking people" then we get into a similar discussion as to why one should always ask for proof of age when buying alcohol).
To be clear, I'm refraining from judgment on this (despite what the downvotes seem to suggest), I just want to make sure I'm understanding the distinction is not plain driver's license vs. Real ID. I don't like it very much that I have to show my ID (such as passport or European ID card) when I'm on a train in Switzerland. It seems like the majority perspective is that we shouldn't _at all_ be controlling the ID of people who get on a plane, and that's just interesting to me (it would force me to articulate what the difference is between a plane and a train ride).
I don’t think a no-fly list should exist. Either a person has committed a crime and should be prosecuted, or not. It doesn’t make sense to me to say, you’re too dangerous to be allowed on a plane but not dangerous enough to put in jail.
Catching wanted criminals would be nice, but that’s not considered sufficient justification in other places. Requiring an ID to enter the grocery store would help catch wanted criminals too, but few think that would be wise.
I don’t think kids flying when they shouldn’t be is an actual problem. You’d still need a ticket, which costs a substantial amount of money.
Seconded. This looks like a fun toy, but it solves a problem that I don't have (and I believe I am the target audience). Modern typesetters are very good (e.g., TexMacs). There is also a limited set of characters by design, and I would have to remove my hand from my keyboard only for those.
I throw these quotes by Y. Oono into the mix because they provide viewpoints which are in some tension with those who take -\sum_x p(x) log p(x) definition of entropy as fundamental.
> Boltzmann’s argument summarized in Exercise of 2.4.11 just derives Shannon’s formula and uses it. A major lesson is that before we use the Shannon formula important physics is over.
> There are folklores in statistical mechanics. For example, in many textbooks ergodic theory and the mechanical foundation of statistical mechanics are discussed even though detailed mathematical explanations may be missing. We must clearly recognize such topics are almost irrelevant to statistical mechanics. We are also brainwashed that statistical mechanics furnishes the foundation of thermodynamics, but we must clearly recognize that without thermodynamics statistical mechanics cannot be formulated. It is a naive idea that microscopic theories are always more fundamental than macroscopic phenomenology.
I am a Canadian currently on an H1B visa, valid until November 2026. I can probably recapture time until early 2027. I just got an EB2-NIW approved, but my priority date is in August 2024, and currently we are serving people in Apr. 2023. It will take at least until next year until I can file my I-485 and get my GC.
I am wondering what my options are in case I need to find a new job. My understanding is that the EB2 doesn't help me much unless I can truly demonstrate that the new job continues to advance the national interest in the same way, and that any deviation from what I wrote in my application is grounds to deny the I-485.
In case I can't find a new job that fits the exact description I have on my EB2-NIW, and I have to move out of the US, can I still file my I-485 once my priority date becomes current (and therefore get a GC)?
Your understanding about the exact fit between your NIW job and a new job isn't correct. NIWs are not subject to the same portability requirements as PERM-based green card applications. That being said, when you are able to file your I-485 application, you might be asked to demonstrate how your work is serving a national interest, even if this interest is different from the one in the NIW.
I use Jupyter Lab every day on OSX in scientific/academic work, so I feel I am your target audience. In case it helps you gauge my impression, I spent about two minutes reading the post and scrolling through the website.
I feel I did not understand the main advantages of this notebook aside from the AI integration. I don't understand how "start-up" time is a cost; I have a Jupyter server running at all times and use it as a scratch-pad throughout the day, so it is always available.
I don't understand the "modern command palette". As far as I can tell all the commands are available to regular Jupyter Labs, and either way I always use hotkeys for them.
The code formatting using black isn't bad, but notebooks are for scratchy ideas, not real code. If I'm at the point of formatting code, it's going in an actual IDE. I'd even argue providing formatting inside of a notebook encourages bad habits for scientists, who prefer to stay entirely within a notebook, but are then sometimes unable to reproduce their results.
I don't see the advantage of the copy-paste; I can copy paste directly from Labs to Slack/online editing pages, and certain Latex typesetters.
Pros: it looks pretty, the site has nice demo videos (in terms of quality; I didn't understand the content).
I want to like this but I don't see any benefits for a power user except for the AI integration; if AI is the only selling point then I prefer to get it differently.
I also use notebooks and qtconsole daily so I'd like to chime in.
- I don't have a continuously running notebook server. I start it when I need to and shut it down if I won't be working with it for a while. I do like the idea of clicking an icon and starting an app.
- Modern command palette, I believe, is similar to what you would see in apps like VS code. It doesn't offer more commands but instead make it easier to find and execute commands. I don't use Jupyter Lab so I don't know if it has a command palette but Jupyter Notebook doesn't so that seems like an advantage to me.
- I disagree on the formatting point, too. Even if I am just doing something very quick I cannot stand seeing lines extending some length, no space after a colon, single vs double quote inconsistency etc. So I do spend time formatting them even if I am on IDLE and know for sure I am not going to save it. Thankfully, IPython added support for Black so it is less of an issue for me.
Apps in this area generally focused on extending Jupyter to maybe combine SQL/JS with Python, making data exploration easier but I do appreciate a light app that just gives me a notebook experience with some small advantages, especially considering Classic Notebook is going to go away soon. I'll definitely give it a try.
- Re: continuously running a notebook server, how about an alias in your ~/.*rc file that just launches a new JLab? Personally I don't find the startup time so high, so it doesn't seem to me 'startup time' is the strongest lead to sell the product. (Of course, if most people find that the startup of a notebook is indeed a large cost then it's a fine point to make. )
- Re: command palette, gotcha. As you say, classic notebooks are going away (and I haven't touched one in a while).
- Re: formatting, I take it back. You're right, there's been plenty of times I've wanted to have nicer formatting in a notebook/lab, that's nice.
I switched to Windows/WSL2 a few years back so don't have a fight in this game (though if it's Electron, why only macOS?) - but having to switch between IDE and Jupyter for code formatting seems like unnecessary overhead.
But TBH Quarto is much better in this regard; you can use a VScode together with another IDE if you wish to format/edit/run chunks of code in the same file.
> but having to switch between IDE and Jupyter for code formatting seems like unnecessary overhead.
You're right about this. I don't love my setup (and have not put enough effort into optimizing it -- hence my reticence at learning Yet Another Tool), but the main reason I use notebooks is for objects that persist in memory. I can load up some huge dataset, keep it open, and jump back to it whenever I want over the next day/week/month without having to "reload" it (fetch data from some server and do processing).
I'd love a robust Jupyter-in-Sublime experience, where I have all the editing/hotkeys of Sublime along with this persistence of objects.
Quarto looks cool, might check that out. If there's any specific part of it you think is awesome, please do point it out. Thanks.
If you'd be happy to share: I'm curious to know what scientific field you work in? Do you do 100% computational work, or is it a mixture of experimental and computational?
Sure. I do algorithm development at a biotech company, it is 100% computational work. I am not a software developer by training, my background is in mathematics.
I like your formulation of this as a "distributed measurement problem", but I'm not sure I follow. Could you elaborate? Specifically, I'm not sure if you agree or disagree with the post you are replying to. Thanks in advance.
Could you demonstrate with an example how Ascii math is easier to read and takes less time and effort to type? The example on the main page,
sum_(i=1)^n i^3=((n(n+1))/2)^2
looks to me no less complicated than
\sum_{i=1}^n i^3=((n(n+1))/2)^2
so if the goal is it quickly communicate mathematics in plain text (without rendering), I see no difference. If the advantage is that the outer parentheses are automatically resized, why not write a renderer that uses Latex and puts \left, \right everywhere? Better yet, why not go straight to TeXmacs?
I'd love to see an example of a mathematical expression where Ascii math is visibly simpler than Latex and is not just about parenthesis resizing.
I think the statement that "You'll enjoy the music a lot more by adding the physical movement to it" is unlikely to apply to everyone, and may not even apply to a majority of people. Not because humans don't have a natural inclination to "move to the beat" (they might), but because a dance club may be much more intimidating for many people than, say, a music circle.
I have both legs, I love music (our home has several musical instruments), and I'd never join a dance club. Glad it works for you but I just wanted to offer another perspective.
Also, nitpicking, but you can dance even with just one leg, as the first (or one of the very first) verses in "Moving to Florida" by the Butthole Surfers shows ;)
Depends on which ones you go to. If you go to one where the crowd are people who have taken lessons, yes, you do see the stuff in the picture. If you take lessons, yes you can dance like that. There's always a shortage of men at these functions, so if you make the effort to learn it, you can dance with excellent partners, and your rear will never touch a chair.
The costumes in the pictures you'll only see at a competition event, but people still dress up for the club dances.
The community of these people is not large, and they know each other, and will network to find a venue to meet up at.
It's really too bad more people don't do it. The barrier of learning it is rather high, as there's a long awkward stage, and few are willing to put in the effort. But the payoff is lifelong, and as I wrote, it really dials up the pleasure from music.
