Skip to content

Latest commit

 

History

History
136 lines (135 loc) · 10.1 KB

File metadata and controls

136 lines (135 loc) · 10.1 KB

Sources

This is a (growing) list of URL's of resources that need to be inspected and curated in order to reflect the new tau, before they can be used, following the 3 step collaboration process mentioned in the README file.

Official blog

Read this first, in this order:

General

Zennet

TML

Agoras

Internet of languages

Why the logic was chosen

Partial fixed point

Linear independent hashing algorithm

Turing

Binary decision diagrams

Subsumption optimization vs magic sets

Automated reasoning

Context free grammar / parsing

Compilers/partial evaluation

Futamura projection

TML with negation and optimization

Forward chaining

Self defining/self amending blockchain

Social/metrics/consensus/morality/voting/regret/collaboration

Business/usecases

Privacy

Smart constitution

Self religion

Marketing

People/team

Tauchain videos

Unsorted

Meta/other

Related projects