Am I crazy?

* I believe formal methods (typed lambda calculus, example: Coq) is the path for the future of programming, not all the fashion industry that comes from Software Engineering and business.

* I believe deep down time is discrete (maybe because i have been programming since being 6 years old, and that scrambled my head to disbelieve the continuum?). Even being a maverick in math and physics during school i never liked geometry, I felt uncomfortable with continuity since early on.

* I believe democracy with capitalism and inheritance has always failed, its inefficiency and unfairness in all levels is just absurd. There must be a better social arrangement, and merit has to play a big part of it, not which family you grew into.

* I haven't been able to make myself believe that the discrete logarithm problem doesn't have a polynomial solution. Didn't find an algorithm but the problem just seems to have too much "symmetry".

See? I told you that I am crazy.