What are you working on? April 2011

jsalvatier

The is the second 'What are you working on?' thread. The last one is here. So here's the question:

What are you working on?

Here are some guidelines

Focus on projects that you have recently made progress on, not projects that you're thinking about doing but haven't started, those are for a different thread.
Why this project and not others? Mention reasons why you're doing the project and/or why others should contribute to your project (if applicable).
Talk about your goals for the project.
Any kind of project is fair game: personal improvement, research project, art project, whatever.
Link to your work if it's linkable

The is the second 'What are you working on?' thread. The last one is here. So here's the question:

What are you working on?

Here are some guidelines

Focus on projects that you have recently made progress on, not projects that you're thinking about doing but haven't started, those are for a different thread.
Why this project and not others? Mention reasons why you're doing the project and/or why others should contribute to your project (if applicable).
Talk about your goals for the project.
Any kind of project is fair game: personal improvement, research project, art project, whatever.
Link to your work if it's linkable

"Cooperate iff your opponent cooperates iff you cooperate" is impossible if your opponent always defects. (If you defect, "your opponent cooperates iff you cooperate" is true, so you should've cooperated :-) Eliezer pointed that out to me a while ago.

Regarding your overall approach, choosing a specific programming language feels like a wrong step to me. At some point you will want your results to have applicability in the wider world of Turing machines and algorithms, so why not start there? It's not fuzzy at all and people have proved a lot of rigorous stuff about Turing machines.

"Cooperate iff your opponent cooperates iff you cooperate" is impossible if your opponent always defects. (If you defect, "your opponent cooperates iff you cooperate" is true, so you should've cooperated :-) Eliezer pointed that out to me a while ago.

The linked comment seems wrong - due to fuzzy language, ironically enough. The inner iff should be testing a counterfactual, not equality. That doesn't help with the infinite regress/computability issue, though.

Anyways, I've found a specific probability distribution of opponents that rea... (read more)

7

What are you working on? April 2011

7

7

7

What are you working on? April 2011

7

7