If we migrate, will some lesswrong.com urls become broken?
philip_b
So,
Helen::make yourself small = Impro::act as low status;
Helen::be low status = something like Impro::be seen by other people as low status (in this situation), or to deserve low Impro::status (in this situation)
Maybe you should do it with paper and a working utensils—I can’t really do math without external memory, and other people including you are probably bad at it to.
Can anyone provide a comparison between this book and Consciousness. An Introduction—Susan Blackmore. The latter has been recommended to me, but after having read a chapter I haven’t been impressed.
Idea: OpenAI Gym environments where the AI is a part of the environment
I haven’t, thanks.
Btw was your goal to show me the link or to learn whether I have seen it before? If the former, then I don’t need to respond. If the latter, then you want my response I guess.
How many hours did it take you to read the whole book and do all the exercises that you did? I am reading it too, so far I’ve spent somewhere between 12 and 22 hours and I’m at exercises 2.A. Also I recommend watching https://www.youtube.com/channel/UCYO_jab_esuFRV4b17AJtAw/playlists Linear Algebra Essence playlist to get (or remind yourself of) some geometric intuitions.
Adding resources to this thought experiment is just adding noise. If something other than life quality values matters in this model, then the model is bad.
A>B is correct in average utilitarianism and incorrect in total utilitarianism. The way to resolve this is to send average utilitarianism into the trash can, because it fails in so many desidarata.
What does this have in common with https://www.lesswrong.com/posts/kK67yXhmDYwXLqXoQ/fundamentals-of-formalisation-level-1-basic-logic ?
Extremely low amount of deaths is due to terrorist attacks (https://i.redd.it/5sq16d2moso01.gif, https://owenshen24.github.io/charting-death/), so this is not important, and people should care about such things less.
Fundamentals of Formalisation Level 3: Set Theoretic Relations and Enumerability
Fundamentals of Formalisation Level 4: Formal Semantics Basics
Can you elaborate? What is a constructive proof? Why should one care?
Fundamentals of Formalisation Level 5: Formal Proof
Fundamentals of Formalisation Level 6: Turing Machines and the Halting Problem
Fundamentals of Formalisation Level 7: Equivalence Relations and Orderings
You say
Epistemic Status: Opinions stated without justification
but from the text it seems you believe that acting according to the described opinions is useful and that many of them are true. I don’t like this, I think you should clarify epistemic status.
Is this the first post in the sequence? It’s not clear.
What is the point of spending a section on dual maps, I wonder? Is the sole purpose to show that row rank equals column rank, I wonder? If so, then a lot of my time spent on exercises on dual maps might be wasted.
I would like to add to Vanessa Kowalski, that it would be useful not only to talk about academic disciplines separately, but also to look at academia of different countries separately. Are y’all talking about academia in the US or in the whole world? I suspect the former. Is it like that in Europe too? What about China? Australia? Japan? India? Russia?