Sharing some ideas

By doing a PhD, there's a lot of ideas coming and going (not always related to my research!).
I thought I'd give it a try and share them here; it's mainly going to be about computer science, logic, and philosophy.