I'm on 1070 for DL tasks with the proprietary driver and it segfaults cinnamon every hours, probably when the acceleration for its graphic effects kicks in. It can be restarted though. I know it is due to the driver because every time the kernel gets updated cinnamon keeps failing to restart itself until I restart the entire system. This never happened before switching from Radeon.