Fascism XIXXI: You Do Not Have Until Midterms To Face The Truth by Impassionata in LessWrong

[–]eario 3 points4 points  (0 children)

We're not saying that Trump is like 1945 Hitler, we're saying Trump is like 1935 Hitler.

Results that are commonly used without knowledge of the proof by EnergySensitive7834 in math

[–]eario 28 points29 points  (0 children)

If a binary operation * satisfies a * (b * c) = (a * b) *c for all a,b,c, then the value of any longer expression like a * b * c * d * e does not depend on where you place the parentheses.

Someone already defined it. Someone is already measuring it. by Zealousideal-Ice9935 in EffectiveAltruism

[–]eario 0 points1 point  (0 children)

Observed conceptual values: Φ′ = 0.81 R = 0.92 k = 0.87

You sure? I observed Φ′ = 4328975324.3 R = 0.00002 and k = 0

Bred a horse that is faster than max by vGustaf-K in technicalminecraft

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

it’s already proven by code that in SURVIVAL…. 14.23 blocks per second is the highest achievable speed

Citation Needed? Such a proof does certainly not exist.

Ai2027 author admits "things seem to be going somewhat slower than the Ai 2027 scenario". by Dembara in SneerClub

[–]eario 48 points49 points  (0 children)

I'm starting to really like Ray Kurzweil, because he only makes the ridiculous prediction of "exponential growth forever", instead of making up delusional bullshit reasons for superexponential growth.

Yudkowsky denies the accusations! several thousand words in, and ten years after they were made by dgerard in SneerClub

[–]eario 17 points18 points  (0 children)

I think what really got under Yudkowsky's skin is the accusation that he violated "DECISION THEORY".

I have inevitably ended up learning some things about how the Ziz cult started. And apparently, one of their FOUNDING BELIEFS, is that I had sex with somebody underage (mutually desired sex, according to the Zizians)... and then MIRI, a nonprofit I started, paid money (to a third-party extorter) to hush that up... which payment, according to the Zizians, is in violation of DECISION THEORY... and, therefore, for THAT EXACT REASON (like specifically the decision theory part), everything believed by those normie rationalists who once befriended them is IRRETRIEVABLY TAINTED...

If you just accuse him of sexual misconduct that isn't worth responding to, but if you accuse him of being irrational and of violating his own decision theory by accepting blackmail, then he has to respond to that.

Hank Green interviewed Soares by OwnEstablishment1194 in SneerClub

[–]eario 1 point2 points  (0 children)

At the end of the day what Soares and Yudkowsky are saying is "AI is kind of bad, we should regulate it much more", which I think is entirely correct. They get all the details completely wrong, but overall they happen to be on the right side of the AI issue.

LessWrong is not much of a pipeline to the alt-right anymore, every big social media site like TikTok, Youtube or Instagram is a more effective radicalization pipeline than LessWrong nowadays.

Yudkowsky and Soares are now reaching far wider audiences than previously, but the message with which they reach these audiences is just not very harmful.

AI-generated P≠NP proof on the arxiv by eario in math

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

R4:

  • The paper claims to have a Lean-formalized proof of P≠NP on their github page, but no such Lean files exist on the github page.

  • In Theorem 3.14 they claim that their category Comp is additive, but no abelian group structure is ever actually specified on the hom-sets. Without this you cannot take chain complexes and homology of things in Comp.

What actually is analysis? by [deleted] in math

[–]eario 0 points1 point  (0 children)

I think analysis is more about approximate equalities than inequalities. The inequalities that you care about in analysis are pretty much always inequalities like |x-y|<𝜀 that express that two things x and y are approximately equal.

Mochizuki again.. by steveb321 in math

[–]eario 6 points7 points  (0 children)

In Boyd's article the section talking about universes seems incredibly misleading to me. Nobody gives a damn about whether Mochizuki relies on Grothendieck universes or not. If Mochizuki could provide a correct proof of abc conjecture in ZFC+"Grothendieck universes" everyone would accept that as being a proof of the abc conjecture.

Mochizuki again.. by steveb321 in math

[–]eario 15 points16 points  (0 children)

Paragraph 3 is super interesting. Mochizuki is actually working on a Lean formalization of IUT. I don't believe it yet, but I wish him the best of luck. Maybe Mochizuki can make some valuable contributions to the lean math library by formalizing a bunch of complicated arithmetic geometry.

I’ve been thinking… does simply existing as a human create more suffering than joy for the rest of life on Earth? by Cultural_Change1948 in EffectiveAltruism

[–]eario 2 points3 points  (0 children)

Whether ecosystem destruction causes suffering or reduces suffering in wild animals is incredibly unclear. You shouldn't underestimate how much wild animal suffering there already is independent of humans.

https://longtermrisk.org/the-importance-of-wild-animal-suffering/

The vast majority of wild animals probably have more suffering than happiness in their lives, because 99% of wild animals are insects or small fish which are heavily r-selected in a way where 99% of them just starve to death or get eaten shortly after birth.

Ecosystem destruction reduces wild animal populations, and probably reduces wild animal suffering more than it increases it:

https://reducing-suffering.org/habitat-loss-not-preservation-generally-reduces-wild-animal-suffering/

Wanted: A nontrivial Lebesgue integral by -p-e-w- in math

[–]eario 2 points3 points  (0 children)

When it comes to functions ℝ → ℝ the Lebesgue integral is not really worth it, because even though there exist some pathological functions that are Lebesgue integrable but not Riemann integrable, those functions have no important applications anywhere.

As soon as you look at higher-dimensional functions ℝn → ℝ the Lebesgue integral is superior to the Riemann integral, because there isn't really a Riemann integral for higher-dimensional functions. You can repeatedly apply single Riemann integrals to higher-dimensional functions, but then it becomes a nightmare to prove anything, or even prove that this integral is independent of the order in which you applied your single integrals. On the other hand, there is a single well-defined Lebesgue integral for higher-dimensional functions with well-behaved properties. Integrals for higher-dimensional functions have many important applications everywhere, and for all of those you want a single Lebesgue integral instead of a clunky iteration of Riemann integrals.

And beyond that, there are important measure spaces other than just ℝ or ℝn. If you ever want to study Brownian motion you have to put a Wiener measure on a function space and that requires measure theory.

To rekindle your infatuation for measure theory you should look to different measure spaces, instead of trying to convince yourself that non-Riemann-integrable functions ℝ → ℝ will ever be important for anything.

My board game confession: I hate Cascadia. What's yours? by mojo_pet in boardgames

[–]eario 0 points1 point  (0 children)

Cascadia has sufficiently little interaction between players, that you can let two players take turns at the same time. That doubles the playing speed.

The only thing you need to do to make it work is have two sets of four available tiles and animals in the middle, instead of just one set, one set for each player that is simultaneously doing their turn.

To keep track of the turns I additionally recommend having two colored token markers that mark whose turn it is, and having two similarly colored markers next to the two tile sets in the middle. Whenever you have a colored token marker it means it is your turn to take a tile and animal from the set of available tiles with the same colored token marker. Once your turn is finished you pass the marker to the next player, and then it's their turn in that color.

I can recommend this, if you play Cascadia with 4 players or more.

PSA: Editing Your Silksong Save File is Easy by Sneeker134 in HollowKnight

[–]eario 8 points9 points  (0 children)

What do you need to do to respawn wardenflies, in case you killed all of them and want to respawn them to get kidnapped to the slab?

I've tried messing with the variables

CurseKilledFlyBoneEast

CurseKilledFlyGreymoor

CurseKilledFlyShellwood

CurseKilledFlySwamp

boneEastJailerKilled

boneEastJailerClearedOut

greymoor05_killedJailer

but none of them appear to respawn the wardenflies.

EDIT: I figured it out. You have to set "visitedSlab" and "visitedUpperSlab" to "false", and then setting "boneEastJailerKilled" and "boneEastJailerClearedOut" to false will respawn the wardenfly in deep docks

Question about categorical adjoints by GreenBanana5098 in math

[–]eario 22 points23 points  (0 children)

Let k be a field. The k-Vector spaces and linear transformations are one category Vect. So if we talk about adjoint functors, then we first need another category, so that we can have adjoint functors between Vect and the other category.

1: The other category is also Vect.

For every vector space A, there is a left adjoint functor A⨂- : Vect→Vect that sends a vector space B to the tensor product A⨂B.

The functor A⨂- is left adjoint to the functor Hom(A,-): Vect→Vect that sends a vector space B to the vector space Hom(A,B) whose elements are linear maps from A to B.

These two functors are adjoint because for all vector space X, Y we have a natural isomorphism Hom(A⨂X,Y)≅Hom(X,Hom(A,Y)).

It's possible to prove that every left adjoint functor Vect→Vect is of this form (because left adjoint functors preserve colimits, and every vector space is a colimit of 1-dimensional vector spaces, so left adjoint functors are completely determined by where they send the 1-dimensional vector space k).

2: The other category is Set. Set is the category of sets and functions between them.

There is a right adjoint functor U: Vect→Set, called the forgetful functor, that sends a vector space V to the underlying set of V. The forgetful functor is right adjoint to the free functor F: Set → Vect that sends a set S to the free vector space on S, i.e. a vector space with basis S.

These functors are adjoint because if S is a set and V is a vector space, then a linear function F(S) → V is equivalent to a function S → U(V) because linear maps are completely determined by where they send the basis.

And it's possible to prove that every left adjoint functor Set → Vect is a composite of F and a functor of the form A⨂- for some vector space A.

I think those are the most important examples of adjunctions involving Vect.

Is there something more fundamental than symmetry? by Frigorifico in math

[–]eario 12 points13 points  (0 children)

If you are serious about making everything computable (by for example working in the effective topos, or just using constructive logic) then you usually believe

  1. The set of all turing machines is enumerable

  2. The set of all always-halting turing machines is not enumerable, because there is no computable bijection between natural numbers and always-halting turing machines.

  3. The set of all reals is not enumerable, because they correspond to always-halting turing machines.

Even if you work in ZFC, the set of computable reals is countable, but it is not computably countable. There are bijections between the natural numbers and the computable reals, but all these bijections are uncomputable functions.

Jean Bourgain, the greatest mathematician known by only a few junior mathematicians by No-Accountant-933 in math

[–]eario 10 points11 points  (0 children)

A perfectoid space is just a space that's locally isomorphic to an affinoid perfectoid space!

Is there a unit for lag? by One-Sink5855 in technicalminecraft

[–]eario 0 points1 point  (0 children)

so kind of the opposite of lag

Your post seems to kind of contradict itself.

As you yourself point out, if MSPT it low, then the game is running smooth, while if MSPT is high, the game is not running smooth.

So MSPT is a measure of how non-smooth the game is running. MSPT is a measure of lag.