-
Notifications
You must be signed in to change notification settings - Fork 4
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
50 changed files
with
917 additions
and
15 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,11 +1,23 @@ | ||
--- | ||
page_title: Présentations | ||
synopsis: | ||
A synopsis | ||
Depuis 2014, il m'arrive de _donner des présentations_ sur des sujets | ||
qui m'intéressent. Dans cette page, vous retrouverez une liste | ||
_plus ou moins hexaustive_ — certaines présentations, redondantes ou | ||
internes à certaines entreprises ont été omises — des différentes | ||
présentations que j'ai pu donner | ||
au fil des années. (En _vrai_, préparer des présentations me force parfois | ||
à étudier concrètement certains sujets, me permet de faire la promotion | ||
de [OCaml](https://ocaml.org) et me permet de voyager, en buvant des verres, | ||
potentiellement _à l'œil_, avec des gens sympas). | ||
breadcrumb: | ||
- title: Technologies | ||
url: /#index-technologies | ||
display_toc: false | ||
--- | ||
|
||
texte | ||
Je suis toujours intéressé à l'idée de donner des présentations ! | ||
N'hésitez pas à me contacter si vous seriez intéressé par une | ||
présentation. En ce moment, les sujets qui m'intéressent sont: | ||
**OCaml**, **Les systèmes de types**, **Le développement web**, **La | ||
programmation fonctionnelle** et **les modules**. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,13 @@ | ||
--- | ||
title: Une introduction à la programmation Fonctionnelle | ||
name: Axa BrownBagLunch | ||
date: 2016-07-05 | ||
city: Lille | ||
country: France | ||
tags: [ocaml, haskell, fp] | ||
slides: https://xvw.lol/talks/axa-fp/slides.pdf | ||
--- | ||
|
||
Une introduction rapide à la Programmation Fonctionnelle, donnée à | ||
l'occasion d'un [Brown Bag Lunch](http://www.brownbaglunch.fr/), chez | ||
[AXA](https://www.axa.fr/). |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,15 @@ | ||
--- | ||
title: DApp's sur Tezos | ||
name: Blockchain et société | ||
date: 2022-10-05 | ||
city: Nantes | ||
country: France | ||
tags: [blockchain, dapp, tezos] | ||
url: https://blockchainsociete.org/events/2022-10-05/ | ||
slides: https://docs.google.com/presentation/d/e/2PACX-1vTQD5pn5_uOzSzD9cL4PldE0ftuoXF9LGEnBTf9LHkiEGwpscRDYdllF3uFK1x3xfj2weuzDsIOkxxK/pub?start=false&loop=false&delayms=3000 | ||
video: https://www.youtube.com/live/Lry5lQQFDMs?feature=shared&t=1584 | ||
--- | ||
|
||
Une présentation sur le développement d'applications décentralisées | ||
sur [Tezos](https://tezos.com/), et les enjeux d'ergonomie que ça | ||
engendre _potentiellement_. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,18 @@ | ||
--- | ||
title: The Elevator Problem 2 | ||
name: Touraine Tech | ||
date: 2019-02-21 | ||
city: Rennes | ||
country: France | ||
tags: [gadt, typage, ocaml, finite-state-machine] | ||
url: https://2019.breizhcamp.org/ | ||
slides: https://xvw.lol/talks/breizhcamp-tep/slides.pdf | ||
video: https://www.youtube.com/watch?v=jjpjieU55cg | ||
--- | ||
|
||
Utilisation des [Types algébriques | ||
généralisés](https://ocaml.org/manual/5.2/gadts-tutorial.html) pour | ||
encoder des machine à état fini pour modeliser le cycle de vie d'une | ||
application en utilisant des ascenseurs comme prétexte. La | ||
présentation a aussi été donnée à | ||
[LilleFP](https://github.com/lambdalille/talks?tab=readme-ov-file#lillefp13-gadts-et-types-d%C3%A9pendants-). |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,16 @@ | ||
--- | ||
title: Présentation de Js_of_OCaml | ||
name: ChtiJS | ||
date: 2015-03-19 | ||
city: Lille | ||
country: France | ||
tags: [ocaml, javascript, js-of-ocaml] | ||
url: https://chtijs.francejs.org/conferences/chtijs-11 | ||
slides: https://xvw.lol/talks/chtijs-js-of-ocaml/index.html | ||
--- | ||
|
||
Une présentation sur | ||
[Js\_of\_OCaml](https://github.com/ocsigen/js_of_ocaml), le | ||
compilateur du _code-octet_ de [OCaml](https://ocaml.org) vers | ||
JavaScript (et brièvement sa relation avec | ||
[Ocsigen](https://ocsigen.org/home/intro.html)). |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,15 @@ | ||
--- | ||
title: Liaisons sémantiques de bibliothèques JavaScript en OCaml | ||
name: ChtiJS | ||
date: 2018-11-14 | ||
city: Lille | ||
country: France | ||
tags: [ocaml, javascript, typage] | ||
url: https://chtijs.francejs.org/conferences/chtijs-20 | ||
slides: https://xvw.lol/talks/chtijs-binding/slides.pdf | ||
--- | ||
|
||
Exploration de la création d'une liaison _sémantique_ pour | ||
[Electron](https://www.electronjs.org/), en [OCaml](https://ocaml.org) | ||
en essayant de tirer au maximum du système de types pour exprimer le | ||
plus d'invariants possible et s'adapter au maximum au style de OCaml. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,15 @@ | ||
--- | ||
title: "Programmation fonctionnelle et principe de réalité : gérer les effets 2" | ||
name: Codeurs En Seine | ||
date: 2020-11-10 | ||
city: Rouen | ||
country: France | ||
tags: [effet, algebriques, koka] | ||
url: https://archives-codeurs-en-seine.netlify.app/archive-2020/2020 | ||
slides: https://xvw.lol/talks/codeursenseine2020-effect/slides.pdf | ||
video: https://www.youtube.com/watch?v=XDtY3xUodZs | ||
--- | ||
|
||
Une présentation de la gestion d'effets dans des langages de | ||
programmation purs, des encodages manuels aux effets algébriques en | ||
utilisant [Koka](https://koka-lang.github.io/koka/doc/index.html). |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,14 @@ | ||
--- | ||
title: Le Web3, à une conférence estampillée du hashtag "NoBullshit" | ||
name: Codeurs En Seine | ||
date: 2023-10-26 | ||
city: Rouen | ||
country: France | ||
tags: [web3, blockchain, tezos] | ||
url: https://archives-codeurs-en-seine.netlify.app/archive-2023/2023 | ||
slides: https://docs.google.com/presentation/d/e/2PACX-1vTue8wJ4ZaGPd_8GBfT7REXLWZyA8ksZasaprNpn7Qqq2fv7qHU1yWFLnZYhYNbaJaGLdbuaXhwGXL9/pub?start=false&loop=false&delayms=3000 | ||
video: https://www.youtube.com/watch?v=32fnBEbbMjI | ||
--- | ||
|
||
Une tentative de présentation du développement _Web3_, avec la vision | ||
d'un ingénieur. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,14 @@ | ||
--- | ||
title: Le web moderne et Elm | ||
name: Déjeuners Technologiques (Université Lille 1) | ||
date: 2017-11-30 | ||
city: Lille | ||
country: France | ||
tags: [web, elm, react, javascript] | ||
url: https://www.facebook.com/dejeunerstechnologiques/ | ||
slides: https://xvw.lol/talks/dej-tech-web/slides.pdf | ||
--- | ||
|
||
Une frise chronologique de l'évolution du web et (_encore_) une | ||
introduction à [Elm](https://elm-lang.org/) comme une technologie web | ||
moderne. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,13 @@ | ||
--- | ||
title: Passé, présent et futur de la programmation orienté objets | ||
name: Déjeuners Technologiques (Université Lille 1) | ||
date: 2016-01-26 | ||
city: Lille | ||
country: France | ||
tags: [oop, pharo, ocaml] | ||
url: https://www.facebook.com/dejeunerstechnologiques/ | ||
--- | ||
|
||
Une présentation qui observe les relations étroites qu'entretiennent | ||
la programmation fonctionnelle et la programmation orientée objets (et | ||
la nécéssité d'avoir des _Lambdas_ dans des langages orientés objets). |
Oops, something went wrong.