qbit42

Modern set theory is sufficient for most mathematicians. That other stuff is interesting, but you can do great mathematics without it.

Yes, I know how to circumvent. Just thought the dev might want to know given the audience for the website.

Just so you know, some campus networks block the .xyz domain. I can’t access this from my university WiFi.

I don't think that's a fair characterization. If a user requests a company to stop using their data, ML unlearning allows the company to do so without retraining their models from scratch.

Do you know anyone taking these drugs? They can dramatically reduce cravings for food - the effect is significant. Not to say there aren't plenty of valid concerns about such drugs...

I am not sure how verifying that a photo was unaltered after capture from a camera if very useful though. You could just take a photo of a high-resolution display when an edited photo on it

Find it pretty helpful as a math-adjacent academic. It's great at coming up with counterexamples to inequalities with FindInstance. I don't know how irreplaceable it is, but in general I find the UI for manipulating symbolic equations nicer to use than anything else I've tried.

This game is a decent introduction, though I think it has plenty of room for improvement: https://adam.math.hhu.de/#/g/leanprover-community/nng4.

Yeah, my math class followed Axler, which was great - but I didn't really get a feel for how useful linear algebra was until I read through Strang on my own. The applications are endless!

You do if you are a complexity theorist :)

The fact that Sterling’s approximation is only an approximation

It’s just a power of a non integer base, which he gives a formula for

While Quanta often has click baity headlines, it is really the only decent website for pop math and theoretical computer science.

I've really loved using Arc recently, it's a very fresh take on web browsing. I've found that its spaces feature handles my uses of (most) bookmarks and tab groups in a more coherent way. My main annoyance is that there isn't any sort of backup standard bookmark system built-in.

As a casual terminal user, I have found Warp to be a nice improvement over standard terminals. Although most of the issues raised in this article can be addressed with various shortcuts, it is nice to not have to remember these when I only pull up the terminal a couple times a week.

Yeah, that's a panel for an ad.

I guess this comes down to the distinction between quantum mechanics and quantum information. Just as classical probability and information theory can be explored independently of classical mechanics, quantum probability and information theory make sense to study independently of quantum mechanics. (I think the article serves as a great intro to quantum information, but a rather lacking intro to quantum mechanics.)

Can you explain? That's not how I interpret either. Every quantum state can be realized as a classical mixture of pure quantum states (i.e. as a density matrix).

The "always-on" microphone feature is used to listen for "Okay Google", if you have that enabled.

This is a mathematical statement, see the end of the Wikipedia section "Algorithmic solution", where it states "Among all possible different stable matchings, it always yields the one that is best for all men among all stable matchings, and worst for all women."

I've heard mediocre feedback about their research groups as well, although they do pay pretty well.

The sun/moon button is unreasonably satisfying!

That's not published in an ACM venue, but that page has a link with the DOI, https://doi.org/10.1147/rd.24.0289, that takes you to the IEEE page with a download link.