jrincayc / rationality-ai-zombiesLinks
A tex version of the ebook by Eliezer Yudkowsky: Rationality from AI to Zombies
☆16Updated last year
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 2 months ago
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- Tutorial / REPL for the lambda calculus☆66Updated 11 months ago
- things that don't deserve their own repo☆64Updated 3 months ago
- Wolfenstein 3D style game engine implemented in haskell☆29Updated 5 years ago
- my Hakyll blog☆20Updated last year
- Variaous articles☆80Updated 2 years ago
- Make a lambda calculus.☆87Updated 4 years ago
- A short guide detailing how to bootstrap PureScript.☆25Updated 6 years ago
- rslt, take five-ish☆152Updated 4 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆81Updated this week
- A Haskell game written in Yampa☆28Updated last year
- A textbook for Conway's Game of Life.☆35Updated 3 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…☆16Updated 3 years ago
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆96Updated 4 years ago
- Prolog puzzles for fun and profit (mostly fun)☆80Updated 4 years ago
- A Forth implementation compiling to WebAssembly.☆144Updated 6 years ago
- A parser for ledger/hledger journal files based on Chevrotain☆13Updated last year
- ☆101Updated 3 years ago
- ☆34Updated last year
- Awelon project is a new UI model with a new language.☆107Updated 9 years ago
- Functional teaching language for use in a discrete mathematics course☆170Updated 3 months ago
- Notes on Category Theory For Programmers by Bartosz Milewski☆56Updated 7 years ago
- Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meani…☆126Updated 3 years ago
- Catalog of visual lambda calculi☆154Updated 2 months ago
- Sparta is a canvas on top of Skia.☆34Updated 2 weeks ago
- Functional languages index☆42Updated 6 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 5 years ago
- UI / HWR library for the reMarkable tablet☆32Updated 2 years ago
- ☆24Updated 3 years ago