From bb755b257dbc7e2eec3bc2a824667eaa173feecf Mon Sep 17 00:00:00 2001 From: Vincent Ferries Date: Wed, 26 Jun 2019 09:36:29 +0000 Subject: [PATCH] add theophile's talk --- ...ions_de_brainfuck__langage_minimaliste_mais_turing_complet.md | 1 - content/speakers/theophile_wallez.md | 1 - 2 files changed, 2 deletions(-) diff --git a/content/sessions/applications_de_brainfuck__langage_minimaliste_mais_turing_complet.md b/content/sessions/applications_de_brainfuck__langage_minimaliste_mais_turing_complet.md index adc8014..ee73699 100644 --- a/content/sessions/applications_de_brainfuck__langage_minimaliste_mais_turing_complet.md +++ b/content/sessions/applications_de_brainfuck__langage_minimaliste_mais_turing_complet.md @@ -10,7 +10,6 @@ speakers: - theophile_wallez presentation: videoId: -draft: true --- Brainfuck est probablement le plus connu des langages de programmation ésotériques. Ses 8 instructions en font un langage Turing-complet avec lequel il est théoriquement possible d’écrire n’importe quel programme. diff --git a/content/speakers/theophile_wallez.md b/content/speakers/theophile_wallez.md index 397ea1d..8b62544 100644 --- a/content/speakers/theophile_wallez.md +++ b/content/speakers/theophile_wallez.md @@ -13,7 +13,6 @@ socials: - icon: github link: https://github.com/TWal name: TWal -draft: true --- Théophile Wallez est étudiant en informatique à l’ENS Paris. Passionné - entre autres - par la programmation, du Brainfuck aux preuves formelles, et aussi de régie son & lumière et DJ’ing. Il est aussi contributeur sur le compilateur vérifié [CakeML].