All of stoat's Comments + Replies

stoat10

Really neat paper, thank you!

stoat40

This seems like a great question to me and I'm bummed I can't answer it. But here's a toy model that might help a bit.

Take a 2-dimensional spacetime shaped like the surface of a vertical cylinder, with space being the 1-dimensional equatorial circles, and time going vertically. Some of the straight lines in this space are slanted lines just going around and around the cylinder forever, and objects following those as world lines would sort of appear to oscillate around a point traveling along an exact vertical world line.

Anyway that model's only 2-dimensional, and the bigger problem is it's not the right type of geometry (it's Riemannian not Lorentzian). Also the cylinder is flat, not curved. But maybe it still helps.

3youzicha
There is a paper here which does something like this, and draws pretty pictures. The metric has been "absolutized" by replacing the negative coeffecients with their absolute values, so it becomes Riemannian instead of Lorentizian, but the diagram is then annotated with a bunch of yellow triangles showing "the direction of time", and together these two things apparently contain all the information of the original spacetime. For the spacetime around an ordinary planet all the triangles point in the same direction, so this Riemannian version seems like a valid representation, I guess. Anyway, the red line in Figure 5 in the pdf shows something like what OP was asking about: a ball is thrown straight up, turns around, and falls down along the same path again. I think maybe the key point is that although the ball is retracing its path in space, in spacetime it's just a long line which never loops back on itself, so it may be easier to believe that it's going "straight ahead".
stoat40

For what's actually ideal, I would suggest (if you find it interesting) reading about technical clothing for mountaineering and winter camping and adapting that to city fashion -- but if you want some helpful more affordable tips, what works for me is many layers.

For example, long sleeve undershirt and long underwear from Walmart. T-shirt over the undershirt, cheap sweatshirt hoodie over that. Thin pajama style pants over the long underwear. For me anyway, this can be completely comfortable under an outer layer of only jeans and just an autumn jacket up to... (read more)

stoat30

Thanks! FWIW your high opinion of the project counts for a lot with me; I will allocate more attention to it and seriously consider donating.

stoat30

Definitely interested, especially if there are more details you can give about the options bets you mentioned in this comment.

I'm only vaguely informed about options with no experience buying them, so I likely need to learn more before I can ask useful questions about this, but I don't want to miss the opportunity to say I'd definitely be interested in any thoughts you might be considering posting, since I'm interested in this type of general bet on AI progress.

Anyway, I know you can't give investment advice and don't expect y... (read more)

stoat60

I happened upon this website once previously and couldn't quickly come to an assessment of the project, before moving on. I assume from your comment you feel this is a worthwhile project? I'd be interested to hear your take on it.

9Mitchell_Porter
Hi, for some reason I didn't see this reply until recently. metaethical.ai is the most sophisticated sketch I've seen, of how to make human-friendly AI. In my personal historiography of "friendliness theory", the three milestones so far are Yudkowsky 2004 (Coherent Extrapolated Volition), Christiano 2016 (alignment via capability amplification), and June Ku 2019 ("AIXI for Friendliness"). To me, it's conceivable that the metaethical.ai schema is sufficient to solve the problem. It is an idealization ("we suppose that unlimited computation and a complete low-level causal model of the world and the adult human brains in it are available"), but surely a bounded version that uses heuristic models can be realized.
stoat30

In the book Mere Thermodynamics by Don S. Lemons published in 2009, I was quite surprised to read: "While the caloric theory of heat is plausible and to this day remains useful in limited circumstances ..."

This is the only book on thermodynamics I've ever read, so I can't really elaborate on those limited circumstances, unfortunately.

stoat10

I wonder if I'm understanding this correctly: is something like sweating an example of refrigeration, since it keeps the low temperature thing from heating up? And heat pumps are different, they keep a hot thing from cooling down, but otherwise the underlying thermodynamic processes are similar?

If I've got that straight, is any evaporative cooling an example of refrigeration, but the question here is specifically wondering about heat pumps not refrigerators?

3Decius
Sweating is an example of evaporative cooling, but the fancy part of refrigeration and heat pumps is the compressor, which does work on the coolant that results in the coolant moving heat from a colder part of the loop to a warmer part of the loop. Sweating takes heat out of the skin, but in nature the water vapor then has to move all the way to somewhere cooler than body temperature before it will condense back into rain; if you follow the water cycle it's moving heat from a hotter location to a cooler location. I think the spirit of the original question was "is there a natural system that moves heat from a cool part of the world to a warmer part of the world?"
3kpreid
For what it's worth, https://en.wikipedia.org/wiki/Evaporative_cooler takes the perspective (in one paragraph) that “Vapor-compression refrigeration uses evaporative cooling, but the evaporated vapor is within a sealed system, and is then compressed ready to evaporate again, using energy to do so.” So, in this perspective, evaporative cooling is a part of the system and forced recirculation (requiring the energy source mentioned in the question) is another. Note that what is colloquially called a heat pump is the same fundamental thing as a refrigerator — equipment is referred to as a “heat pump” when it is used for heating rather than, or in addition to, cooling, but the processes and principles are the same (with the addition of a “reversing valve” so that the direction of operation may be changed, when both heating and cooling are wanted).
stoat30

On occasion I've reflected about whether I care about a beautiful statue no one would ever see. Let's say it's in a hole somewhere. I don't know whether I care or not, but it seems possible to care.

You can modify the question a bit. What about a statue not just that no one would ever see, but that no one would ever know about. Or what about a statue that's impossible to ever even know about, like in a separate universe or something.

I've got nothing concrete to add about that, just that your point 1. made me think of these questions I've asked myself.

stoat40

I agree that the type of action needed to address the parenteral nutrition example would be very unlikely to arise from a hypothetical online crowd action platform.

I think much of the purpose here is to brainstorm what the most effective version of such a platform could look like, and thereby also get a picture about what class of problems such a platform might be able to address or help with.

Is your position that that class of problems is small, and/or those problems are better addressed by existing solutions anyway? Maybe that's right. We are largely brainstorming here to gauge whether a marginal improvement is possible (and probably hoping that a big improvement is).

3ChristianKl
The philosophy of the lean startup suggests that one of the best way to learn is to start with a minimum viable product. In this case the minimum viable product isn't building a platform but to run a campaign and run it with existing tools in a less automated way. Depending on the problem you want to solve with the platform, the website might look quite different. There are problems where you would want to be able to organize civil disobedience and need to be resistant against attempts of the government to shut your website down. If you want to organize 150 people to come late to school to push back the starting time of the school, it might be important to keep the identity of the people secret until the project is finished. In the case of founding a new academic journal on the other hand you likely want the identity of the people who already committed to the new journal to be public.
stoat40

Actually Raemon asked specifically about such possible negative outcomes here. I only point it out because I think you make a valuable point and I'd be interested to see any further discussions of it.

stoat20

Interesting, what's the connection here? Are you saying that assurance contracts could be implemented using a prediction market? Or were you thinking of something more along the lines of Augur's distributed voting system for decision outcomes? Anyway I'd be interested to hear what you're thinking here.

1Leafcraft
I guess you could do that in a variety of ways. PM in general can be used to create rewards for events to happen. Take the following: "I agree to leave facebook if ten million other people agree to leave with me." could be implemented as "I bet $$ that 10M people will not leave FB within a month", people can then stake against it and leave FB to promote the event (and share the contract). PM are very flexible, the real limitation IMO is to create a community to bring liquidity to the market and then create a standard contract for people to follow for a specific type of market
Answer by stoat190

Is CollAction kind of what you had in mind? Wikipedia also mentions PledgeBank which closed down in 2015 but still has a site with all the archived pledges at www.pledgebank.com. Not sure but I don't think either of these sites allow versions of assurance contracts that use financial contributions.

I wonder what a good binding mechanism might be for crowdaction sites in general, because once the quorum is reached you still have to get everybody to go ahead and perform the action. Any thoughts?

A site based on dominant assurance contracts would also be i... (read more)

3Yoav Ravid
WOW awesome! CollAction is very similar to what i had in mind (I thought of something with more functions). It's amazing that i didn't find it with my search... So, why don't rationalists use it? does it not suffice as a tool?
stoat20

Does UDASSA include concepts like the "observer graph" and "graph machine" that Muller describes in the paper? Is Muller just filling out details that are inevitable once you have the core UDASSA concept?

3cousin_it
I think these details are inevitable if you have UDASSA and want transition probabilities, but I don't want transition probabilities :-)
stoat00

Yes, that's absolutely an aspect of it.

I'm pretty agnostic about what form a solution to the original needing-to-have-a-job-to-support-myself problem might take. The hourly breakdown thing was just an attempt to ballpark some money amounts, with an emphasis on how high the value might potentially be for me. I suppose other categories of solution along the lines of tiny houses or solar panels or whatever that might ease transition to lower cost of living lifestyles would have very different prices or payment structures probably ending up a lot lower than the scenario I first outlined.

stoat00

I'm not actually in option A. in real life, sorry if I gave that impression. It's just an attempt to illustrate how much I might be willing to pay, if hypothetically restricted to those two options. Not suggesting restriction to those two options is realistic or anything, nor do I have any mechanism in mind that might lead to those options.

2Liron
So your problem is that it's much harder for you to find part time work than full time work, at the same average hourly rate?
0username2
Then I don't really understand your post. Why pay a middleman 25% of your pay when you can just go to your boss and ask for part-time hours?
stoat20

Same problem for me. And I agree, seems like it would take a lot of ingenuity to turn a solution to this problem into a viable business. Maybe products aiding rat-race opt-out strategies, coordination tech enabling 20 hour work weeks.... I don't really have any specific ideas.

But to answer the second question, I feel like I would pay a great deal for something like this. Hard to quantify since solutions offered might be partial, and a total solution might eliminate income, etc.; but just to illustrate (and ignoring things like extreme saving for early reti... (read more)

0username2
You do know that part-time work is a normal and accepted thing?
stoat00

Interesting idea. So I guess that approach is focused on measure across universes with physics similar to ours? I wonder what fraction of simulations have physics similar to one level up. Presumably ancestor simulations would.

stoat10

It seems possible to me that after passing some threshold of metaphysics insight, beings in basement reality would come to believe that basement reality simulations have high measure.

Past a certain point, maybe original basement reality beings actually believe they are simulated. Then accurately simulated basement reality beings would mean simulating beings who think (correctly) that they are in a simulation.

I don't know how to balance such possibilities to figure out what's likely.

1turchin
One idea how to measure the measure of simulations I had is that it is proportional of the energy of calculation. That is because the large computer could be "sliced" into two parallel if we could make slices in 4 dimensions. We could do such slices until we reach Plank level. So any simulation is equal to finite number of Plank simulation. Base reality level computers will use more energy of calculations and any sub-level will use only part of this energy, so we have smaller measure for lower level simulations. But it is just preliminary idea, as we need to coordinate it with probability of branches in MWI and also find the ways to prove it.
stoat10

Eliezer ruminates on foundations and wrestles with the difficulties quite a bit in the Metaethics sequence, for example:

0Arielgenesis
Thank you. This reply actually answer the first part of my question. The 'working' presuppositions include: * Induction * Occam's razor I will quote most important part from Fundamental Doubts And this have a lot of similarities with my previous conclusion (with significant differences about circular logic and meta loops)
stoat130

Michael Vassar makes some observations about this in this chat from about 37:50-40:30. He begins describing something called a "hexayurt tridome", some kind of portable desert structure, and finishes saying "for the cost of engineering the 2016 Toyota Corolla and with the level of engineering skill required to engineer the 2016 Toyota Corolla it would probably be possible to engineer a house that would cost less than a Toyota Corolla and that could be deployed more easily and be adequate for any climate pretty much anywhere in the world where there's a reasonable amount of free space".

I think most places where people want to live don't fulfill the criteria of their being "a reasonable amount of free space".

stoat40

Thanks a bunch that is the one!

stoat40

I have a foggy memory of someone here (I think it was gwern) linking to an article about simulation interface design. It built up examples based on a bird's eye view of a car steering down a road. I haven't been able to find it, anyone know a link to the article?

stoat20

Looks to me like Halmos does intend "one-to-one" to mean "injective". What he writes is "A function that always maps distinct elements onto distinct elements is called one-to-one (usually a one-to-one correspondence)." Then he mentions inclusion maps as examples of one-to-one functions.

0David_Kristoffersson
My two main sources of confusion in that sentence are: 1. He says "distinct elements onto distinct elements", which suggests both injection and surjection. 2. He says "is called one-to-one (usually a one-to-one correspondence)", which might suggest that "one-to-one" and "one-to-one correspondence" are synonyms -- since that is what he usually uses the parantheses for when naming concepts. I find Halmos somewhat contradictory here. But I'm convinced you're right. I've edited the post. Thanks.
stoat00

Biotest is very reputable (that's my impression anyway) for supplements geared towards weightlifters.

https://www.t-nation.com/store

They have stuff in their "Health" category with broader appeal (Superfood is pretty cool). I've been very pleased with what I've used from them.

stoat90

Caffeine's a strong drug for me, except I have a huge tolerance now because I consume so much coffee. One night a few years ago, after I had quit caffeine for about a month, I was picking away at a bag of chocolate almonds while doing homework, and after a few hours I noticed that I felt pretty much euphoric. So yeah, this is good info to have if you're trying to get off caffeine.

stoat90

This sounds familiar to me. I'm 32 and I definitely remember hearing stuff like this. I remember in elementary school (so, late 80s early 90s) seeing the Canada food guide recommend a male adult eat something like up to 10 servings of grains a day, which could be bread or pasta or cereal. You were supposed to have some dairy products each day, maybe 2-4. And maybe 1-3 servings from Meat & Alternates.

I remember that pretty much all fat was viewed (popularly) with caution, at least until Udo Erasmus came out with his book Good Fat, Bad Fat.

But I do recall a clear message that soda and snacks were unhealthy. It wasn't as though soda was thought ok just because it was low fat / high carb.

stoat20

Is the insight about free will and logical facts part of the sequences? or is it something you or others discuss in a post somewhere? I'd like to learn about it, but my searches failed.

3Wei Dai
I never wrote a post on it specifically, but it's sort of implicit in my UDT post (see also this comment). Eliezer also has a free will sequence) which is somewhat similar/related but I'm not sure if he would agree with my formulation.
stoat30

I have a low attention span but I read through your entire document and when I reached the end I was surprised because I had the impression I was still reading the preliminary part. So, for what it's worth, I found it easy to get through.

1jwhendy
That's a good sign. Thank you for your donation of time and effort!
stoat00

I recommend articles by Chad Waterbury and Dan John to start, which you can find on www.t-nation.com (which is a quality resource in general). Dan John tends to recommend simple, effective strategies, and Waterbury writes a lot addressing your first and second questions.

A great place to start, this article by Mark Rippetoe: http://www.t-nation.com/free_online_article/most_recent/most_lifters_are_still_beginners

Eric Cressey and Christian Thibaudeau write great stuff, if you're into a more complicated approach.

Also I agree strongly with Zed's point 2.

I agree... (read more)

stoat20

Thanks for this. I guess this goes to show how hard it can be to communicate math well. When I learned the sin(x)/x limit I accepted the "proof" by geometric intuition with no protest and was not alert to any deeper source of confusion here.

Come to think of it, the rigorous treatments of sine that I've seen probably all use power series definitions. To see that it's the same function as the one defined using triangles I expect you have to appeal to derivative properties, so that approach would not skirt the issue.

stoat20

I agree the problem is even more pronounced in physics.

Also, I am interested in and would appreciate the details of the case study to which you refer.

7Vladimir_M
The case to which I referred was when I first studied calculus as a teenager. The book I was reading took what I think is the standard approach to handling trigonometric functions, namely first prove that the limit of sin(x)/x is 1 when x->0, and then use this result to derive all kinds of interesting things. However, the proof of this limit, as set forth in the book, used the formula for the length of an arc. But how is this length defined? Clearly, you have to define the Riemann (or some other) integral before it makes sense to talk about lengths of curves, and then an integral must be used to calculate the formula for arc length based on the coordinate equations for a circle -- even though that formula is obvious intuitively. But I could not think of a way to integrate the arc length without, somewhere along the way, using some result that depends indirectly on the mentioned limit of sin(x)/x! All this confused me greatly. Wasn't it illegitimate to even speak about arc lengths before integrals, and even if this must be done for reasons of convenience -- you can't wait all until integrals are introduced before you let people use derivatives of sine and cosine -- shouldn't it be accompanied by a caveat to this effect? Even worse, it seemed like there was a chicken-and-egg problem between the proofs of lim(sin(x)/x)=1 for x->0 and the formula for arc length. This was before you could look for answers to questions online, and it was unguided self-study so I had no one to ask, and it took a while before I stumbled onto another book that specifically mentioned this problem and addressed it by showing how arc lengths can be integrated without trigonometric functions. So it turned out that I had identified the problem correctly after all. But considering that I was a complete novice and thus couldn't trust my own judgment, I had an awfully disturbing feeling that I might be missing some important point spectacularly.
stoat20

I also find that scary/frustrating. But don't you find you can relearn those forgotten chunks much more rapidly than the first time, if you need to?

4Vladimir_M
Oh, yes, definitely. But the amount of effort necessary to relearn them is much smaller if you remember something resembling a coherent outline than if your knowledge decays into incoherent fragments.
stoat80

My own experience is that it is fairly easy to identify points of confusion, and the hard part is finding a book or whatever, at the right level, to address that specific point. This is a tough problem to solve with self-teaching.

5Vladimir_M
Interestingly, I never found this to be a problem with mathematics, although I did find it a problem many times I tried to teach myself physics. In my experience, textbook-level mathematics is almost always a perfect self-contained edifice of logic, whereas textbook-level physics often leaves unclear points that you can clarify only by asking an expert or finding another book that addresses that specific point. (I suppose things might be different if you're reading bleeding-edge math research papers.) Out of the large number of mathematical texts I've read, I can recall only one occasion when I felt genuinely confused after making the effort to understand the text in-depth. In this case, it turned out that this was indeed a fundamental conceptual error in the text. (I can write down the details if anyone is interested -- it provides for a nice case study of what seems "obvious" even in rigorous math.) Otherwise, I've always found mathematics to be perfectly clear and understandable with reasonable effort, as long as you can locate all the literature that's referenced.
stoat00

If this meetup happens, I'd drop in.

stoat40

I can tell you a reason I've cryocrastinated. I don't expect the reason to hold up under scrutiny. It held up under my half-hearted scrutiny, but so what? I have low confidence in my own ability to be rational. In fact, I'd be grateful if someone can eliminate this worry for me.

So, the reason is concern about dystopian or hellish scenarios. For a cartoon of such a scenario, think I Have No Mouth, and I Must Scream.

One thought I had was that these scenarios are so unlikely that if I felt they warranted avoiding cryonics, I'd also feel they warranted prevent... (read more)

3thomblake
The standard response to this is that you'd be much more likely to be revived by good people than bad ones - in a dystopia, cryonics would probably fail anyway, and why would they want to torture you in particular? I can't give you actual math but I'll wave my hands at it and say expected utility is much higher for living forever in a good place. I imagine someone else is going to step up to the plate on this one. And hey, you're going to die anyway, do you expect it to really be worse than that?