From a4368a38ad88a531f59739cb3d60de0131eed63f Mon Sep 17 00:00:00 2001 From: Lyes Saadi Date: Sat, 7 Mar 2026 14:13:26 +0100 Subject: [PATCH] Changing the structure and fixing spelling errors --- config.toml | 9 +- content/_index.en.md | 85 +++++++++++++++++- content/_index.md | 87 +++++++++++++++++- content/home/index.en.md | 82 ----------------- content/home/index.md | 88 ------------------- {content/home => static/index}/index.js | 0 {content/home => static/index}/pron_ar.flac | Bin {content/home => static/index}/pron_ipa.flac | Bin 8 files changed, 176 insertions(+), 175 deletions(-) delete mode 100644 content/home/index.en.md delete mode 100644 content/home/index.md rename {content/home => static/index}/index.js (100%) rename {content/home => static/index}/pron_ar.flac (100%) rename {content/home => static/index}/pron_ipa.flac (100%) diff --git a/config.toml b/config.toml index d169197..9b2c972 100644 --- a/config.toml +++ b/config.toml @@ -17,9 +17,7 @@ feed_filenames = ["atom.xml", "rss.xml"] build_search_index = true [markdown] -highlight_code = true # extra_syntaxes_and_themes = ["sublime"] -highlight_theme = "dracula" # highlight_themes_css = [ # { theme = "monokai-pro-dark", filename = "syntax-theme-dark.css" }, # { theme = "monokai-pro-light", filename = "syntax-theme-light.css" }, @@ -31,6 +29,11 @@ lazy_async_image = true external_links_class = "external" insert_anchor_links = "left" +[markdown.highlighting] +dark_theme = "dracula" +light_theme = "github-light" +# dark_theme = "github-dark" + [slugify] paths = "on" taxonomies = "on" @@ -44,7 +47,7 @@ feed_filenames = ["atom.xml", "rss.xml"] build_search_index = true [extra] -home_url = "@/home/index.md" +home_url = "@/_index.md" accent_color = ["hsl(19 75% 42%)", "hsl(276 82% 78%)"] katex = true toc = true diff --git a/content/_index.en.md b/content/_index.en.md index 800a244..4fd9e9e 100644 --- a/content/_index.en.md +++ b/content/_index.en.md @@ -1,3 +1,86 @@ +++ -render = false +title = "Lyes' website" +aliases = ["/en/home"] +[extra] +styles = ["home.css"] +scripts = ["index/index.js"] +no_header = true +++ + +
+
+ +
+
+ Lyes Saadi +
+
+ Studying the foundations of computer science +
+
+
+
+ About me ↓ + My studies ↗ + My research ↗ +
+
+ +## Who am I ? + +My name's Lyes Saadi (in phonetic : +{{ audio(name="/ljes/ /sæ.ɑːdi/", url="index/pron_ipa.flac") }}, in arabic : +{{ audio(name="إِلْيَاسْ السَّعْدِي", url="index/pron_ar.flac") }}), my pronouns are +He/They and I am (i was born on the 18/04/2002, you can compute +my age yourself if you are skilled enough to know how to deactivate JavaScript +^^) years old! + +Currently, I'm in my 2nd year of Master's at the Parisian Master of +Research in Computer Science ([MPRI](https://mpri-master.ens.fr/)) +and in my 3rd year of studies at the École Normale Supérieure +de Paris-Saclay. + +### My passions + +I have long been passionate about computer science. My interests are mainly +around the foundations of computer science and its interactions with +mathematics. In particular, I am interested in type theory, category theory, +proof assistants, programming languages and logics. I am also very interested +with the interactions between these domains and other domains of computer +science and mathematics. + +I am also a staunch activist for free software! For example, this website uses +[Zola](https://www.getzola.org/) and [Ametrine](https://ametrine.daudix.one/) +and is served by my own server `zora`, currently hosted in the bay of the +[Cr@ns](https://crans.org/)! I use on both my server and my own personal +computer [NixOS](https://nixos.org/). I also contribute to a wide variety of +Free or Open Source software when I have some free time. + +Outside of computer science, I also follow with great attention the debats +around the academic world. I also follow debates around urbanism and public +transportation. Tchoo tchoo :steam_locomotive:! + +### My goals in life + +Currently my main goal in life is striving to become a university professor! As +both research and teaching appeal to me. But I still have a long way ahead of +me ! + +I love doing research, working every day to change the world, type by type, +functor by functor. And also because theoretical computer science is too +awesome and incredible not to dedicate oneself to its study. + +But also teaching, to spread further the beautiful world that is theoretical +computer science, which unfortunately remains largely unknown or misunderstood +by the wider public. Computer science isn't only computers and programs, but +it's also a whole other world of science that extends upon mathematics and +logics! + +## Contacting me + +To reach me, I prefer to be contacted: +- by mail : `perso.web-1` at `lyes.eu` +- by matrix : [`@lyessaadi:crans.org`](https://matrix.to/#/@lyessaadi:crans.org) +- by signal : [`ntlyes.42`](https://signal.me/#eu/bFE8tdLcYtSVBxPpu0ErfZ8ZlcC1jMmres4JOfzYn4b9v8h3UxlHWJ3rTSYWwmEd) + + diff --git a/content/_index.md b/content/_index.md index 800a244..1e2779e 100644 --- a/content/_index.md +++ b/content/_index.md @@ -1,3 +1,88 @@ +++ -render = false +title = "Le site de Lyes" +aliases = ["/home"] +[extra] +styles = ["home.css"] +scripts = ["index/index.js"] +no_header = true +audio_button = true +++ + +
+
+ +
+
+ Lyes Saadi +
+
+ Étudiant en informatique fondamentale +
+
+
+
+ À propos de moi ↓ + Mon parcours ↗ + Mes recherches ↗ +
+
+ +## Qui suis-je ? + +Je m'appelle Lyes Saadi (en phonétique : +{{ audio(name="/ljes/ /sæ.ɑːdi/", url="index/pron_ipa.flac") }}, en arabe : +{{ audio(name="إِلْيَاسْ السَّعْدِي", url="index/pron_ar.flac") }}), mes pronoms sont Il/Iel +et j'ai (je suis né le 18/04/2002, vous pouvez calculer mon age +vous-même si vous savez désactiver JavaScript ^^) ans ! + +En ce moment, je suis en 2ème année de Master au Master Parisien +de Recherche en Informatique ([MPRI](https://mpri-master.ens.fr/)) ainsi qu'en +3ème année d'étude à l'École Normale Supérieure Paris-Saclay. + +### Mes passions + +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 +aussi très intéressé par les interactions de ces domaines avec les autres +domaines de l'informatique et des mathématiques plus largement. + +Je suis aussi un ardent défenseur du logiciel libre ! Ce site web utilise ainsi +[Zola](https://www.getzola.org/) et [Ametrine](https://ametrine.daudix.one/) et +est servi par mon propre serveur `zora` actuellement hébergé dans la baie du +[Cr@ns](https://crans.org/) ! J'utilise pour mon ordinateur personnel et mon +serveur [NixOS](https://nixos.org/). Je contribue aussi à plusieurs projets +Libre ou Open Source quand j'ai du temps libre. + +En dehors de l'informatique, je suis avec attention les débats autour du monde +académique et universitaire. Et j'aime aussi beaucoup suivre les politiques +d'urbanisme et de transports en commun. Vive les trains :steam_locomotive: ! + +### Mes objectifs dans la vie + +Actuellement, mon but principal dans la vie est de devenir +enseignant-chercheur. J'ai encore un long chemin devant moi ! + +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 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 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. + +## Me contacter + +Pour me joindre, je préfère être contacté : +- par mail : `perso.web-1` arobase `lyes.eu` +- par matrix : [`@lyessaadi:crans.org`](https://matrix.to/#/@lyessaadi:crans.org) +- par 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/content/home/index.en.md b/content/home/index.en.md deleted file mode 100644 index 78b7ae3..0000000 --- a/content/home/index.en.md +++ /dev/null @@ -1,82 +0,0 @@ -+++ -title = "Lyes' website" -aliases = ["/en/"] -[extra] -styles = ["home.css"] -scripts = ["home/index.js"] -no_header = true -+++ - -
-
- -
-
- Lyes Saadi -
-
- Studying the foundations of computer science -
-
-
-
- About me ↓ - My studies ↗ - My research ↗ -
-
- -## Who am I ? - -My name's Lyes Saadi (in phonetic : -{{ audio(name="/ljes/ /sæ.ɑːdi/", url="pron_ipa.flac") }}, in arabic : -{{ audio(name="إِلْيَاسْ السَّعْدِي", url="pron_ar.flac") }}), my pronouns are He/They -and I am (i was born on the 18/04/2002, you can compute my age -yourself if you are skilled enough to know how to deactivate JavaScript ^^) - years old! - -Currently, I'm in my 2nd year of Master's at the Parisian Master of -Research in Computer Science ([MPRI](https://mpri-master.ens.fr/)) -and in my 3rd year of studies at the École Normale Supérieure -de Paris-Saclay. - -### My passions - -I have long been passioned by computer science. My interests are mainly around -the foundations of computer science and its interactions with mathematics. In -particular, I am interested by type theory, category theory, proof assistants, -programming languages and logics. I am also very interested with the -interactions between these domains and other domains of computer science and -mathematics. - -I am also a staunnch activist for free software! For example, this wesite uses -[Zola](https://www.getzola.org/) and [Ametrine](https://ametrine.daudix.one/) -and is served by my own server `zora`, currently hosted in the bay of the -[Cra@ns](https://crans.org/)! I use on both my server and my own personal -computer [NixOS](https://nixos.org/). I also contribute to a wide variety of -Free or Open Source software when I have some free time. - -Outside of computer science, I also follow with great attention the debats -around the academic world. I also follow debates around urbanism and public -transportation. Tchoo tchoo :steam_locomotive: ! - -### My goals in life - -Currently, my main goal in life is trying to become a university professor, to -do both research and teaching. - -I would like to do research first and foremost, to change the world, type by -type, functor by functor. But also because theoretical computer science is too -awesome and incredible not to dedicate oneself to its study. - -But also teaching, to spread further the beautiful world that is theoretical -computer science, which unfortunately remains largely unknown to the wider -public. Computer science isn't only computers and programs, but it's also a -whole other world of science which extends upon mathematics and logics ! - -## Contacting me - -To reach me, I prefer to be contacted using one of the following ways: -- mail : `perso.web-1` at `lyes.eu` -- matrix : [`@lyessaadi:crans.org`](https://matrix.to/#/@lyessaadi:crans.org) -- signal : [`ntlyes.42`](https://signal.me/#eu/bFE8tdLcYtSVBxPpu0ErfZ8ZlcC1jMmres4JOfzYn4b9v8h3UxlHWJ3rTSYWwmEd) diff --git a/content/home/index.md b/content/home/index.md deleted file mode 100644 index 7d9b050..0000000 --- a/content/home/index.md +++ /dev/null @@ -1,88 +0,0 @@ -+++ -title = "Le site de Lyes" -aliases = ["/"] -[extra] -styles = ["home.css"] -scripts = ["home/index.js"] -no_header = true -audio_button = true -+++ - -
-
- -
-
- Lyes Saadi -
-
- Étudiant en informatique fondamentale -
-
-
-
- À propos de moi ↓ - Mon parcours ↗ - Mes recherches ↗ -
-
- -## Qui suis-je ? - -Je m'appelle Lyes Saadi (en phonétique : -{{ audio(name="/ljes/ /sæ.ɑːdi/", url="pron_ipa.flac") }}, en arabe : -{{ audio(name="إِلْيَاسْ السَّعْدِي", url="pron_ar.flac") }}), mes pronoms sont Il/Iel -et j'ai (je suis né le 18/04/2002, vous pouvez calculer mon age -vous-même si vous savez désactiver JavaScript ^^) ans ! - -En ce moment, je suis en 2ème année de Master au Master Parisien -de Recherche en Informatique ([MPRI](https://mpri-master.ens.fr/)) ainsi qu'en -3ème année d'étude à l'École Normale Supérieure Paris-Saclay. - -### Mes passions - -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 -aussi très intéressé par les intéractions de ces domaines avec les autres -domaines de l'informatique et des mathématiques plus largement. - -Je suis aussi un ardent défendeur du logiciel libre ! Ce site web utilise ainsi -[Zola](https://www.getzola.org/) et [Ametrine](https://ametrine.daudix.one/) et -est servi par mon propre serveur `zora` actuellement hébergé dans la baie du -[Cra@ns](https://crans.org/) ! J'utilise pour mon ordinateur personnel et mon -serveur [NixOS](https://nixos.org/). Je contibue aussi à plusieurs projets -Libre ou Open Source quand j'ai du temps libre. - -En dehors de l'informatique, je suis avec attention les débats autour du monde -académique et universitaires. Et j'aime aussi beaucoup suivre les politiques -d'urbanisme et de transports en communs. Vive les trains :steam_locomotive: ! - -### Mes objectifs dans la vie - -Actuellement, mon but principal dans la vie est de devenir -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 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 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. - -## Me contacter - -Pour me joindre, je préfère être contacté par ces moyens : -- mail : `perso.web-1` arobase `lyes.eu` -- 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/content/home/index.js b/static/index/index.js similarity index 100% rename from content/home/index.js rename to static/index/index.js diff --git a/content/home/pron_ar.flac b/static/index/pron_ar.flac similarity index 100% rename from content/home/pron_ar.flac rename to static/index/pron_ar.flac diff --git a/content/home/pron_ipa.flac b/static/index/pron_ipa.flac similarity index 100% rename from content/home/pron_ipa.flac rename to static/index/pron_ipa.flac