Informaticien spé philo 🐫
@cyranhoe.bsky.social
M2 Informatique à Sorbonne Université | 🏳️🌈 | Rock prog et Kylie Minogue | Types dépendants, prog fonctionnelle et méthodes formelles
Premières copies avec les L1 dans un cours "élément de programmation" dans lequel quasiment tous les exercices c'est "donnez le code de la fonction qui [...]"
Premières perles également
En plus il a pas donné les types je suis tout chafouin.
Premières perles également
En plus il a pas donné les types je suis tout chafouin.
October 3, 2025 at 6:05 PM
Premières copies avec les L1 dans un cours "élément de programmation" dans lequel quasiment tous les exercices c'est "donnez le code de la fonction qui [...]"
Premières perles également
En plus il a pas donné les types je suis tout chafouin.
Premières perles également
En plus il a pas donné les types je suis tout chafouin.
War is over 🙏
September 17, 2025 at 8:01 AM
War is over 🙏
Je crois que je ne suis pas prêt pour la prochaine phase de ma vie (jeune adulte qui rentre dans la vie active)
(Je repars plus tôt de la braderie, loupant le tournoi de flip cup, afin d'aller à une fête de PACS)
(J'avais pas de papier cadeau)
(J'ai réussi à dépasser en coloriant)
(Je repars plus tôt de la braderie, loupant le tournoi de flip cup, afin d'aller à une fête de PACS)
(J'avais pas de papier cadeau)
(J'ai réussi à dépasser en coloriant)
September 6, 2025 at 1:34 PM
Je crois que je ne suis pas prêt pour la prochaine phase de ma vie (jeune adulte qui rentre dans la vie active)
(Je repars plus tôt de la braderie, loupant le tournoi de flip cup, afin d'aller à une fête de PACS)
(J'avais pas de papier cadeau)
(J'ai réussi à dépasser en coloriant)
(Je repars plus tôt de la braderie, loupant le tournoi de flip cup, afin d'aller à une fête de PACS)
(J'avais pas de papier cadeau)
(J'ai réussi à dépasser en coloriant)
Très bel endroit pour profiter des vacances
August 28, 2025 at 2:28 PM
Très bel endroit pour profiter des vacances
Quelqu'un saurait m'expliquer pourquoi ça c'est pas une VSS ???
August 21, 2025 at 9:55 PM
Quelqu'un saurait m'expliquer pourquoi ça c'est pas une VSS ???
Retour sur l'eau après deux ans, 20 nœuds dans les rafales, plus de jambes, plus de bras, plus de dos, mais j'ai mis mon joli dossard rose pour l'occasion 🥰
July 21, 2025 at 3:12 PM
Retour sur l'eau après deux ans, 20 nœuds dans les rafales, plus de jambes, plus de bras, plus de dos, mais j'ai mis mon joli dossard rose pour l'occasion 🥰
Police milice 🎵🎵
Flicaille racaille🎵🎵
Flicaille racaille🎵🎵
July 15, 2025 at 4:29 PM
Police milice 🎵🎵
Flicaille racaille🎵🎵
Flicaille racaille🎵🎵
Ici on sait occuper ses vendredi soirs
(Festival de films italiens en plein air aux arènes de lutece)
(Festival de films italiens en plein air aux arènes de lutece)
July 4, 2025 at 6:05 PM
Ici on sait occuper ses vendredi soirs
(Festival de films italiens en plein air aux arènes de lutece)
(Festival de films italiens en plein air aux arènes de lutece)
petit craquage du jour sur les réponses aux reviews (j'ai ajouté un paragraphe dans le papier sur le sujet je sais pas quoi mettre en + en réponse)
July 4, 2025 at 1:29 PM
petit craquage du jour sur les réponses aux reviews (j'ai ajouté un paragraphe dans le papier sur le sujet je sais pas quoi mettre en + en réponse)
Très content de la déco de mon bureau au labo
July 3, 2025 at 4:14 PM
Très content de la déco de mon bureau au labo
Le père Noël est passé au Lip6 🥰🥰🥰
July 3, 2025 at 9:07 AM
Le père Noël est passé au Lip6 🥰🥰🥰
C la giga teuf ce soir en tout cas
April 20, 2025 at 8:11 PM
C la giga teuf ce soir en tout cas
Parfois je pense à cette fois où je parlais à mon copain d'un cours de mon futur co-DT où il mentionnait super lambda, du coup je lui ai montré cette photo de super lambda, et il a cru que je lui montrais une photo de mon futur co-DT...
April 1, 2025 at 8:28 PM
Parfois je pense à cette fois où je parlais à mon copain d'un cours de mon futur co-DT où il mentionnait super lambda, du coup je lui ai montré cette photo de super lambda, et il a cru que je lui montrais une photo de mon futur co-DT...
Ah mais cerveau cramax de chez cramax regardes le titre du séminaire d'hier
March 28, 2025 at 9:47 PM
Ah mais cerveau cramax de chez cramax regardes le titre du séminaire d'hier
Profiter de ces deux monstres # gourmand
March 28, 2025 at 9:46 PM
Profiter de ces deux monstres # gourmand
J'ai été surclassé au théâtre ce soir la vie est belle 🥂
March 21, 2025 at 6:39 PM
J'ai été surclassé au théâtre ce soir la vie est belle 🥂
Ouais bon c'était une autre époque
March 19, 2025 at 12:37 PM
Ouais bon c'était une autre époque
I MEAN
(j'avoue le fait qu'il y ait écrit Besançon sur le cadran ça me plait bcp)
(j'avoue le fait qu'il y ait écrit Besançon sur le cadran ça me plait bcp)
March 18, 2025 at 10:28 PM
I MEAN
(j'avoue le fait qu'il y ait écrit Besançon sur le cadran ça me plait bcp)
(j'avoue le fait qu'il y ait écrit Besançon sur le cadran ça me plait bcp)
biblically accurate Mathlib
March 2, 2025 at 5:20 PM
biblically accurate Mathlib
Les messages de compil de mathlib ils font peur
March 2, 2025 at 4:56 PM
Les messages de compil de mathlib ils font peur
J'ai été mauvaise langue c'est pas si moche que ça Vesoul
March 1, 2025 at 5:22 PM
J'ai été mauvaise langue c'est pas si moche que ça Vesoul
Trouvez vous un copain qui a ghci sur son téléphone et le sort en plein date au restaurant
February 27, 2025 at 9:05 AM
Trouvez vous un copain qui a ghci sur son téléphone et le sort en plein date au restaurant
Extrêmement stylée l'exposition sur le disco à la philharmonie de Paris purée
February 22, 2025 at 3:24 PM
Extrêmement stylée l'exposition sur le disco à la philharmonie de Paris purée
Après bon comme d'habitude avec mes playlists c'est parti dans tous les sens
(Je sais même plus pourquoi j'avais mis du kalash criminel je pense que c'est un missclick mais ça passe étrangement bien)
(Je sais même plus pourquoi j'avais mis du kalash criminel je pense que c'est un missclick mais ça passe étrangement bien)
February 21, 2025 at 11:08 PM
Après bon comme d'habitude avec mes playlists c'est parti dans tous les sens
(Je sais même plus pourquoi j'avais mis du kalash criminel je pense que c'est un missclick mais ça passe étrangement bien)
(Je sais même plus pourquoi j'avais mis du kalash criminel je pense que c'est un missclick mais ça passe étrangement bien)
Globalement je me suis retrouvé à faire un jeu des 7 différences et ça va mieux
February 21, 2025 at 9:57 AM
Globalement je me suis retrouvé à faire un jeu des 7 différences et ça va mieux