g-leech / argmin-gravitasLinks
a simulacrum standing in place of Gavin Leech
☆17Updated 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:
- Website to track people, organizations, and products (tools, websites, etc.) in AI safety☆23Updated this week
- Find out just how sure you should be, and get better at being only as sure as the facts justify.☆73Updated last year
- This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast☆194Updated last week
- Manifold Markets: A market for every question☆451Updated last week
- ☆87Updated 3 years ago
- A software agent illustrating some features of an illusionist account of consciousness☆17Updated 8 years ago
- Command-line recursive question-answering with immutable contexts and explicit data store☆26Updated 7 years ago
- Methods for running simulations to calculate Voter Satisfaction Efficiency (VSE) of various voting systems in various conditions.☆59Updated 2 years ago
- Research wiki☆51Updated 2 years ago
- Compiler for the M language, used to compute the income tax of French taxpayers☆196Updated 2 weeks ago
- Lua program using Algorithm X to solve the problem of packing polycubic pieces into boxes. Includes bit matrix module. MIT license.☆18Updated 13 years ago
- Python API client for Manifold Markets☆17Updated 2 years ago
- A Discord bot for the Robert Miles AI server☆40Updated 7 months ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆43Updated this week
- Analysis of the SARS-CoV-2 genome☆59Updated 5 years ago
- Humans consulting HCH☆10Updated 8 years ago
- Visualizing the internal board state of a GPT trained on chess PGN strings, and performing interventions on its internal board state and …☆216Updated 11 months ago
- Code + data archive for "Modeling the Human Trajectory"☆29Updated last year
- A repository for the Quest For Tetris☆183Updated 4 years ago
- A solver for halting problem of Brainfuck programs☆18Updated 5 years ago
- ☆127Updated 2 years ago
- 🦠 AD in less than 20 lines☆54Updated 4 years ago
- messing with the source of www.decisionproblem.com/paperclips/☆29Updated 2 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 3 years ago
- Convergence verification of the Collatz problem☆69Updated 3 weeks ago
- Short essays I've written☆78Updated last year
- Quipu Programming Language☆20Updated 12 years ago
- Relaunch of EMOJI SIMULATOR 😘☆91Updated 4 years ago
- A web app for recursive question-answering with pointers☆39Updated 2 years ago
- A curated list of resources on how to do the most good☆17Updated 2 months ago