24 Sep 2008 nuncanada   » (Journeyer)

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.

Latest blog entries     Older blog entries

New Advogato Features

New HTML Parser: The long-awaited libxml2 based HTML parser code is live. It needs further work but already handles most markup better than the original parser.

Keep up with the latest Advogato features by reading the Advogato status blog.

If you're a C programmer with some spare time, take a look at the mod_virgule project page and help us with one of the tasks on the ToDo list!