quantified-uncertainty / squiggle
An estimation language
☆150Updated this week
Related projects: ⓘ
- Squiggle programming language for intuitive probabilistic estimation features in Python☆63Updated last month
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆59Updated 3 weeks ago
- Python tools for working with Manifold Markets☆33Updated 3 months ago
- Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))☆20Updated 3 months ago
- A Python library for integrating model-based and judgmental forecasting☆107Updated 2 years ago
- Anki deck: Some key numbers that every effective altruist should know.☆24Updated last year
- This git repository outlines three scoring rules that I believe might serve current forecasting platforms better than current alternative…☆17Updated 2 years ago
- A math language for dimensional analysis☆22Updated last year
- Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community☆41Updated 5 months ago
- The fastest way to make and track predictions☆29Updated this week
- An alternative frontend for LessWrong 2.0☆61Updated this week
- Thoughts on adjoint, norm and such.☆165Updated last year
- A fluid medium for storing, relating, and surfacing thoughts.☆130Updated 2 years ago
- Find out just how sure you should be, and get better at being only as sure as the facts justify.☆72Updated 8 months ago
- A web-based application for collaborating on simulation models in real-time using Firebase☆31Updated 3 weeks ago
- ☆63Updated 3 weeks ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆180Updated last week
- list of projects related to EA Software Engineers☆28Updated last year
- ☆70Updated 11 months ago
- The Road to Reality essay and newsletter source. A journey through computational physics, from eval/apply to the Einstein field equations…☆88Updated 10 months ago
- A minimal spaced writing inbox☆68Updated last month
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 4 years ago
- ☆59Updated last month
- The development repository for LessWrong2 and the EA Forum, based on Vulcan JS☆557Updated this week
- Authoring tools for scholarly communication. Create interactive web pages or formal research papers from markdown source.☆129Updated this week
- Haskell implementation of open games☆143Updated 8 months ago
- Website to track people, organizations, and products (tools, websites, etc.) in AI safety☆21Updated this week
- Polynomial-time Meta-Interpretive Learning☆97Updated last month
- Formalizing stochastic doubly-efficient debate☆88Updated last month
- AI Safety Q&A web frontend☆35Updated last week