Month: March 2009

Não seria legal se os compiladores, além de checar por erros de sintaxe e de tipo, também verificassem se seu programa cumpre algumas propriedades?? É, seria legal.

O sono ainda não passou mas essa musiquinha aí embaixo era uma que tocava nos comerciais do canal Sony há um tempo. Primeiro eu achei ruim, o clipe é bizarro demais, mas acho que acabei acostumando e achando o ritmo bacaninha. Foi mais uma dessas coisas que achei no google não sei como, porque não lembrava de nenhum pedaço da letra ou ritmo, só de algumas imagens do clipe e que passava na Sony.

Muito sono agora, explico no próximo post.

Tan pronto yo te vi
No pude descubrir
El amor a primera vista no funciona en mi
Después de amarte comprendí

Que no estaria tan mal
Probar tu otra mitad
No me importo se arruinariamos nuestra amistad
No me importo ya que más dá

Eramos tan buenos amigos hasta hoy
Que yo probe tu desempeño en el amor
Me aproveché de que habiamos tomado tanto
Fuiste dejando y te agarre
Apesar de saber que estaba todo mal
Lo continuamos hasta juntos terminar
Cuando caimos en lo que estaba pasando
Seguí besandoSólo tu no necesito mas
Te adoraría lo que dura la eternidad
Debes ser perfecta para, perfecto para,
Perfecto para mi, mi amor,
Como fue que de papel cambie,
Eras mi amiga y ahora eres mi mujer
Debes ser perfectamente, exactamente
Lo que yo siempre soñé

El tiempo que pasó
Resulto aún mejor
Nos conociamos de antes y sabiamos
Lo que queriamos los dos

Entonces el amor, uuu…
nos tiene de rehén,
Seré tu eterna enamorada
Y te aseguro que
Todas las noches te amaré

Eramos tan buenos amigos hasta hoy
Que yo probé tu desempeño en el amor
Me aproveché de que habiamos tomado tanto
Fuiste dejando y te agarre
Apesar de saber que estaba todo mal
Lo continuamos hasta juntos terminar
Cuando caimos en lo que estaba pasando
Seguí besando
Sólo tu, no necesito más
Te adoraria lo que dura la eternidad
Debes ser perfecta para, perfecto para,
Perfecto para mi, mi amor,
Como fue que de papel cambie,
Eras mi amiga y ahora eres mi mujer
Debes ser perfectamente, exactamente
Lo que yo siempre soñé

Sólo tu, no necesito más
Te adoraría lo que dura la eternidad
Debes ser perfecta para,
Perfecto para, perfecto para mi, mi amor,
Como fue que de papel cambie,
Eras mi amiga y ahora eres mi mujer
Debes ser perfectamente, exactamente
Lo que yo siempre soñé

Sólo tu, no necesito más, uh
Te adoraría lo que dura la eternidad
Debes ser perfecta para, para, para…
Perfecto para mi, mi amor…
Como fue que de papel cambie,
Eras mi amiga y ahora eres mi mujer
Debes ser perfectamente, exactamente
Lo que yo siempre soñé…

Música boba para bobas apaixonadas.

The way I am (Ingrid Michaelson)

If you were falling
Then I would catch you

You need a light
I’d find a match

Cause I love the way you say good morning
And you take me the way I am

If you are chilly
Here take my sweater

Your head is aching
I’ll make it better

Cause I love the way you call me baby
And you take me the way I am

I’d buy you Rogaine
When you start losing all your hair

Sew on patches
To all you tear

Cause I love you more than I could ever promise
And you take me the way I am mmm

you take me the way I am
you take me the way I am

De acordo com a aula de Inteligência Artificial de hoje, considerando que as pessoas são agentes, podemos classificar nosso mundo como:

– Parcialmente observável: não temos as informações do que ocorre em todos os lugares a todo o tempo (ninguém é onisciente).
– Estocástico: dado um estado e uma ação de um agente, existe uma infinidade de possibilidades para o próximo estado (não podemos prever o futuro).
– Sequencial: cada decisão tomada depende de decisões anteriores e irá influenciar decisões futuras (muito cuidado!).
– Dinâmico: o estado do ambiente pode ser alterado enquanto o agente decide o que fazer (pense rápido).
– Contínuo: “a natureza não dá saltos.”
– Múltiplos agentes: aproximadamente 6,6 bilhões deles.