Fantastique, j'ai bien reçu une avance pour mon premier mois à mon nouveau travail 😏
ah oui, cette jolie petite campagne 🙈
une centrale à charbon allemande ?
(un peu comme moi tout à l'heure qui pointait en cours que c'était bien beau de prouver l'invariant mais qu'il était trivialement satisfait si l'algo ne faisait rien, et donc qu'il y avait un tout petit peu plus de travail à faire pour finir la preuve de correction)
I've read quite a few at some point in my life, but sadly the ratio read/unread has been steadily decreasing for awhile now
Ou alors elles ne font pas de C ?
"pourfendeur des dérives islamo-gauchistes" 🤨
même moi maintenant je sais presque
J'ai aussi l'impression qu'il est plus facile à prouver, en utilisant une approche prog. dyn. immédiatement suivie de l'observation du fait qu'il n'y a pas besoin de récurser (mais n'ayant pour l'instant rédigé de preuves propres de ni l'un ni l'autre, peut-être que ce n'est pas si vrai)