Changing the structure and fixing spelling errors
This commit is contained in:
parent
9071e1de08
commit
a4368a38ad
GPG key ID:
55A1D803917CF39A
8 changed files with 176 additions and 175 deletions
|
|
@ -17,9 +17,7 @@ feed_filenames = ["atom.xml", "rss.xml"]
|
||||||
build_search_index = true
|
build_search_index = true
|
||||||
|
|
||||||
[markdown]
|
[markdown]
|
||||||
highlight_code = true
|
|
||||||
# extra_syntaxes_and_themes = ["sublime"]
|
# extra_syntaxes_and_themes = ["sublime"]
|
||||||
highlight_theme = "dracula"
|
|
||||||
# highlight_themes_css = [
|
# highlight_themes_css = [
|
||||||
# { theme = "monokai-pro-dark", filename = "syntax-theme-dark.css" },
|
# { theme = "monokai-pro-dark", filename = "syntax-theme-dark.css" },
|
||||||
# { theme = "monokai-pro-light", filename = "syntax-theme-light.css" },
|
# { theme = "monokai-pro-light", filename = "syntax-theme-light.css" },
|
||||||
|
|
@ -31,6 +29,11 @@ lazy_async_image = true
|
||||||
external_links_class = "external"
|
external_links_class = "external"
|
||||||
insert_anchor_links = "left"
|
insert_anchor_links = "left"
|
||||||
|
|
||||||
|
[markdown.highlighting]
|
||||||
|
dark_theme = "dracula"
|
||||||
|
light_theme = "github-light"
|
||||||
|
# dark_theme = "github-dark"
|
||||||
|
|
||||||
[slugify]
|
[slugify]
|
||||||
paths = "on"
|
paths = "on"
|
||||||
taxonomies = "on"
|
taxonomies = "on"
|
||||||
|
|
@ -44,7 +47,7 @@ feed_filenames = ["atom.xml", "rss.xml"]
|
||||||
build_search_index = true
|
build_search_index = true
|
||||||
|
|
||||||
[extra]
|
[extra]
|
||||||
home_url = "@/home/index.md"
|
home_url = "@/_index.md"
|
||||||
accent_color = ["hsl(19 75% 42%)", "hsl(276 82% 78%)"]
|
accent_color = ["hsl(19 75% 42%)", "hsl(276 82% 78%)"]
|
||||||
katex = true
|
katex = true
|
||||||
toc = true
|
toc = true
|
||||||
|
|
|
||||||
|
|
@ -1,3 +1,86 @@
|
||||||
+++
|
+++
|
||||||
render = false
|
title = "Lyes' website"
|
||||||
|
aliases = ["/en/home"]
|
||||||
|
[extra]
|
||||||
|
styles = ["home.css"]
|
||||||
|
scripts = ["index/index.js"]
|
||||||
|
no_header = true
|
||||||
+++
|
+++
|
||||||
|
|
||||||
|
<div class="presentation">
|
||||||
|
<div class="presentation-inside">
|
||||||
|
<img class="no-hover" src="/icon.png" />
|
||||||
|
<div class="name-box">
|
||||||
|
<div class="name">
|
||||||
|
Lyes Saadi
|
||||||
|
</div>
|
||||||
|
<div class="description">
|
||||||
|
Studying the foundations of computer science
|
||||||
|
</div>
|
||||||
|
</div>
|
||||||
|
</div>
|
||||||
|
<div class="buttons start big">
|
||||||
|
<a class="suggested" href="#who-am-i">About me ↓</a>
|
||||||
|
<a href="/en/studies/">My studies ↗</a>
|
||||||
|
<a href="/en/research/">My research ↗</a>
|
||||||
|
</div>
|
||||||
|
</div>
|
||||||
|
|
||||||
|
## 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 <span id="age">(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
|
||||||
|
^^)</span> years old!
|
||||||
|
|
||||||
|
Currently, I'm in my 2<sup>nd</sup> year of Master's at the Parisian Master of
|
||||||
|
Research in Computer Science ([MPRI](https://mpri-master.ens.fr/))
|
||||||
|
and in my 3<sup>rd</sup> 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)
|
||||||
|
|
||||||
|
<iframe id="mpring" src="https://mpring.f4mnq.fr/ring.html" title="Webring amical" style="width: 300px; height: 120px;"></iframe>
|
||||||
|
|
|
||||||
|
|
@ -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
|
||||||
+++
|
+++
|
||||||
|
|
||||||
|
<div class="presentation">
|
||||||
|
<div class="presentation-inside">
|
||||||
|
<img class="no-hover" src="/icon.png" />
|
||||||
|
<div class="name-box">
|
||||||
|
<div class="name">
|
||||||
|
Lyes Saadi
|
||||||
|
</div>
|
||||||
|
<div class="description">
|
||||||
|
Étudiant en informatique fondamentale
|
||||||
|
</div>
|
||||||
|
</div>
|
||||||
|
</div>
|
||||||
|
<div class="buttons start big">
|
||||||
|
<a class="suggested" href="#qui-suis-je">À propos de moi ↓</a>
|
||||||
|
<a href="/studies/">Mon parcours ↗</a>
|
||||||
|
<a href="/research/">Mes recherches ↗</a>
|
||||||
|
</div>
|
||||||
|
</div>
|
||||||
|
|
||||||
|
## 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 <span id="age">(je suis né le 18/04/2002, vous pouvez calculer mon age
|
||||||
|
vous-même si vous savez désactiver JavaScript ^^)</span> ans !
|
||||||
|
|
||||||
|
En ce moment, je suis en 2<sup>ème</sup> année de Master au Master Parisien
|
||||||
|
de Recherche en Informatique ([MPRI](https://mpri-master.ens.fr/)) ainsi qu'en
|
||||||
|
3<sup>ème</sup> 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)
|
||||||
|
|
||||||
|
<iframe id="mpring" src="https://mpring.f4mnq.fr/ring.html" title="Webring amical" style="width: 300px; height: 120px;"></iframe>
|
||||||
|
|
||||||
|
---
|
||||||
|
|
||||||
|
[^1]: Je m'excuse dès à présent pour la qualité sous-optimale de mes blagues.
|
||||||
|
|
|
||||||
|
|
@ -1,82 +0,0 @@
|
||||||
+++
|
|
||||||
title = "Lyes' website"
|
|
||||||
aliases = ["/en/"]
|
|
||||||
[extra]
|
|
||||||
styles = ["home.css"]
|
|
||||||
scripts = ["home/index.js"]
|
|
||||||
no_header = true
|
|
||||||
+++
|
|
||||||
|
|
||||||
<div class="presentation">
|
|
||||||
<div class="presentation-inside">
|
|
||||||
<img class="no-hover" src="/icon.png" />
|
|
||||||
<div class="name-box">
|
|
||||||
<div class="name">
|
|
||||||
Lyes Saadi
|
|
||||||
</div>
|
|
||||||
<div class="description">
|
|
||||||
Studying the foundations of computer science
|
|
||||||
</div>
|
|
||||||
</div>
|
|
||||||
</div>
|
|
||||||
<div class="buttons start big">
|
|
||||||
<a class="suggested" href="#who-am-i">About me ↓</a>
|
|
||||||
<a href="/en/studies/">My studies ↗</a>
|
|
||||||
<a href="/en/research/">My research ↗</a>
|
|
||||||
</div>
|
|
||||||
</div>
|
|
||||||
|
|
||||||
## 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 <span id="age">(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 ^^)
|
|
||||||
</span> years old!
|
|
||||||
|
|
||||||
Currently, I'm in my 2<sup>nd</sup> year of Master's at the Parisian Master of
|
|
||||||
Research in Computer Science ([MPRI](https://mpri-master.ens.fr/))
|
|
||||||
and in my 3<sup>rd</sup> 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)
|
|
||||||
|
|
@ -1,88 +0,0 @@
|
||||||
+++
|
|
||||||
title = "Le site de Lyes"
|
|
||||||
aliases = ["/"]
|
|
||||||
[extra]
|
|
||||||
styles = ["home.css"]
|
|
||||||
scripts = ["home/index.js"]
|
|
||||||
no_header = true
|
|
||||||
audio_button = true
|
|
||||||
+++
|
|
||||||
|
|
||||||
<div class="presentation">
|
|
||||||
<div class="presentation-inside">
|
|
||||||
<img class="no-hover" src="/icon.png" />
|
|
||||||
<div class="name-box">
|
|
||||||
<div class="name">
|
|
||||||
Lyes Saadi
|
|
||||||
</div>
|
|
||||||
<div class="description">
|
|
||||||
Étudiant en informatique fondamentale
|
|
||||||
</div>
|
|
||||||
</div>
|
|
||||||
</div>
|
|
||||||
<div class="buttons start big">
|
|
||||||
<a class="suggested" href="#qui-suis-je">À propos de moi ↓</a>
|
|
||||||
<a href="/studies/">Mon parcours ↗</a>
|
|
||||||
<a href="/research/">Mes recherches ↗</a>
|
|
||||||
</div>
|
|
||||||
</div>
|
|
||||||
|
|
||||||
## 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 <span id="age">(je suis né le 18/04/2002, vous pouvez calculer mon age
|
|
||||||
vous-même si vous savez désactiver JavaScript ^^)</span> ans !
|
|
||||||
|
|
||||||
En ce moment, je suis en 2<sup>ème</sup> année de Master au Master Parisien
|
|
||||||
de Recherche en Informatique ([MPRI](https://mpri-master.ens.fr/)) ainsi qu'en
|
|
||||||
3<sup>ème</sup> 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)
|
|
||||||
|
|
||||||
<iframe id="mpring" src="https://mpring.f4mnq.fr/ring.html" title="Webring amical" style="width: 400px; height: 160px;"></iframe>
|
|
||||||
|
|
||||||
---
|
|
||||||
|
|
||||||
[^1]: Je m'excuse dès à présent pour la qualité sous-optimale de mes blagues.
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue