欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Amazon Mechanical Turk
Amazon Mechanical Turk is human intelligence in a web service. Mechanical Turk can give you an opinion, or thousands of opinions. It can provide an intuitive judgement about a set of facts. It can perform research and give additional information about your data. With Mechanical Turk, your application can ask questions that only a human being can answer, using a web services interface.
Mechanical Turk posts your application's questions to the Mechanical Turk web site, where they are found and answered by Mechanical Turk users. Your application then retrieves the answers using the web service. From your application's perspective, Mechanical Turk behaves like any other asynchronous web service: Your application submits the request using a programmatic interface, then retrieves the result of that request from the service at a later time.