Nesses 4 anos, MUITA coisa aconteceu, e 99 posts (100 com este) foram escritos e publicados aqui. Eu pretendo continuar com esse blog por muitos anos mais, e pra marcar a data festiva dos “primeiros” 100 posts, eu resolvi fazer uma lista dos “melhores” até agora. Na verdade, são os posts que eu considero pessoalmente mais marcantes, ou mais memoráveis. Aí vai (em ordem cronológica crescente):

• Porquê eu DEFENDO a pirataria:
  http://joaopizani.hopto.org/2009/04/pirat

• O começo de todo o meu interesse por Haskell:
  http://joaopizani.hopto.org/2009/05/haskell-start

• Uma humilde explicação de porquê o problema P vs. NP é interessante:
  http://joaopizani.hopto.org/2009/10/p-np

• Ganhei uma bolsa de estudos do governo alemão pra estudar alemão na Alemanha:
  http://joaopizani.hopto.org/2009/10/winterkurs-2010-dusseldorf

• Tentativa patética em escrever poesia em Alemão, mas tem gente que gostou:
  http://joaopizani.hopto.org/2010/06/deutsch-die-grunde

• Projeto final de uma disciplina optativa no curso de Ciência da Computação. Provavalmente um dos 3 projetos mais legais que já fiz:
  http://joaopizani.hopto.org/2010/07/guitar2midi

• Pico da minha empolgação sobre SSH e acesso remoto, sobre como contornar firewalls:
  http://joaopizani.hopto.org/2011/02/ssh-over-ssh

• Resumo de vários “truques” que uso no dia-a-dia de usuário do shell:
  http://joaopizani.hopto.org/2011/04/shell-magic

• Meu TCC (for dummies :P) :
  http://joaopizani.hopto.org/2011/04/tcc

• Ganhei uma bolsa para participar da Escola de Verão em Programação Funcional em Utrecht – na Holanda (meu fututo destino no mestrado :D):
  http://joaopizani.hopto.org/2011/05/buitenland

• Comentários hilários de commit no SVN do meu TCC:
  http://joaopizani.hopto.org/2011/07/tcc-logs

• Como foi a vida durante as 3 semanas de escola de verão em Utrecht, 2011:
  http://joaopizani.hopto.org/2011/09/utrecht-leven

• Meu aleatório gosto musical (sem nenhuma ordem ou explicação):
  http://joaopizani.hopto.org/2011/09/muziek1

• Brincando de sintetizar música “do nada” usando Haskell:
  http://joaopizani.hopto.org/2012/01/haskell-synth

• O “Game of Life” de Conway, implementado em Haskell COM INTERFACE gráfica:
  http://joaopizani.hopto.org/2012/01/haskell-kata-game-of-life

• Experimentando e usando o Android x86 na VirtualBox:
  http://joaopizani.hopto.org/2012/02/android-ics-virtualbox

• Transmissor de AM usando Arduino (TOTALMENTE digital):
  http://joaopizani.hopto.org/2012/04/arduino-am

• Ganhei bolsa total e VOU FAZER MESTRADO NA HOLANDA, UhulllLL!:
  http://joaopizani.hopto.org/2012/06/sol-iustitiae-ilustra-nos

• Obrigado Turing pela sua contribuição à ciência que eu tanto amo e estudo:
  http://joaopizani.hopto.org/2012/06/alan-mathison-turing

• Um template de planilha para controle de finanças pessoais simples mas muito bom:
  http://joaopizani.hopto.org/2012/08/personal-finance-spreadsheet

• Minha humilde configuração de rtorrent, organizada e auto-contida:
  http://joaopizani.hopto.org/2012/08/rtorrentrc

• GNU Screen for the win:
  http://joaopizani.hopto.org/2013/03/screenrc-ftw

• Formigas em Haskell:
  http://joaopizani.hopto.org/2013/03/haskell-ants-edsl

• Sem falsa modéstia, minha ÓTEMA configuração de Vim, modular e auto-contida:
  http://joaopizani.hopto.org/2013/03/modular-xplatform-vim-cfg-with-lasers

• Meu mestrado – aquilo que vim fazer “oficialmente” aqui nos Países Baixos:
  http://joaopizani.hopto.org/2013/03/msc

Bom, depois de já ter falado aqui no blog do dia-a-dia por aqui, e de coisas interessantes que fiz nas horas livres até agora, acho que chegou a hora de falar da motivo “oficial” pelo qual estou aqui, chegou a hora de falar do meu mestrado em Ciência da Computação na Universiteit Utrecht.

Mais especificamente, vou tentar explicar o que diabos estou estudando e o que pretendo fazer no futuro (próximo)… O nome oficial do programa de mestrado que estou seguindo é “M.Sc in Computing Science” com especialização em “Programming Technology”. O programa tem duração prevista de 2 anos e é um mestrado acadêmico, ou seja, com intenção de preparar para a pesquisa. Aqui na Holanda é bem clara a diferença entre os mestrados profissionalizantes (geralmente duram 1 ano) e os de pesquisa (2 anos). Na nossa linha de pesquisa em “Programming Technology” está incluída muita programação funcional, implementação de ferramentas e linguagens de programação, otimização, compiladores, etc. Enfim, tudo o que fica “por baixo” de linguagens de programação.

Para dar uma boa idéia do que mais exatamente eu estou estudando, nada melhor do que a lista de todas as disciplinas que cursei/vou cursar:

No experimentation project (INFOEPCS) e na tese, pretendo desenvolver pesquisa em um tema relacionado à área de programação massivamente paralela e/ou implementação de programas funcionais acelerados em hardware. Isso, pelo menos, é o que eu quero. Porém, muitas conversas com possíveis orientadores ainda vão acontecer nos próximos meses…

Já que estamos falando de tempo, vou explicar como funciona o calendário acadêmico aqui em Utrecht também: Cada disciplina é ministrada durante um período de tempo chamado “bloco”. Um bloco dura em média 11 semanas, e cada ano acadêmico é dividido em 4 blocos. E como uma imagem fala mais que mil palavras, aí vai calendário com todos os 8 períodos que formam o meu mestrado:

Como dá pra ver, a gente tem bem pouca folga por aqui… :P  Claro, há as férias de verão (6 semanas) e uma pausa para o Natal (10 dias), mas não há NENHUMA pausa entre um bloco e outro. Há as semanas de “retake”, que ficam NO MEIO de cada bloco, ou seja, são semanas sem aula, mas com bastante trabalho pra entregar.

Mesmo assim, não posso reclamar. O trabalho é muito, mas, afinal das contas, gosto muito do que estou fazendo. As disciplinas e os projetos dão trabalho, mas também são inspiradores :)  O “repositório” com os arquivos das disciplinas que já cursei até agora também estão numa seção aqui do blog (1o. e 2o. blocos), assim como fiz com a graduação.

Dentre todo o conteúdo das disciplinas, posso destacar dois projetos finais como as coisas mais legais que fiz nos dois primeiros blocos:

• Generic Pandoc: Projeto final da disciplina “Generic Programming”. Envolvia um estudo de como aplicar técnicas de programação genérica em Haskell para aperfeiçoar o Pandoc.
• Haskell Ants EDSL: Projeto final da disciplina “Advanced Functional Programming”, consistia em implementar uma linguagem de domínio específico (embutida em Haskell), para participar de uma competição de simulação de colônia de formigas. Tem um post aqui no blog sobre esse projeto.

Por enquanto é isso! Até os próximos blocos, até os próximos projetos!

Esse vídeo é parte de um projeto criado pela Universidade de Canterbury (Nova Zelândia) e agora também patrocinado por Carnegie Mellon e Google, e que tem como objetivo inicial mostrar a crianças entre 10 e 13 anos o que é – afinal das contas – Ciência da Computação. Eles desenvolveram um conjunto de atividades (brincadeiras, basicamente) que ensinam os conceitos fundamentais de, por exemplo: representação binária, compressão, ordenação, busca binária, interação humano-computador, teoria da informação e criptografia de chave pública.

Eu fiquei MUITO empolgado com a idéia, e com um pouco de inveja daquelas crianças: eles tiveram uma aula mais profunda e inspiradora do que muitos alunos têm em bacharelados em Ciência da Computação… Esse vídeo me inspirou e me lembrou mais uma vez de um sonho antigo meu: ensinar Ciência da Computação (sem computadores) para crianças. Então aí vai o vídeo pra vocês verem:

No ano passado eu publiquei um artigo aqui descrevendo uma “distribuição” para Vim, que era o resultado de meses de uso DIÁRIO desse editor. Essa distribuição é totalmente modular e auto-contida. Além disso, eu tento seguir o princípio de “graceful degradation”. O que isso tudo significa?

• Auto-contida no sentido de que não “espalha” arquivos pelos diretórios, nem interfere com configurações que eventualmente o usuário já possua. Você pode colocar o diretório baixado do repositório em um pendrive e usar em qualquer computador
• Modular no sentido de que é constituída de uma série de plugins – não muitos – (gerenciados pelo NeoBundle), e uma série de arquivos contendo “defaults razoáveis” para esses plugins.
• Graceful degradation significa que eu tento fazer o máximo possível, mas exigindo o mínimo possível. Além disso, os defaults tentam ser não-invasivos. O princípio é de que quanto mais frequente uma ação, mais simples deve ser realizá-la.

A boa notícia é que desde meados do ano passado essa minha “distribuição” de configurações para Vim evoluiu bastante, e eu considero-a pronta para ser usada pelo público geral de programadores usuários de Vim, ou até mesmo pra quem está só começando a usar esse ótimo editor.

Sem mais delongas, não vale a pena ficar repetindo aqui tudo o que já explicado no arquivo README no repositório. Então, vai lá, siga as instruções, teste e veja se você gosta… :)

Fiz esse trabalho junto com meus amigos Liewe Thomas van Binsbergen e o cara gente fina com o maior nome que já vi na vida: o lusitano João Miguel Queiroz de Ataíde Agorreta de Alpuim. Como projeto final no curso, cada “time” de estudantes tinha que submeter uma candidatura para um concurso que envolvia a simulação de formigas num ambiente natural. Essa “tarefa” foi a selecionada para o concurso de programação da International Conference on Functional Programming em 2004…

A descrição oficial da tarefa define uma linguagem Assembly para o “cérebro” das formigas, e as colônias de formigas de dois times lutariam em rodadas de um campeonato (com mapas aleatórios a cada rodada), e onde o objetivo em cada rodada do campeonato era ter mais comida em seu ninho ao fim de um certo período de tempo. O concurso rodava num simulador, e aí vai um “screenshot animado” pra dar uma idéia a vocês do que acontece:

Nesse exemplo somos a colônia de formigas “vermelhas”, e competindo contra o campeão absoulto de todos os anos, em azul. Apesar de nesse exemplo estarmos perdendo feio (pouca comida no nosso ninho), na competição com as outras equipes da turma, não fomos tão mal assim.

Mas enfim, o projeto (publicado no GitHub) trata não de programação em Assembly de formiga, mas de Advanced Functional Programming in Haskell, portanto, o que diabos esse projeto tem a ver com Haskell: simples, a nossa tarefa era a de implementar uma Linguagem de Domínio Específico Embutida em Haskell (Embedded Domain-Specific Language), que permitisse expressar em alto nível de abstração as estratégias que quiséssemos que nossas formigas tivessem. O produto final do projeto tem então dois componentes principais:

• Biblioteca EDSL: Uma API de alto nível, composta de algumas estratégias “fundamentais”, e de combinators que constroem estratégias complexas a partir de estratégias mais simples
• Estratégias em si: Usando a API desenvolvida, deveríamos submeter duas estratégias (programas em assembly de formiga) que iriam competir em um campeonato com o resto da turma

A nossa EDSL foi desenvolvida em uma arquitetura de camadas, onde a aplicação das funções acessíveis pelo usuário gerava um valor de um tipo de dados AntImperative, que depois então era convertido (compilado) para o assembly de formiga. Esse modelo de EDSL é chamado de “deep-embedded”. Na figura abaixo têm-se uma idéia de como ficou organizado o projeto:

Só pra que vocês tenham uma idéia de como se parece uma estratégia escrita na nossa “linguagem” de alto nível, aí vai uma das estratégias que submetemos:

Esta estratégia em particular era baseada no fato de que as formigas que nasciam nos cantos do ninho (o ninho tem formato hexagonal) desenham “rodovias” de feromônios, que servem para que as formigas carregando comida possam achar o caminho de volta para casa. Além disso, as formigas que encontram comida deixam um “rastro” de feromônios também indo em direção a rodovia principal, construindo assim “estradas locais”.

Por fim, como “prêmio” pra você que teve paciência de ler até aqui :), há os slides da apresentação que fizemos sobre o projeto (clique na imagem para fazer download):
presentation-ants-edsl-afp2012

Era só isso por enquanto! Logo que finalizar mais projetos interessantas, conto aqui para vocês… Até a próxima! :)

Bem, enquanto o “núcleo” das configurações continua o mesmo, algumas coisas mudaram nesses últimos meses: organizei ainda mais a configuração, publiquei no GitHub com um arquivo README bem auto-explicativo e também adicionei algumas novidades…

Alguns atalhos de teclado foram melhorados, alguns foram adicionados, mas as novidades mais importantes têm a ver com o modo multi-usuário do GNU Screen: muito útil para sessões de pair-programming remoto. Vá lá então, dê uma olhada nas simples instruções e passe a usar o Screen de um jeito bem mais comfortável e prático :)

PS: Para poder usar TODO o poder das configurações, você precisa de uma versão razoavelmente recente do Screen. Infelizmente algumas distribuições Linux ainda usam versões de anos atrás… Se você usa alguma distribuição que use pacotes .deb, pode baixar um pacote com Screen recente (do Debian Unstable). Caso use Arch Linux, existe uma versão recente de Screen no AUR.

Subindo a torre mais alta da Holanda (Domtoren Utrecht) com a maninha

Não podia faltar… Os tamancos de madeira (em holandês: Klompen)

Retrato de família em Kinderdijk :)

Quase um mês depois – na primeira semana de Outubro – foi a vez de realizar um dos maiores sonhos “festeiros” da minha vida, para o qual eu já vinha me preparando há meses: ir à LEGÍTIMA Oktoberfest em Munique, na Alemanha.  E lá fomos, eu, dois roommates e duas amigas, dirigindo por 8h um Citroën C1 ao longo da Autobahn alemã em direção à Bavária. E lá passamos dois dias inesquecíveis. EU VOLTAREI.

Galera toda pronta pra festa, depois de 8h de viagem

Até que enfim entrei nessa p***

Hacker Festzelt, o “paraíso dos bávaros” (Himmel der Bayern)

Oktoberfest em Munique: Check!

Domingo de manhã, voltinha antes de voltar pra casa

Almoço típico bávaro na Hofbräuhaus

Lá por meados de Outubro, apesar da pressão de todas as provas e trabalhos a entregar, eu resolvi aproveitar o domingo de sol e razoavelmente quente para fazer algo que queria há muito tempo: alugamos dois barcos elétricos, colocamos todo mundo dentro, enchemos de cerveja e comidas e fomos navegar pelos canais de Utrecht… Como diriam os holandeses, foi “heel gezellig” :)

Utrecht é a “pérola escondida” da Holanda, totalmente subestimada.

Oudegracht, canal construído na SÉCULO XII (12!!!!)

Depois do passeio de barco, fui com a minha amiga Viviane (bolsista do Ciência sem Fronteiras aqui na Holanda) ao Castelo de Haar, e entramos de graça devido a um genuíno “carteiraço” propiciado pelo nosso Museumkaart. Preço normal: 12,50€. Preço para nós: 0,00€

Kasteel de Haar com os roommates

Kasteel de Haar com a Vivi

Um final de semana depois foi a vez de encontrar a Cíntia Nunes, uma boa amiga que eu já não via há 2 anos e que recém começou o mestrado em direito em Rotterdam… Fui até Rotterdam e depois pedalamos até um lugar que já é meio simbólico pra mim: Kinderdijk. Só vou lá com pessoas das quais gosto muito :)

Italian-Brazilian Bikerz Club – Me and Giulia :)

Depois de pedalar 2h sem parar…

Pra finalizar (por enquanto), uma visita rápida a Rotterdam com a Viviane para fazer a matrícula consular no Consulado-Geral do Brasil no Reino dos Países Baixos. Fomos ao consulado pela manhã e à tarde fomos adivinha aonde… Sim, a Kinderdijk :P

Também nesse mesmo final de semana fiz uma excursão por vários museus de Amsterdam, 4 ao total:  Rijksmuseum (Museu Nacional da Holanda – com várias obras da época da colonização holandesa do Brasil – Prof. Itacir, lembrei do Sr.), Stedelijkmuseum (arte moderna, gostei muito), Anne Frankhuis e Sexmuseum (também surpreendentemente bom) :)

Posso votar pra presidente aqui em 2014 :)

Vivi e Erica em Delftshaven (Rotterdam)

Sim, eu sou patriota :P

Encontro com as obras de Piet Mondriaan no Stedelijkmuseum Amsterdam

Por enquanto é só, pessoal… Até a próxima!

Agora eu me sinto verdadeiramente EM CASA aqui. Já se passaram três estações; já vesti chinelo e bermuda, calça jeans e moleton, e agora visto luvas e cachecol. Já tirei foto de gente mergulhando no canal, das folhas no gramado na frente de casa, e agora da neve que caiu cedo demais, já no começo de dezembro.

Me sinto em casa também porque conheci muita gente SENSACIONAL por aqui. Galera, não fiquem com nem um pouquinho de ciúmes: todo mundo que ficou no Brasil é e sempre será insubstituível. Mas, por outro lado, eu tô muito feliz de saber que posso também contar com alguns(mas) amigos(as) por aqui, especialmente com uns holandeses e holandesas super gente fina :)  Maaike, Michelle, Renée, Liewe, Jan, Mirjan, etc…

Agora, eu acho que pra dar uma boa idéia de como está sendo o dia-a-dia nos Países Baixos, nada melhor do que fotos. Nada de festas, viagens ou ocasiões especiais – estas ficarão para um próximo post. Hoje é a vez das fotos espontâneas, do cotidiano, daquilo que me traz lentamente o sentimento de estar EM CASA…

Falando em casa, nada melhor do que mostrar pra vocês um pouco da minha casa, e do pessoal que mora comigo:

Mijn Kamer – Meu quarto

Outro ângulo…

O meu prédio, bem ali… :)

Agora, mas importante que o lugar são as pessoas: divido o IBB227 com mais 7 pessoas: 1 romeno, 1 canadense nascido na Eslováquia, 1 italiano, 1 lituano, 1 alemão, 1 indonésia e 1 americana… Pessoal gente finíssima :)  Ainda não tenho uma foto com todo mundo, mas nessas 2 já aparece metade da galera.

De Huisgenoten: Eria (Indonésia), eu e Nils (Alemanha)

Thuis – Na cozinha com os flatmates Luca (Itália) e Lubo (Canadá)

Agora que vocês já conhecem minha casa, que tal eu apresentar um pouco do dia-a-dia na minha “segunda casa”? Vou mostrar um pouco de como é a vida acadêmica na Universiteit Utrecht… Antes da avalanche de computação, notas, disciplinas, trimestres e etc, vamos ao mais “genérico”:  Eu estudo no campus central da universidade, o lugar é chamado “De Uithof” e é um exemplo de arquitetura moderna que estudantes de arquitetura de toda a Holanda vêm visitar… A biblioteca central é um dos lugares mais legais daqui, e um dos que eu mais visito :)

Universiteitsbibliotheek De Uithof

A biblioteca fica na Heidelberglaan, a principal avenida do campus De Uithof. Nessa avenida, na frente da biblioteca, ficam ainda a “Casa Confetti”, o prédio mais colorido do campus, que serve como moradia estudantil e o Van Unnikgebouw, o prédio mais alto do campus (20 andares) e que abriga a administração central… Na frente do Van Unnikgebouw fica o bar “The Basket”, que tem esse nome pois há uma quadra de basquete em cima do bar. A ciclovia da Heidelberglaan é a mais larga de Utrecht, e as duas pistas comportam tranquilamente lado-a-lado dois carros populares…

Heidelberglaan – Van Unnikgebouw, The Basket en Casa Confetti

Mas a minha verdadeira “segunda casa” é o complexo da Faculdade de Ciências, que fica numa avenida paralela à Heidelberglaan, a Leuvenlaan: o prédio mais famoso do complexo é o Minnaertgebouw:

Minnaertgebouw – Faculdade de Ciências

Por dentro o Minnaertgebouw é um prédio bem “amplo”, e além de um restaurante universitário, abriga laboratórios de física e um “pátio” com cabines de estudo e descanso:

Pátio dentro do Minnaertgebouw

O departamento de Ciência da Computação e uma parte do departamento de matemática ficam no Buys Ballotgebouw (Princetonplein 5).  Esse é o prédio que eu chamo carinhosamente de “novo INE” :)

Buys Ballotgebouw – O “novo INE”

Muita coisa já aconteceu aí nesse prédio: de fato, já se passou todo o primeiro período acadêmico do meu mestrado (cada período tem de 10 a 11 semanas em Utrecht). Muito estudo, muitas risadas, muitas piadas internas, muitas provas e algumas apresentações :)

Aula de grafos com o equivalente holandês do Luis Claudio

Generic Programming – Haskell MADNESS

Bom humor da galera do “studielandschap”

My first “official” Haskell presentation in English :)

E assim vai acontecendo a vida acadêmica em Utrecht, no coração dos Países Baixos… Se tudo der certo, tenho mais 7 períodos acadêmicos pela frente, seguindo MAIS OU MENOS esse calendário aqui:

UU M.Sc academic calendar

A graduação por enquanto é um sonho planejado para uma tarde em Julho de 2014, no Academiegebouw Domplein, Utrecht. Até lá, a vida continua, com os pequenos mas não menos interessantes acontecimentos do dia-a-dia, alguns dos quais viram fotos :)

A “rua Belo Horizonte” nos subúrbios de Utrecht… WTF

Minha bike no verão

Minha bike no inverno

Vista da janela de casa no verão

Vista da janela de casa no inverno

Um pouquinho de “cultura” holandesa pra galera :)

É isso aí galera, até mais!

Just the smart people will get it:

Just because “ones = 1 : ones” was too much of a boring example…