Informaticien spé philo 🐫

Emporte pièce lambda calcul

Regardez ce que mon copain m'a offert !!! 🥰

Oui oui

Mais on parlait de preuves qui cassent avec une MAJ du theorem prover

À l'échelle d'un projet ça fait des trucs qui compilent pas / pas mal de temps pas intéressant à juste retirer plein de bouts de preuves jusqu'à ce que ça recompile

Rien de grave c'est juste très embêtant

Je parle de preuves qui sont correctes / dans le bon bullet, et puis avec l'amélioration de simp finalement elle se finit plus tôt

En même temps c'est pas eux les chefs ?

Ma préférée : simp est devenu plus puissant : la preuve de 15 lignes termine maintenant ligne 1 et la ligne d'après fait un gros message d'erreurs

Seigneur oui

Pensée emue pour ce reviewer qui avait mis en première remarque "arrêtez de mettre Coq/Rocq le changement de nom est officiel", avant d'écrire des pages de remarques dans lesquelles il n'a fait que de parler de Coq

Moi je vote pour Croq

( en vrai j'ai été mauvaise langue une des examinatrices a dit Rocq à un moment)

C'est vraiment en assistant à une soutenance de thèse qu'on se rappelle à quel point PERSONNE ne dit Rocq

(Les galettes comtoises sont les meilleures de toutes façons)

Jsuis trop fier (j'espère qu'elle sera bonne c'est pour l'équipe du labo demain)

tuto lean > comment fabriquer de la drogue à partir de sirop codéiné

mais genre vraiment

on a un vrai pb de nommage de nos outils en info

Très fier de ma galette comtoise

Ça marche pas
-oui le message d'erreur dit indentation *montre comment faire*
-ah

*5mn plus tard*
-Ça marche pas
*avait retiré les indentations*

De manière assez ironique je suis désormais avec quelqu'un de mon âge, mais avec un prénom de vieux, du coup tous mes potes pensaient que j'avais trouvé un daddy

Peut-être les daddy issues qui parlent mais il y a plein de beaux mecs ( et de très belles femmes également) qui sont plus âgés et je comprends pas les standards là dessus

Ils sont pas au même niveau les miens

Après les heures de TP ça peut aussi faire bcp de temps de correction...

J'ai déjà les genoux qui grincent je suis un jeune vieux

Globalement le blanc juste si de base tes cheveux sont foncés faut y aller par étapes

Après c'est cool d'être vieux ça veut dire que t'es vivant

Pour avoir déjà eu du blanc

Le blanc c'est grave dur à entretenir mais à avoir ça va, le gris c'est dur de l'obtenir in the first place

Non (j'ai trop hâte)

(Je n'ai jamais réussi à me faire une teinture grise c'est trop compliqué donc j'attends l'arrivée naturelle)

Ai glissé devant jussieu ce matin MALGRÉ les chaussures de rando

C'est Cyrano vu du dessus

Un patron qui ordonne à un employé de venir bien qu'il n'y ait pas de bus et lui dit qu'il va lui retirer sa paye. Vous savez s'il y a quelque chose qui protège l'employé ?

Un chapeau de sorcier avec deux gros pompoms