diff --git a/config.toml b/config.toml index b1804d9..009b603 100644 --- a/config.toml +++ b/config.toml @@ -5,6 +5,10 @@ author = "Lyes Saadi" default_language = "fr" output_dir = "public" +ignored_static = [ + "mpring/*.pixi" +] + theme = "ametrine" compile_sass = true diff --git a/content/home/index.md b/content/home/index.md index 05880fd..7d9b050 100644 --- a/content/home/index.md +++ b/content/home/index.md @@ -41,7 +41,7 @@ de Recherche en Informatique ([MPRI](https://mpri-master.ens.fr/)) ainsi qu'en ### Mes passions -Je suis un passioné d'informatique, notamment des fondements de l'informatique +Je suis un passionné d'informatique, notamment des fondements de l'informatique et de ses interactions avec les mathématiques. Mes passions sont ainsi la théorie des types, la théorie des catégories, les assistants de preuve, les langages de programmation et la logique mathématique et informatique. Je suis @@ -66,11 +66,11 @@ enseignant-chercheur. Faire de la recherche avant tout, pour changer le monde, type par type, foncteur par foncteur. Mais surtout parce que l'informatique fondamentale c'est -trop génial et passionant pour ne pas s'y plonger corps et groupe[^1] dans son +trop génial et passionnant pour ne pas s'y plonger corps et groupe[^1] dans son étude. Mais aussi de l'enseignement, pour aussi mieux faire connaître ces domaines -pourtant passionants, mais malheureusement méconnus du grand public. +pourtant passionnants, mais malheureusement méconnus du grand public. L'informatique ce n'est pas que des ordinateurs et des programmes, mais c'est aussi toute une science au prolongements des mathématiques et de la logique. @@ -81,6 +81,8 @@ Pour me joindre, je préfère être contacté par ces moyens : - matrix : [`@lyessaadi:crans.org`](https://matrix.to/#/@lyessaadi:crans.org) - signal : [`ntlyes.42`](https://signal.me/#eu/bFE8tdLcYtSVBxPpu0ErfZ8ZlcC1jMmres4JOfzYn4b9v8h3UxlHWJ3rTSYWwmEd) + + --- [^1]: Je m'excuse dès à présent pour la qualité sous-optimale de mes blagues. diff --git a/static/mpring/left-arrow b/static/mpring/left-arrow new file mode 100644 index 0000000..dbc3de4 Binary files /dev/null and b/static/mpring/left-arrow differ diff --git a/static/mpring/left-arrow.pixi b/static/mpring/left-arrow.pixi new file mode 100644 index 0000000..ab600b9 Binary files /dev/null and b/static/mpring/left-arrow.pixi differ diff --git a/static/mpring/random b/static/mpring/random new file mode 100644 index 0000000..08fc5e1 Binary files /dev/null and b/static/mpring/random differ diff --git a/static/mpring/random.pixi b/static/mpring/random.pixi new file mode 100644 index 0000000..09f4173 Binary files /dev/null and b/static/mpring/random.pixi differ diff --git a/static/mpring/right-arrow b/static/mpring/right-arrow new file mode 100644 index 0000000..27383d1 Binary files /dev/null and b/static/mpring/right-arrow differ diff --git a/static/mpring/right-arrow.pixi b/static/mpring/right-arrow.pixi new file mode 100644 index 0000000..79d0479 Binary files /dev/null and b/static/mpring/right-arrow.pixi differ diff --git a/static/mpring/site b/static/mpring/site new file mode 100644 index 0000000..29f592a Binary files /dev/null and b/static/mpring/site differ diff --git a/static/mpring/site.pixi b/static/mpring/site.pixi new file mode 100644 index 0000000..f8aeeef Binary files /dev/null and b/static/mpring/site.pixi differ