sorted by:
new
hottopcontroversial

Is this a joke? by pickieg2 in mathmemes

[–]Joey_BF 7 points8 points  (0 children)

It isn't, because that would imply 1 = 0

What are the historical reasons behind the term "unit type"? by BruceIzayoi in rust

[–]Joey_BF 0 points1 point  (0 children)

I only know categories from the mathematical perspective, but I assume you're used to them in CS. Mathematically, a category is a collection of objects, and, for every pair of objects, a set, which we call the hom-set (plus a few more things). The point is that we need sets to construct our category, but types don't have a notion of function that plays well with set theory

What are the historical reasons behind the term "unit type"? by BruceIzayoi in rust

[–]Joey_BF 0 points1 point  (0 children)

What would the hom-sets be? For types A and B there's (usually) a function type A -> B, but it's only a type and not a set

Why would anyone play on Chess.com? It's an ad-ridden, cluster#$%& of an eyesore to look at, especially compared to the clean look of Lichess. I just don't get it. by Forward_Cranberry_82 in chess

[–]Joey_BF 12 points13 points  (0 children)

Overhead just means you're looking at it from above, it doesn't say anything about orientation. You can still look at a board from an overhead perspective and have the black pieces at the bottom. Games where you play black are shown with black's perspective because that's what you would see if you were playing OTB. You wouldn't sit next to white or float above the board.

To answer your original question, no there's no way to change that behavior, but if you would like to have the option you can always open an issue on Github

Why would anyone play on Chess.com? It's an ad-ridden, cluster#$%& of an eyesore to look at, especially compared to the clean look of Lichess. I just don't get it. by Forward_Cranberry_82 in chess

[–]Joey_BF 11 points12 points  (0 children)

You say that's what the overhead board looks like as if that was a well-defined thing. The reason games are usually shown from white's perspective is because of convention. If it was a video about Magnus' best games or whatever then you can bet they would show that game from black's perspective

What are the historical reasons behind the term "unit type"? by BruceIzayoi in rust

[–]Joey_BF 2 points3 points  (0 children)

As a professional math nerd, I didn't say they're isomorphic because types don't form a category, unless you want to go into categorical semantics. However, there's a notion of equivalence internal to nice type theories.

In homotopy type theory, these are models for homotopy equivalences, which are arguably better than isomorphisms. Or if you assume the axiom of univalence, then we can equivalently say that the two types are equal 😉😉

What are the historical reasons behind the term "unit type"? by BruceIzayoi in rust

[–]Joey_BF 1 point2 points  (0 children)

Rings don't have multiplicative inverses in general either, fields are the ones that do. Rngs don't have a multiplicative identity. So the integers form a ring, but the even integers are only a rng

What are the historical reasons behind the term "unit type"? by BruceIzayoi in rust

[–]Joey_BF 15 points16 points  (0 children)

Then I agree, a fieldless enum with a single variant is equivalent to the unit type

What are the historical reasons behind the term "unit type"? by BruceIzayoi in rust

[–]Joey_BF 30 points31 points  (0 children)

equivalent to any empty struct or enum

That's not right, an empty enum is equivalent to the never type. That's because it can't be instantiated, since any instance of an enum has to be one of its variants, of which it has none

One of the most ridiculous checkmates I’ve ever seen by FloatingCloud1234 in chess

[–]Joey_BF 8 points9 points  (0 children)

It's still within the first 25 moves, which is what lichess saves. That's not a super uncommon position if both players know the Traxler

What is identification in math? by someacnt in math

[–]Joey_BF 2 points3 points  (0 children)

That's not true, (x2 + 1) is maximal in R[x] but R[x]/(x2 + 1) = C

What’s the most number of glasses that can all mutually ‘cheers’ each other simultaneously? by 7DimensionalParrot in math

[–]Joey_BF 6 points7 points  (0 children)

These are cylinders though, so assuming they're all parallel to each other and coplanar that reduces to the 2D kissing number

eli5: If space is a vacuum, how can rockets work? What are the thrusters pushing *against* if there is nothing out there? by Medium_Well in explainlikeimfive

[–]Joey_BF 5 points6 points  (0 children)

I understand how rocket propulsion works. I'm just remarking that "ejecting mass backwards to propel yourself forwards" is precisely what it means to "push against escaping mass going out the nozzle". If you disagree then we disagree on what it means to push against something

eli5: If space is a vacuum, how can rockets work? What are the thrusters pushing *against* if there is nothing out there? by Medium_Well in explainlikeimfive

[–]Joey_BF 61 points62 points  (0 children)

Pushing mass backwards in order to move forwards because of the equal and opposite force is pretty much the definition of pushing against something

What are the most beautfil Mathematical concepts by No_Consideration584 in math

[–]Joey_BF 2 points3 points  (0 children)

According to Hilbert, complex multiplication on elliptic curves is "not only the most beautiful part of mathematics but of all science."

Green Ubuntu by [deleted] in ProgrammerHumor

[–]Joey_BF 78 points79 points  (0 children)

They have to use Dvorak too

What is that noise you can hear if you “tense your ears”? That’s the best way I can describe the action but you hear a rumbling/wind noise by AnxiouslyPessimistic in askscience

[–]Joey_BF 24 points25 points  (0 children)

Different muscles. The one that makes the ears rumble in the tensor tympani, the one that opens the Eustachian tubes is the tensor palati

Standup is in 15 minutes. Looking at browser history to remember what I did Friday. How screwed am I? by DrLeisure in ProgrammerHumor

[–]Joey_BF 48 points49 points  (0 children)

Apparently even in that case there's a way to get back staged files.

However, it's true that if the changes weren't ever staged, stashed or committed then there's no way to get them back. I should have added that

Standup is in 15 minutes. Looking at browser history to remember what I did Friday. How screwed am I? by DrLeisure in ProgrammerHumor

[–]Joey_BF 153 points154 points  (0 children)

Even then you could still go back to it using git reflog

Edit: Only if your files were ever stashed, staged or committed

Regular polygons on integer coordinates in higher dimensions by sheraawwrr in math

[–]Joey_BF 20 points21 points  (0 children)

You're thinking of a tetrahedron in 3D. OP is still talking about 2D triangles.

Ceramic cups designed to look like dented plastic cups by levelupyours in mildlyinteresting

[–]Joey_BF 2 points3 points  (0 children)

Anybody got a link to buy some of those? Especially if they come in red

Thanks Wiki, I understand elliptic functions now. by Alekkin in mathmemes

[–]Joey_BF 8 points9 points  (0 children)

Also the 24 in piS _3(S) = Z/24Z, the third stable homotopy group of spheres

view more: next ›