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.

A new world for open source is blooming!

Almost everyone is unaware but the seeds of change have been planted! To a better open source community we are going to!
Open Source is a lot of times regarded as an example of Meritocracy in action, but if you read Amartya Sen's article about Meritocracy, you will recognize that most of Open Source projects fit more in his description of a 'static' meritocracy than a 'dynamic' one (my words to resume his thoughts), and Sen shows how what should be regarded as a real meritocracy is the dynamic qualities.
To our rescue comes the knight in his shinning armor, not other than the famous Linus Torvalds! I guess most readers think i am crazy by now, but keep up and maybe it will make sense.
DVCS have been around longer than git but not only by creating a functional open source DVCS, but by evangelizing the benefits of a distributed system he has planted the seeds that will change the future (interestingly for all the democracy and meritocracy fanatics, this necessity came from a "dictatorship").
And GitHub is sign of the changes to come, once oss developers start to rethink forking not as deviating from the community but as a common fact of producing software, the whole community structure will change!
No longer the "core group" will have the overwhelming power, nor will it matter much, probably such a notion will end up existing mostly. We will have the real possibility for the community to choose what to follow from whom, github is a start in that direction.
I am waiting anxiously for the future, a dynamicly meritocratic one for OSS.

How i would like to program:

Be able to create function specifications that completely describes the relationship between it's input and output.

function sort
Input: List of a
Output: List of a

Relationship:
- output's list must be sorted (not enough, [] is sorted)
- every a in input must be in the output's list (not enough, we might have duplicated elements)
in the same number as they appear in the input's list

That would be great... Now anyone could invent yet another sorting algorithm and prove it to follow these rules.

Btw, the function signature should make the compiler check if the specification makes it really a function, not a relationship or a partial function.

GPLv3, solving yesterdays fight!

People are still 'fighting' Microsoft's imperialism while the real danger now is from web companies, mainly impersonated by Google.

We need an open source license that obliges whoever changes it's code to publish it publicaly in the Internet. To certify that they will play by the book, there should be an organization to arrange for the permanent publicity of such code.

Sun is known for his long time hatred of Microsoft, but what makes me blog about this is it's relationship to Hannibal's life...

Hannibal's father made him and his brothers swore to destroy Rome when he was young, till his death he was still very much enraged against Rome looking for oportunities to attack it.

Neverthless Hannibal did win lots of battles against Rome and became quite famous for his daring adventure in Italy. But he never was able to doom Rome. Maybe if .... Now, Sun did win the languages battle, but was not able to deal the fatal blow with it. Is it doomed to the same fate of Hannibal, a "slow" "agonizing" (in the sense that he never realized his objectives and had all his family members killed by the Romans) death?

Now the evil empire will revive from the threats...

How long will it take for the barbarians to come?