Exagero

Você sabe que está dirigindo demais quando está andando a pé pelo estacionamento e, ao escutar um barulho de carro se aproximando, tenta olhar no retrovisor.

Eleições

Assisto no momento a uma palestra do vice-prefeito de BH, Ronaldo Vasconscellos. Naturalmente eu cheguei atrasada, mas ao sentar o sujeiro me abre o famoso vídeo do Tom Cavalcante imitando o candidato a prefeito Leonardo Quintão. Não, eles não deviam sentir orgulho disso… Provavelmente eles ganharam por causa dessa paródia, mas convenhamos que isso foi um golpe baixíssimo. Um bom político ganha por convencer os eleitores de que sua proposta é a melhor, e não por denegrir a imagem do adversário. Bom, o foco do Ronaldo não era esse na verdade, era só mostrar como se pode usar a tecnologia a favor da política e tal… mas pra completar, no final, ele ainda admite que a parte que o Tom fala que não recebeu cache é mentira. Não que eu acreditasse que fosse verdade, mas se ele admite assim numa palestra na universidade, pra que colocar no vídeo? O ator não precisava falar que recebeu ou não recebeu. A política me enoja.

Ele mostrou também o vídeo da campanha do candidato eleito a presidência dos Estados Unidos, Barack Obama. Não que eles tenham políticos melhores que os nossos, mas pelo menos os publicitários são… O comercial que eu vi foi baseado em uma frase: “Make history”. Tinha apelo emocional e político. Não é a qualidade do comercial, mas a idéia, o motivo pelo qual cada candidato ganhou seu voto. Obama foi muito mais nobre do que Márcio Lacerda.

Apesar disso, o alarde feito a respeito dele ser negro (e nem tão negro assim, né?) é só mais uma prova de que o preconceito ainda não acabou. Na minha opinião, isso não deveria nem vir ao caso.

A gente tem muito o que melhorar ainda… =(

Economia

Fatos:
1. o número de pessoas inadimplentes cresceu 4,9% esse mês (aparentemente esse é um valor alto…)
2. a bolsa subiu, o dólar subiu também
3. o governo está sendo aconselhado a diminuir os gastos (eles pensam em fazer isso nos salários dos servidores públicos e na previdência…)
4. será disponobilizado 8 bi (ou algo assim) pra indústria automobilística
5. o banco central vai liberar uma parte do dinheiro que os bancos são obrigados a mandar pra lá (pra guardar, sei lá) quando a gente faz um depósito, isso vai colocar mais uns 40 bi em circulação

Agora me explica. Eu aprendi (com muito custo) que mais dinheiro em circulação significa mais gastos que significa inflação. Mas o povo já não tem dinheiro pra pagar as coisas no preço atual, quem dirá com inflação… Tá, vai ter mais dinheiro circulando, mas as pessoas vão ter q pegar esse dinheiro emprestado e pagar juros sobre ele e aí vão ficar sem dinheiro de novo. Enquanto isso o governo tira dinheiro dos salários dos servidores e aposentados. E tenta alavancar a venda de carros, como se esses que ficassem na rua atrapalhando o trânsito já não fossem o suficiente.
Não, sério, na minha cabeça isso não faz o MENOR sentido. Dinheiro é um recurso finito (diferente dos carros). Do the math!!! As coisas todas tem que funcionar igual um caixa, um balanço, direitinho, certinho, o que gasta não pode ser mais do que ganha, e ficar pegando empréstimo pra sempre não é a solução. Esse esquema me parece caótico e insensato. Tá em recessão? Então tá, então pára de gastar! Meu deus, por que é tão simples na minha cabeça e quando eu vejo eles fazendo as coisas parece tudo errado? Se as pessoas não conseguem pagar as contas porque a comida aumentou de preço, subsidia o supermercado, ou quem quer que esteja por trás de tudo que começou o aumento de preço que chegou no consumidor. Se der mais dinheiro pras pessoas, eles vão aumentar mais o preço porque todo mundo é mercenário e egoísta e só enxerga o próprio umbigo. E isso vai virando um ciclo sem fim, e a gente precisa pegar dinheiro emprestado com outros países ou a gente tem uma inflação de 100% ao mês… Tá, eu admito que não entendo de economia assim, mas não é possível que não tem um jeito mais inteligente de resolver as coisas!

Old School

A internet é mesmo uma maravilha né? Primeiro foi o filme ‘Labirinto, a magia do tempo‘, do qual eu só lembrava que tinha uma menina andando por um labirinto atrás de um bebê. Inocentemente digirto ‘labirinto’ na pesquisa de imagens do google e não é que o cartaz do filme me aparece na primeira página de resultados?

Hoje cismei de fazer a mesma coisa com alguns fragmentos de programas de televisão antigos. Me lembro de um seriado que passava na TV Cultura que eu gostava bastante. Era um pai com 2 filhos e uma filha e eles moravam em um farol. Eu lembro particularmente bem de um episódio que a menina conhece um sereio… que na verdade era um colega de classe dela, que tinha que usar luvas pq cresciam escamas na sua pele. Bem psicodélico. Enfim, o seriado era australiano e se chamava ‘A Família Twist‘ (Round Twist). Todas as histórias são nesse estilo do sereio, com criaturas fantásticas e tudo mais.

O terceiro programa era um desenho, e exigiu uma busca mais profunda… A única coisa de que eu me lembrava era o personagem principal. Um cara magrelo com um topete espetado, pernas longas, que usava uma calça preta e blusa laranja. Minha memória ainda insistiu em algo sobre um peixe, mas não sabia bem como encaixar ele na história. A imagem era clara na minha cabeça, mas como eu explico isso pro google? Impossível. Links vão e vem e eu encontro esse site que tem um banco de dados de desenhos animados clássicos. Com muita paciência, passando por todos os estúdios eu o encontro finalmente: ‘The Completely Mental Misadventures of Ed Grimley‘!!! Ah, esse eu vou ter q baixar uns episódios pra saber porque ele não saiu da minha memória a longo prazo (o desenho é de 1988)… A apresentação era essa daqui.

Vou dormir feliz hoje 🙂

No brinquedo novo

Mobilidade é tudo de bom mesmo… Eu não ia ter feito a metade das coisas que eu fiz hoje se estivesse naqueles laboratórios barulhentos da graduação. Fiquei quietinha aqui na biblioteca de física e estudei sobre o que vou apresentar no meu POC, preenchi uma papelada da pós e recebi um e-mail bem animador da minha orientadora 🙂 Eu tava meio com medo desse meu POC na verdade… de ficar simples demais, ou complicado demais… sei lá. Mas eu não tinha parado pra ler nada a respeito do protocolo ainda. Hoje resolvi fazer isso e foi melhor do que eu imaginava… acabei entendendo algumas coisas, apesar de não fazer idéia de como explicar isso em 8 minutos.
Vamos ver se eu consigo explicar agora o que eu vou fazer:

Eu estudei as lógicas certo?* E vi a provabilidade delas e as propriedades de cada uma e como uma estende as outras. Agora, a gente pode usar esse artefato para provar a corretude de sistemas. Mas como? Essa era minha pergunta até hoje. Vamos pegar um protocolo de autenticação que foi o que estudei. Suponha que A queira comunicar-se com B. Temos como predicados as ações de envio e recebimento de mensagens, geração de nonces e uma combinação destes que afirma se a entidade é quem inicia a comunicação ou se é quem responde (isso são dois predicados separados, lógico). Então as minhas premissas são as mensagens que B enviou e recebeu e os nonces gerados e o fato de que B é quem responde e A é quem inicia a comunicação. A partir disso, temos que ser capazes de derivar toda a sequencia de trocas das mensagens na ordem correta (ainda não entendi muito bem como se coloca na lógica essa restrição da ordem das fórmulas). O mais mais mais legal é que, quando não conseguimos chegar numa prova, conseguimos ver qual é a vulnerabilidade do protocolo e de que modo pode ser feito um ataque! Incrível hehe

Quando eu estiver entendendo isso direitinho meeesmo, vou escrever um documento explicando (que na verdade deveria ser meu POC… mas eu não sei qual o deadline da documentação ainda).

*A única coisa que eu não consegui me acostumar ainda foi esse ponto de interrogação esquisito junto com a letra ‘w’.