qbit42

6 ms·

61.
by qbit42 2y ago
Modern set theory is sufficient for most mathematicians. That other stuff is interesting, but you can do great mathematics without it.
62.
by qbit42 2y ago
Yes, I know how to circumvent. Just thought the dev might want to know given the audience for the website.
63.
by qbit42 2y ago
Just so you know, some campus networks block the .xyz domain. I can’t access this from my university WiFi.
64.
by qbit42 2y ago
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.
65.
by qbit42 2y ago
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...
66.
by qbit42 3y ago
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
67.
by qbit42 3y ago
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 equat
68.
by qbit42 3y ago
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 .
69.
by qbit42 3y ago
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!
70.
by qbit42 3y ago
You do if you are a complexity theorist :)
71.
by qbit42 3y ago
The fact that Sterling’s approximation is only an approximation
72.
by qbit42 3y ago
It’s just a power of a non integer base, which he gives a formula for
73.
by qbit42 4y ago
While Quanta often has click baity headlines, it is really the only decent website for pop math and theoretical computer science.
74.
by qbit42 4y ago
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&#
75.
by qbit42 4y ago
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
76.
by qbit42 4y ago
Yeah, that's a panel for an ad.
77.
by qbit42 4y ago
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 the
78.
by qbit42 4y ago
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).
79.
by qbit42 4y ago
The "always-on" microphone feature is used to listen for "Okay Google", if you have that enabled.
80.
by qbit42 4y ago
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
81.
by qbit42 4y ago
I've heard mediocre feedback about their research groups as well, although they do pay pretty well.
82.
by qbit42 4y ago
The sun/moon button is unreasonably satisfying!
83.
by qbit42 4y ago
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.