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

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.