Embed Notice

Je crois que je sais pourquoi j'aime pas, un certain nombre, des cours de la fac.
Y'a juste aucun lien visible entre le cours et la VRAI informatique.
Vous savez, celle qu'on fait pas sur papier.
Celle ou on discute avec une machine. Pas celle ou faut tout expliquer a un humain par ce qu'il fait EXPRÈS d'être CON. (J'ai une haine particulière pour les profs correcteurs qui demandent une justification par ligne)

A quel moment je vais avoir besoin de prouver a un ordinateur que oui ma boucle va bien de 0 à 10…
Ben jamais… par ce que c'est déjà ce que dit mon code

Elle est sur la première ligne ma putain de preuve… C'est ce qui s'appelle UNE INSTRUCTION.
Pas besoin de justifier avec 75 plus de 100 (75 c'était pas assez au vu de la correction) lignes de math que ça va de 0 à 10… par ce que c'est juste la consigne. Y'a rien d'autre a faire.

Je parle pas non plus du cours de "Programmation de Confiance" aka "comment prouver un programme" qui n'a AUCUN exo qui soit logique.
On donne du WhyML a apprendre sur le tas par ce que le prof aime ça et veut pas utiliser le prouver C ou Python. (Qui éviterai a tout le monde de perdre du temps avec un langage avec une syntaxe douteuse).

Le cours de sécu qui est juste le prof qui expose son sujet de thèse…

Compilation… merci bien… j'avais pas besoin de venir a la fac pour savoir faire un lexer…

Allez… j'ai pas encore eu assez de cours d'"Interfaces Logicielle Machine" pour juger. Mais pour l'instant en une seule semaine a 100% dessus j'aurai pu apprendre tellement plus d'assembleur que ce qu'on a eu là…