Ahh, that makes sense. I think "250 Hens a year" sounds like "250 Hens/year" not "250 hens * year". That's probably where I got my mistake
I would go so far as to say your interpretation is correct and the original text is wrong, it should read "hen-years", not "hens a year".
Because this comes up when googling street outreach, as President of EA Melbourne (the EA group that ran the above-mentioned event), I'd love to tell you how it went.
Interestingly, people in the public seem open to ideas of effective altruism. However, the conversion rate is truly tiny, no one we saw on that day came to any future event. In the end, we decided that this was not a worthwhile activity.
Some interesting notes however:
This sadly, will likely never happen, or at least not for a few years. This was never within Squiggle's scope. Squiggle currently has much more critical issues before adding such a feature!
Thanks for checking out this post! This is an old one, and I'm no longer as interested in dimensional checking in models. However, I may come back to this project because I have a feeling it could be used to optimize Squiggle code as well as offer dimensional checking.
What do you mean by "Combines the strengths of"? To me, Squiggle is the successor of Guesstimate, and the strengths of Squiggle + the strengths of Guesstimate = the strengths of Squiggle? What features are you looking for?
When I started this project, Squiggle was not in a state where Pedant c...
Hey! Love the post. Just putting my comments here as they go.
Tldr This seems to be a special case of the more general theory of Value of Information. There's a lot to be said about value of information, and there are a couple of parameter choices I would question.
The EA Forum supports both Math and Footnotes now! Would be lovely to see them included for readability.
I'm sure you're familiar with Value of Information. It has a tag on the EA Forum. It seems as if you have presumed the calculations around value of information (For instance, you have given a pr...
And to add to this, very recently there was a post Quantifying the Uncertainty in AMF! Which still seems a bit in the works but I'm super excited for it.
My Hecking Goodness! This is the coolest thing I have ever seen in a long time! You've done a great job! I am like literally popping with excitement and joy. There's a lot you can do once you've got this!
I'll have to go through the model with a finer comb (and look through Nuno's recommendations) and probably contribute a few changes, but I'm glad you got so much utility out of using Squiggle! I've got a couple of ideas on how to manage the multiple demographics problem, but honestly I'd love to have some chats with you about next steps for these models.
Hello! My goodness I love this! You've really written this in a super accessible way!
Some citations: I have previously Quantified the Uncertainty in the GiveDirectly CEA (using Squiggle). I believe the Happier Lives Institute has done the same thing, as did cole_haus who didn't do an analysis but built a framework for uncertainty analysis (much like I think you did). I just posted a simple example of calculating the Value of Information on GiveWell models. There's a question about why GiveWell doesn't quantity uncertainty
My partner Hannah currently has a g...
Hello! Thanks for showing interest in my post.
First of all, I don't represent GiveWell or anyone else but myself, so all of this is more or less speculation.
My best guess as why GiveWell does not quantify uncertainty in their estimates is because the technology to do this is still somewhat primitive. The most mature candidate I see is Causal, but even then it's difficult to identify how one might do something like have multiple parallel analyses of the same program but in different countries. GiveWell has a lot of requirements that their host plaftorm need...
Haha, I came up with that example as well. You're thinking about this in the same way I did!
I think to say that one is the "actual objective" is not very rigorous. Although I'm saying this from a place of making that same argument. It does answer a valid question of "how much money should one donate to get an expected 1 unit of good" (which is also really easy to communicate, dollars per life saved is much easier to talk about than lives saved per dollar). I've been thinking about it for a while and put a comment under Edo Arad's one.
As for the second poin...
Thank you so much for the post! I might communicate it as:
People are asking the question "How much money do you have to donate to get an expected value of 1 unit of good" Which could be formulated as:
where is the amount you donate and is the amount of utility you get out of it.
In most cases, this is linear, so: . And .
Solving for x in this case gets , but the mistake is to solve it and get .
Please correct me if this is a bad way to form...
That's true! could easily be something other than 1.5. In London, it was found to be 1.5, in 20 OECD countries, it was found to be about 1.4. James Snowden assumes 1.59.
I could but don't represent eta with actual uncertainty! This could be an improvement.
Now that I've realised this, I will remove the entire baseline consumption consideration. As projecting forward I assume GiveDirectly will just get better at selecting poor households to counteract the fact that they should be richer. Thanks for pointing this out!
Would love to! I'm in communication to set up an EA Funds grant to continue building these for other GiveWell charities. I'd also like to do this with ACE! but I'll need to communicate with them about it.
Maybe, your work there is definitely interesting.
However, I don't fully understand your project. Is it possible to refine a Cost Effectiveness Analysis from this? I'd probably need to see a worked example of your methodology before being convinced it could work.
Hello Michael!
Yes, I've heard of Idris (I don't know it, but I'm a fan, I'm looking into Coq for this project). I'm also already a massive fan of your work on CEAs, I believe I emailed you about it a while back.
I'm not sure I agree with you about the DSL implementation issue. You seem to be mainly citing development difficulties, whereas I would think that doing this may put a stop to some interesting features. It would definitely restrict the amount of applications. For instance, I'm fully considering Pedant to be simply a serialization format for Causal....
Hopefully Pedant ends up pretty much being a continuation and completion of Squiggle, that's the dream anyway. Basically Squiggle plus more abstraction features, and more development time poured into it.
Causal is amazing, and if I could introduce Causal into this mix, this would save a lot of my time in developing, and I would be massively appreciative. It would likely help enable many of the things I'm trying to do.
I definitely was considering adding some form of exporting feature to Pedant at some point. I'm not sure that it's within the current scope/roadmap of Pedant, but maybe at some point in the future!
Thanks for your considerations!
Yes, I agree. I can very much add tuple style function application, and it will probably be more intuitive if I do so. It's just that the theory works out a lot easier if I do Haskell style functions.
It seems to be a priority however. I've added an issue for it.
The web interface should be able to write pedant code without actually installing Pedant. Needing to install custom software is definitely a barrier.
For Improving Infrastructure around epistemics and forecasting, Ozzie or Nuno would likely be the best to answer this, so here I'm just trying to put myself in their mind. These ideas are a mixture of mine + a discussion with Ozzie.
I would say a clear opportunity would be to investigate looking into writing prediction functions, rather than just predictions. Say for instance "If SpaceX has a press release about an innovation to be released before 2025, then I estimate SpaceX to become a trillion dollar company 5 years earlier". Having such a fidelity makes...
For Improving Infrastructure around Cost Effectiveness Analysis, my current project is pedant.
Pedant is a math DSL that's designed to make it easier to write cost effectiveness analysis. It checks the calculations for things like dimensional violations, and hopefully in the future allows you to calculate with uncertainties and explore cost effectiveness calculations more graphically.
I wouldn't say that there are people who are asking for cost effectiveness analysis, and more that they simply aren't done or are of low quality to large amounts of EA causes. ...
"having people sell products where all proceeds go to charity" is different from simply earning to give as it uses this fact to market to a buyer. The idea is that I may be more willing to purchase a second hand book from someone else if I know that the proceeds go to an effective charity (although I find that this is a surprisingly weak motivator, in my experience people don't purchase things even if they know the money goes to an effective charity...).
I run a bookstore to this end that is currently not that successful, that I really want to see become a ...
There's quite a few opportunities I see from looking around in EA. I am doing direct technical work for EA right now.
EA CoLabs
EA CoLabs itself can be framed as a technical problem. It's the problem of optimally matching different skillsets to different projects to maximise utility. You could definitely tackle it from a fun technical perspective (say, using the Hungarian Algorithm for matching, and using the Australian Skills Classification to describe skills). These however are just my ideas. I may be currently too busy with other things to properly invest...
This is currently just a prototype, with many many bugs. I've actually joined the team and EA CoLabs. Which is a proper application of the concepts here.
Thanks a lot!
If I was to flesh this out further, it would likely involve a way of proposing EA projects that we could then curate. The form would likely be accessible via the browser, but yes, it's currently just a very modest proof of concept.
I've been seeing you around and have loved some of your posts! The project is meant to try and find both highly skilled but also beginners in EA. I'm not sure what direction it needs to go in, as I kind of want to talk to the people that have proposed this idea in the past to try and get their thoughts on what it should look like. I should probably get in contact with them soon.
To me, The Uniting Church of Australia.
It's probably controversial to list a church, but I walked in to the church and got a bible study on how to effectively help people in global poverty, and absolutely loved it.
I definitely think that Churches are a good place to start for places similar to EA, simply because I find that communities around churches have a lot of what I call "intent to do good". Particularly, In my experience, they seem to be unusually disposed to help reduce global poverty.
Further, when coming into Christianity, I found that there...
Sorry for the late comment, but I was wondering:
Why do you think it's an underestimate?