g-leech / argmin-gravitasLinks
a simulacrum standing in place of Gavin Leech
☆18Updated 2 weeks ago
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☆39Updated 7 months ago
- Website to track people, organizations, and products (tools, websites, etc.) in AI safety☆23Updated this week
- A software agent illustrating some features of an illusionist account of consciousness☆17Updated 8 years ago
- ☆88Updated 3 years ago
- This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast☆205Updated last week
- National Novel Generation Month, 2023 edition.☆27Updated last year
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆49Updated last week
- Research wiki☆51Updated 3 years ago
- Open source code for Arbital☆14Updated 7 years ago
- a writeup on some experiments on a sequence model for chess games☆32Updated 4 years ago
- Calibrate your predictions. Tighten your debugging feedback loop. See how underconfident or overconfident you are.☆12Updated 9 years ago
- Every way to change your mind☆46Updated last year
- Generates a 2D animation of Rule 30 (or other rules) being fed into Conway's Game of Life.☆165Updated 2 years ago
- Visualizing the internal board state of a GPT trained on chess PGN strings, and performing interventions on its internal board state and …☆218Updated last year
- Code for the tumblr bot nostalgebraist-autoresponder.☆74Updated 2 years ago
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 4 years ago
- Define your own cellular automata in browser.☆45Updated 3 years ago
- ☆255Updated 2 years ago
- A Discord bot for the Robert Miles AI server☆40Updated this week
- Relaunch of EMOJI SIMULATOR 😘☆93Updated 4 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 3 years ago
- Lua program using Algorithm X to solve the problem of packing polycubic pieces into boxes. Includes bit matrix module. MIT license.☆18Updated 14 years ago
- 🦠 AD in less than 20 lines☆54Updated 4 years ago
- ☆22Updated 4 years ago
- ☆126Updated 2 years ago
- Command-line recursive question-answering with immutable contexts and explicit data store☆26Updated 7 years ago
- Humans consulting HCH☆10Updated 8 years ago
- Code for the series "Searching for Riemann Hypothesis Counterexamples"☆21Updated 2 years ago
- A solver for halting problem of Brainfuck programs☆18Updated 5 years ago
- Busy Beaver deciders backed by Coq proof☆61Updated 10 months ago