Math Pedantic/Computer Science Honours interested in Cause Prioritization. Currently working with QURI on Squiggle and Pedant.
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. Which would be difficult to do if it was embedded within an existing language.
Making a language server that checks for dimensional errors would be very difficult to do in a non-custom language. It may just be possible in a language like Coq or Idris, but I think Coq and Idris are not particularly user friendly, in the sense that someone with no programming background could just "pick them up".
I may be interested in writing your CEAs into Pedant in the future, because I find them very impressive!
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.
Thanks for pointing that out! I just fixed it up.
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 it possible to understand the best forecasting techniques better and aids in computer systems being able to answer these types of questions. As for as I know, this doesn't exist.
As a side note, I think this type of forecasting platform would be awesome for policy evaluation. "If this policy is implemented in X way I predict that the policy will create a decrease in the unemployment rate by Y%". The applications of the proper application of this idea are endless.
Another would be creating a platform that allows you to properly calibrate parameters for a Cost Effectiveness Calculation using forecasting, or evaluate outcomes of business decisions using forecasting.
I'm not a pro in this area, but that's currently what I see.
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. For instance, even GiveWell's work that we consider to be the gold standard does not properly account for uncertainty in parameters (although Cole Haus has done so in the forum), there is controversy around the accuracy of ALLFED's guesstimate Cost Effectiveness Model, which may be systematically optimistic about their parameters, and these are some of the best ones out there! I don't believe ACE uses explicit cost effectiveness calculations, let alone smaller EA organisations. In conversions with Ozzie and Michael Aird I believe that they seem to share a similar sentiment.
I mainly just assumed that this problem could be because these calculations are quite difficult to do, take a lot of time, and can be very difficult to get right. So as a developer I just thought tooling. I'm not particularly creative.
I would be interested in collaborators. Help I would need includes:
Really, if you or anyone else is interested, probably best to just contact me directly.
Hey Neil,
How is this different from EA CoLabs? This team is working to connect people with projects and need as much help as they can help as they can get. Would it be worth joining them over starting a new project?