connection issues – Will a Xiaomi Redmi Note 9 (international version) work reliably in the United States (comparable to a domestic phone)?

I’m buying a new phone, upgrading from an LG Q7+, and so far the best phone I’ve seen is the Xiaomi Redmi Note 9. The only con to this is that the Note 9 is only available in International version, and I live in the USA. I’ve heard that Metro by T-Mobile (my service provider) is good for international phones, but I don’t know if it will be comparable to buying a domestic phone. That is, I don’t want to get a really good phone but sacrifice all of my connection speed. If it’s a little slower, I’m fine with it, but if it will be a major difference, I’ll shop domestic.

One thing I’ve noticed is that, according to this site https://www.gsmarena.com/compare.php3?idPhone1=9206&idPhone2=10192 , the Note 9 actually has more 4G connectivity than my current Q7+ (11 bands compared to 9). Does this mean that it will be more reliable than my current phone, or does this mean nothing since it’s international? (Note that I’m not very tech savvy. I know next to nothing about these complicated specs, so I don’t actually understand the numbers)

The bottom line is, I want to buy a new phone, but I want to be sure that the new model I’m considering will have comparable connectivity speed to a domestic phone. I know that T-Mobile will support international phones, but I want to be sure that the support is good compared to their domestic support. If anyone reading this owns a Xiaomi in the US, I’d love to hear from you, but anyone who knows about this sort of topic would be extremely useful to hear from. Thank you to anyone who has read this far. I appreciate the help!

EDIT: I’ve found this site https://www.kimovil.com/en/frequency-checker/US/xiaomi-redmi-note-9 which suggests that it will work on US networks, but I have no idea what the numbers and technical terms mean. I’d like to know what exactly this says about the network reliability in the US. Thanks for putting up with my lack of tech knowledge!

fa.functional analysis – Is there a version of of Implicit Function Theorem for Banach Spaces with a System of Equations?

As the question says, is there some version of the implict function theorem for Banach spaces where one is dealing with a system of equations rather than one single equation?

I have asked someone and they said not specifically and that one would probably have to consider product spaces.

version control – Proactive git branch conflict detection?

I’m considering creating a new tool, but I wanted to find out if something like it already exists.

The Pain:

Working with many collaborators on a monorepo, conflicts are not possible to detect until specific effort is made to merge together work.

Whether it is the master branch that I’m conflicting with or another teammate’s feature branch, I must take a premeditated action to attempt to merge in or rebase on the other changes in order to discover that a conflict exists.

The Traditional Solution:

Communicate closely and regularly with teammates to limit the amount of overlap. Just work on something else, if someone might be currently touching or about to touch that code.

The Proposed Solution:

A service that monitors the git repo and proactively determines conflicts between branches. Mechanically, this can be done by checking out one branch and attempting a merge or patch on the other or any other suitable way. Feature branches are associated with “owners”. The master branch is a special case which has no owner. Heuristics are put in place to mark branches as inactive if their recent activity is older than some amount of time, and also if they have been squashed into master, so that only branches actively being worked on are checked. The number of conflict checks thus performed is quadratic on the number of active branches, so it should be a manageable amount of processing for a typical team size contributing to one repo.

What this service would provide, then, is a proactive and timely notification to the only people for whom the information is relevant: “Your work and your colleague’s work are now currently conflicting, and here is the conflicting content”. This will serve to catch the situations when your pre-planning has failed, but also it can serve as a supplement to planning. It can provide tactical feedback on how much toe-stepping has happened, allowing for timely correction.

One requirement for this to work well would be that each contributor has to commit and push regularly in order to benefit from this service.

Another point I think is that if this works as well as I hope it could work, then it’s possible that some aspects of development planning can be streamlined, saving some time and overhead from the development process. I would draw a parallel here to the Just-In-Time concept. Here, when you step on somebody’s toes, it’s caught (after the fact, unfortunately), but with a much smaller delay than usual, the delay is roughly until your next commit and push. I think if the concept pans out, it should also be possible to reduce the delay to move closer to a true Just-In-Time experience, editor integration will be required, though. Taken to its logical conclusion, an entire real-time collaboration layer would exist above git, integrated into the editor.

Does anyone else see the value of such a tool? I’m not seeing any downsides whatsoever, this can run as an independent service, and fire off emails based on readily available git user information. It would be zero-effort to set up from the perspective of participating team members. If this idea has merit, does such a tool already exist, so I could try it out? Or should I just try to make it? Thanks.

upload – Convert uploaded songs to shareable version in YouTube Music

Due to Google Play Music being sunset, I had to move all of my uploaded music from Google Play Music to YouTube Music. One nice feature about YouTube Music is the ability to share playlists with others. However, I realized that shared playlists do not show uploaded music in them when shared with others. They only show to the creator of the playlist.

Is there a way to automatically convert uploaded songs to a public version of the song that is visible to others? All of my music is properly titled with the correct artists. I’m surprised that I haven’t seen any sort of functionality like this built into YouTube Music. A third party solution is acceptable.

FTP server and chroot: SSL3 alert write: fatal: protocol version

When i enable "chroot_local_user=YES" in my FTP server config /etc/vsftpd/vsftpd.conf
then the FTP client (WinSCP) says:

when it is commented out and "service vsftpd restart" , it login OK, but allows browsing system directories in the /.
This is CentOS 7 Linux.

These are…

FTP server and chroot: SSL3 alert write: fatal: protocol version

Is there extra Javascript involved in the 2016 version of a multi-lookup control?

I have to filter the available options for a multi-lookup field based on the value of a Taxonomy field. I had it working in 2013 doing this:

  • On page load, detach all the option elements from the _SelectCandidate select control and store them in an array.
  • Once the Term has been selected, make a REST query to the lookup list to return all items that are tagged with the same Term.
  • Filter through the array of all options and return the ones whose value matches an ID of the items returned from the REST query.
  • Append the matches back into the _SelectCandidate select control.

This worked fine, even for Editing, because any selected options would be in the _SelectResult control and therefore wouldn’t be in the candidate options that got filtered according to the REST query results, and the Add and Remove buttons seemed to just pop the options back and forth between the selects.

But in SP 2016, if I go to remove one of the previously selected options, not only does that option move back to the candidate select, but also, all of the original options that should have been filtered out reappear.

I poked around in the HTML and I saw that there was a hidden input field with an ID that ended in _data that seemed to have an encoded version of what all the options would be.

So, I tried modifying that to only have the filtered options that I wanted to count as “all valid candidates”. However, even after doing that, when trying to remove a selected option, the candidate box still gets repopulated with all the options, including the ones I want filtered out, so it seems that teh value of that hidden _data input is unimportant, at least after the page loads.

So is the multi-lookup control now being controlled by some extra Javascript somewhere, that’s maybe caching it’s own version of “all the valid candidates”? How can I hijack that to make sure my filtering is applied correctly?

internet explorer – How to enable IE mode in Edge browser (Version 83.0.478.61 and up) for a site?

Is there an easy way to enable IE mode on the new Edge (Chromium) browser.
Recent version have removed the flag for IE integration and this functionality seems to be pretty well hidden and obscured with ‘special’ flags and xml compatility lists.
The best ‘guide’ that I could find is this one: https://byteben.com/bb/enable-ie-mode-and-use-a-site-list-in-edge-chromium-with-microsoft-endpoint-manager/

But, even with the guide, I was unable to determine how to correctly set up the ‘sites.xml’ to work correctly. The microsoft documentation for IE mode seems to be a maze of links leading so some ‘Enterprise Edge templates’ which I could not figure out what they represent or even if they apply to me (I’m not in any ‘enterprise’).
Does anyone have a simple tutorial or step by step instructions on how to set up the IE mode in a non-active-directory environment?

Thanks.