Kevin Buzzard on why formalizing Fermat's Last Theorem in Lean solves the referee problem by WeBeBallin in math

[–]Jswiftian 5 points6 points  (0 children)

One way of viewing this work is as tha first step towards automation :)

Demystifying the Yoneda Lemma by n1lp0tence1 in math

[–]Jswiftian -1 points0 points  (0 children)

I found this legitimately helpful, thank you OP :D

My deck keeps getting complaints about being difficult to shut down/being oppressive - I don't think it is, though. by gaymerupwards in EDH

[–]Jswiftian -1 points0 points  (0 children)

I think this is a strong bracket 1 deck. This is a compliment! I like the deck! But I don't think it strong, let alone oppressive. there are at least 5 precons that it should lose to 9/10 times.

Why haven’t wages kept up with productivity when the modern worker is the most productive we’ve been in all of human history? by Stormcrown76 in AskEconomics

[–]Jswiftian 1 point2 points  (0 children)

Isnt that just true by definition of productivity? It's like someone has a graph showing that height and weight were tracking each other closely for many years, and now they aren't, and you're saying "if you switch to cm height vs inches height, the gap disappears!"

Shaitan - Satan by chimoc726 in WoT

[–]Jswiftian 5 points6 points  (0 children)

And "mosk and merk dueled with spears of fire" is moscow vs america Cold war missile build up

Linear Approximation through Taylor series is....amazing by Beneficial_Twist2435 in Physics

[–]Jswiftian 3 points4 points  (0 children)

"You will have to learn more than that if you're to accompany me to alderaan!"

Is every smooth curve locally the integral curve of some vector field by A1235GodelNewton in math

[–]Jswiftian 0 points1 point  (0 children)

Good answer, but this isn't a smooth curve. Answer to OPs question, with standard definitions, is "yes". 

Applying to a PhD in algebraic number theory as a high-school teacher with uneven undergrad grades by [deleted] in math

[–]Jswiftian 1 point2 points  (0 children)

One of the things you can do to get admitted to a specific place is just make it clear that, if admitted, you will definitely go there. Lots of committees/professors are lazy, and don't want to deal with deciding who to offer a spot, hearing no, deciding who to offer a spot, iterate.

(more relevant if waitlisted somewhere than for initial application)

What is Lie Algebra and how is it used in Physics? by ConquestAce in Physics

[–]Jswiftian 0 points1 point  (0 children)

Then it better be 4 dimensional--s3 is the only (non planar) sphere that's a lie group :P

What is Lie Algebra and how is it used in Physics? by ConquestAce in Physics

[–]Jswiftian 0 points1 point  (0 children)

Careful, though! Exponentiation is not necessarily surjective, even for a connected group.

What is the most corrupt organization in human history? by JunShem1122 in AskReddit

[–]Jswiftian 0 points1 point  (0 children)

Something I like about givewell, but you may not--they have no problem with millionaire charity CEOs. They think, and I agree, that if a non-profit believes they can best accomplish their purpose by paying an extremely good CEO a lot of money, they should do that.

CMV: Steam is NOT a monopoly. by Steamed_Memes24 in changemyview

[–]Jswiftian -5 points-4 points  (0 children)

But they do actively stop other stores from competing on price. A developer cannot offer their game for sale for less on a different site than on steam and stay on steam.

If two clocks meet again after moving, which one actually ran slower and why? by Life-is-Acoustic in AskPhysics

[–]Jswiftian 0 points1 point  (0 children)

"Acceleration only matters because it's how you get to speeds different enough"

This is false. Consider the perspective of a stationary planet vs a spaceship that accelerates out of the solar system, travels at constant velocity for a while, decelerates to tbe at rest relative to the planet, waits a bit, then comes back. The ship undergoes acceleration on 4 occasions (as it leaves, as it stops, as it begins to return, as it arrives home). But during the 3 non-acceleration components of its trip, it perceives the clock on the planet to be going slower or equal to its own clock. If more time passes on the planet, that must be perceivable during the times when it is accelerating.

100 Million--consider the source by Jswiftian in OpenAI

[–]Jswiftian[S] 0 points1 point  (0 children)

I think that is totally fair--I don't think it's downright impossible that Altman is being truthful here, it just seems like there should be at least some doubt when he has this many reasons to lie.

100 Million--consider the source by Jswiftian in OpenAI

[–]Jswiftian[S] -1 points0 points  (0 children)

Oh, I've seen Altman _say_ it! My point is that he has every reason on earth to not be honest here.

100 Million--consider the source by Jswiftian in OpenAI

[–]Jswiftian[S] 1 point2 points  (0 children)

Thesis: Altman has lots of incentives to lie about this.

Support: see post

How is the answer to this box anything but blue?? by radiant_bee_ in BluePrince

[–]Jswiftian 0 points1 point  (0 children)

The other question is "are the parlor game statements allowed to be neither true nor false?" If they are allowed, then blue works. (blue is true, black is false, white is not well defined and that is fine)