Trois mois après avoir appris que ma licence avait été obtenue, ce qui m'a permis uniquement, de façon déprimante, de continuer mes études.

En gros, la licence c'est un peu comme un point de sauvegarde dans un jeu vidéo.

On passe à la quatrième année, une année qui s'annonce intéressante, le début de master en informatique ni plus ni moins.

Une année composée de sujets passionnants comme l'intelligence artificielle et l'imagerie numérique, mais une année de sujets très sérieux aussi, qui nécessitera du travail intense, parfois nocturne, souvent uniquement grâce à des citernes de café, et à l'occasion ivre même.

Imaginez par exemple, un cours de preuve formelle de programme (MFSP: Méthodes Formelles de Spécification de Programme). La vie avant était simple: Vous écrivez un programme, puis vous les testez, et si les tests que vous avez choisi son à succès, programme fiable! Simple!

Mais il y a des cas justement ou ça ne suffit pas, ou des millions de cas se présentent, et il faut tout faire de façon mathématique, et ça peut, dans des cas extrêmes, rendre chauve. Nous les magnifiques geeks informatique, on peut aussi souffrir, même si on passe nôtre temps assis.

C'est aussi une superbe année qui commence par les régularisations de la part de gentil EDF, qui demande 350€ pour le gaz, merci, après ça je vais marcher comme un cowboy.