Skip to content

Minor edits to Tip 9#144

Merged
AlexanderTitus merged 4 commits intomasterfrom
tip-9-edit
Feb 24, 2019
Merged

Minor edits to Tip 9#144
AlexanderTitus merged 4 commits intomasterfrom
tip-9-edit

Conversation

@blengerich
Copy link
Collaborator

Did you add yourself as a contributor if this is your first contribution?

  • Yes, I added myself or am already a contributor

This PR includes small edits to Tip 9 intended to make discussion of prediction vs understanding more explicit, as suggested in #37.

It also might be worth considering changing the tip title to a positive phrasing. I'm not sure how to do so while maintaining distinction between Tips 9 and 8.

@Benjamin-Lee
Copy link
Owner

Benjamin-Lee commented Feb 24, 2019

By the way, as the primary author of a tip, please PR "yes" to accountable in contributors.md and add your info to the bottom of metadata.yaml so we can get your name on the paper!

@AlexanderTitus AlexanderTitus merged commit ad2e095 into master Feb 24, 2019
Benjamin-Lee pushed a commit that referenced this pull request Feb 24, 2019
This build is based on
ad2e095.

This commit was created by the following Travis CI build and job:
https://travis-ci.org/Benjamin-Lee/deep-rules/builds/497739428
https://travis-ci.org/Benjamin-Lee/deep-rules/jobs/497739429

[ci skip]

The full commit message that triggered this build is copied below:

Merge pull request #144 from Benjamin-Lee/tip-9-edit

Minor edits to Tip 9
Benjamin-Lee pushed a commit that referenced this pull request Feb 24, 2019
This build is based on
ad2e095.

This commit was created by the following Travis CI build and job:
https://travis-ci.org/Benjamin-Lee/deep-rules/builds/497739428
https://travis-ci.org/Benjamin-Lee/deep-rules/jobs/497739429

[ci skip]

The full commit message that triggered this build is copied below:

Merge pull request #144 from Benjamin-Lee/tip-9-edit

Minor edits to Tip 9
@agitter agitter deleted the tip-9-edit branch February 24, 2019 13:12
@blengerich blengerich mentioned this pull request Feb 24, 2019
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants