jrincayc / rationality-ai-zombiesLinks
A tex version of the ebook by Eliezer Yudkowsky: Rationality from AI to Zombies
☆16Updated 2 years ago
Alternatives and similar repositories for rationality-ai-zombies
Users that are interested in rationality-ai-zombies are comparing it to the libraries listed below
Sorting:
- A relational interpretation of Lojban☆34Updated 4 months ago
- things that don't deserve their own repo☆63Updated 5 months ago
- Tutorial / REPL for the lambda calculus☆67Updated last year
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆81Updated last month
- An Algebraic, Executable Ur Machine☆37Updated 7 years ago
- Awelon project is a new UI model with a new language.☆106Updated 10 years ago
- rslt, take five-ish☆151Updated 4 years ago
- a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…☆15Updated 3 years ago
- A parser for ledger/hledger journal files based on Chevrotain☆13Updated last year
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- A mostly FP implementation of Schorre's "syntax-oriented compiler writing language"☆13Updated 6 years ago
- Leibniz - a Digital Scientific Notation☆36Updated 7 months ago
- Catalog of visual lambda calculi☆161Updated 4 months ago
- Make a lambda calculus.☆87Updated 5 years ago
- Source code for doisinkidney.com☆14Updated last week
- World's fastest FRACTRAN interpeter☆14Updated 2 years ago
- ☆25Updated 3 years ago
- gopher library & server written in Haskell☆46Updated 6 months ago
- Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…☆51Updated last year
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- A subfield of the complex numbers for exact calculation.☆22Updated 5 years ago
- A Haskell game written in Yampa☆28Updated last year
- Book and code: how to build and distribute applications in Dyalog APL☆32Updated 6 years ago
- A small OS that doesn't do much.☆22Updated last year
- Idris Todo web application example☆41Updated 2 years ago
- A SmallTalk like live coding system running in the browser, based on TypeScript.☆67Updated 6 years ago
- ☆104Updated 3 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 3 years ago
- PoC for Object Oriented Haskell☆21Updated 5 years ago