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à…
À côté de moi dans le train, il y avait deux filles de quatorze ans qui fraudaient.
Elles se sont faites chopper.
Au début j'étais un peu désolé pour elles, et j'étais sur le point de leur venir en aide.
Mais en fait, elles étaient tellement pénibles (regarder des vidéos Tiktok à fond, poser des chewing-gums mâchés sur le siège à côté de moi, etc.) que j'ai laissé faire.
Je regrette un peu de n'être pas intervenu.
Mais pas trop quand-même.
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.