g-leech / argmin-gravitasLinks
a simulacrum standing in place of Gavin Leech
☆18Updated this week
Alternatives and similar repositories for argmin-gravitas
Users that are interested in argmin-gravitas are comparing it to the libraries listed below
Sorting:
- Python tools for working with Manifold Markets☆37Updated 6 months ago
- Website to track people, organizations, and products (tools, websites, etc.) in AI safety☆23Updated last week
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆66Updated 11 months ago
- A software agent illustrating some features of an illusionist account of consciousness☆17Updated 8 years ago
- Find out just how sure you should be, and get better at being only as sure as the facts justify.☆73Updated 2 years ago
- The fastest way to make and track predictions☆54Updated last week
- A Discord bot for the Robert Miles AI server☆40Updated 10 months ago
- Manifold Markets: A market for every question☆478Updated this week
- An alternative frontend for LessWrong 2.0☆78Updated last month
- gpt completions in vscode☆35Updated 2 years ago
- ☆88Updated 3 years ago
- Calibrate your predictions. Tighten your debugging feedback loop. See how underconfident or overconfident you are.☆12Updated 9 years ago
- This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast☆203Updated last week
- Squiggle programming language for intuitive probabilistic estimation features in Python☆80Updated this week
- Methods for running simulations to calculate Voter Satisfaction Efficiency (VSE) of various voting systems in various conditions.☆59Updated 2 years ago
- A program with no practical utility☆23Updated 9 years ago
- A Python library for integrating model-based and judgmental forecasting☆109Updated 4 years ago
- Code + data archive for "Modeling the Human Trajectory"☆29Updated last year
- a writeup on some experiments on a sequence model for chess games☆32Updated 4 years ago
- Research wiki☆51Updated 3 years ago
- A repository for the Quest For Tetris☆183Updated 4 years ago
- Command-line recursive question-answering with immutable contexts and explicit data store☆26Updated 7 years ago
- AI Safety Q&A web frontend☆41Updated this week
- A solver for halting problem of Brainfuck programs☆18Updated 5 years ago
- Bet sizing tool for manifold markets☆20Updated 2 years ago
- An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.☆35Updated 2 years ago
- Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))☆21Updated 5 months ago
- Lua program using Algorithm X to solve the problem of packing polycubic pieces into boxes. Includes bit matrix module. MIT license.☆17Updated 14 years ago
- The development repository for LessWrong2 and the EA Forum, based on Vulcan JS☆688Updated this week
- The Math of Card Shufflig☆39Updated 3 years ago