An old story about coherence spaces, hypercoherences and the less known multicohences and some considerations concerning coherent differential PCF.
Articles les plus récents
-
Exposé pour l’anniversaire des 60 ans de Thomas Ehrhard
3 octobre 2022, par Pierre -
Des services numériques pour étudier
5 avril 2020, par Pierre[Mise à jour 8 avril]
Chers étudiants et étudiantes de l’université Sorbonne Paris Nord,
Cela fait maintenant trois semaines que les mesures de lutte contre l’épidémie de Covid-19 ont rendu difficile vos conditions d’études. Vos équipes enseignantes et vous-même avez réagi en trouvant différentes solutions pour continuer à étudier.
Certaines de ces solutions comportent des risques pour vos identités numériques et vos données à un moment charnière de votre vie.
Pour l’université, il est important de vous (...) -
Bluehats & UnivMobile
31 décembre 2019, par PierrePrésentation de la démarche design employée pour UnivMobile faite à la rencontre bluehats du 11 décembre 2019.
-
Mon université en 2030
26 décembre 2019, par PierreTexte d’une intervention que j’ai faite dans le cadre d’une soirée Cap 2030, organisée par le EdFab à Cap Digital le 27 février 2019.
-
Expérience du désir
26 décembre 2019, par PierreLes architectes et urbanistes parlent de lignes de désir lorsqu’un sentier apparaît au milieu d’un aménagement, marque d’un raccourci qui trace à cette occasion une ligne imprévue dans les plans.
Cet usage réel et imprévu de l’aménagement est utilisé dans le domaine du design de services numériques pour présenter la différence entre expérience utilisateur (UX) et design.
L’aménagement représente le design et les lignes de désir l’expérience, comme dans cette présentation prise en photo au cours d’une journée (...) -
Sujet d’examen Sûreté et Sécurité (2ème partie)
16 février 2017, par PierreSujet de l’examen de rattrapage du 16 février 2017, seconde partie.
En vous aidant de l’article The Security Impact of HTTPS Interception qui devrait être présenté le 28 février prochain à la conférence NDSS’17, à San Diego, USA, répondre aux questions suivantes.
– Qu’est ce que l’interception https?
– Pourquoi faire de l’interception https?
– Comment peut-on (techniquement) intercepter https?
– Quelle(s) menace(s) de sécurité pose l’interception https?
– Qu’est que ce que le fingerprinting TLS ?
– (...) -
Anticipation Flowing Backwards in a Functional Monetary Economics Simulation
30 septembre 2016, par PierreArtificial Economics, sep. 2016.
-
Affiche CiE 2016
11 avril 2016, par PierreUne archive contenant les sources de l’affiche que j’ai réalisé pour la conférence CiE 2016 (Scribus, Gimp, fontes libres, images dont le fond réalisé à partir d’une photo de Paulin Jacobé de Naurois).
https://mindsized.org/static/cie_af... (46 Mo) -
Partiel mars 2016
23 mars 2016, par Pierrean actor enters into a bar…
-
Devoir Akka / Spray
15 mars 2016, par PierreUn devoir à préparer pour le TP 5, sur Akka. Vous aurez à présenter votre code, pendant le TP après quoi nous l’intégrerons à un plus gros système d’acteurs.