Humor automático

Ao ler um dos blogs do Bennett, vi ele mencionar um site para produção automática de tirinhas – sem precisar desenhar, só ser roteirista. O site? WittyComics. Fiz umas 3 tirinhas até agora, que ilustram este post.

Jokes

Dynamic

Finally!

Formalismos

Charge encontrada em tutorial sobre Alloy, que nos faz lembrar da importância de especificação bem feita. Ou acabamos encontrando problemas assim na análise:

Prova Formal

Cuidado!!! =)

Cartões

achado lendo aqui.

Apoio a educação

Saudade do derretimento das calotas.